Verification & Validation
Flownex® SE の開発環境と認証
FlownexはISO 9001とASME/ANSI NQA1の認証を受けた環境の基で開発されています。最も厳しい規制のひとつである原子力発電所向け製品の基準、品質保証、信頼性及び精度を持つ、この分野で唯一のソフトウェアです。
Flownexは原子炉、特にペブルベッド型高温ガス炉(PBMR)の解析ためのVerification(検証)とValidation(妥当性確認)を行いました。
主要な認証実績:
- ✓ 2007年 南アフリカの国家原子力規制庁(NNR)がFlownexのVerificationとValidationのステータスを審査し、PBMRの計画と安全性を支援するためのソフトウェアとして承認
- ✓ 2008年 USAのWestinghouse ECによってNQA1の公認を取得
- ✓ 2009年 ISO 9001:2008の認証を取得
認証取得タイムライン
NNR承認
南アフリカ国家原子力規制庁
NQA1認証
Westinghouse EC
ISO 9001認証
品質マネジメント
V&Vの定義と重要性
V&VはFlownexの発展のために重要です。40人年以上のV&VがFlownex上で実行されました。
FlownexのV&Vプロセスで、「Verification」は方程式がコンピュータ・コードに正しく翻訳されていることを確実にするプロセスです。「Validation」はコードまたは計算方法が目的に適合することを証明することと定義されます。これはベンチマーク・データによる計算結果を確認することを含みます。分析、実験、プラントあるいは他のコードから得られる適切なベンチマーク・データとモデルの計算結果を比較することによって、Flownexの「Validation」は実行されます。さらにV&Vを確実なものとするために、M-Tech社は国際会議(CRP-5、ICAPP、HTR-TN等)に活発に参加しています。
Verification と Validation の違い
Verification
検証
方程式がコンピュータ・コードに
正しく翻訳
されているか確認
確認内容
コードの完全性
計算ロジック
実装の正確性
Validation
妥当性確認
計算方法が
目的に適合
しているか証明
確認内容
実験データとの比較
実機データとの照合
ベンチマーク検証
ソフトウェアV&Vとモデル・データV&Vの区別
ここで、「ソフトウェアのV&V」と「モデルとデータのV&V」を区別することは重要です。シミュレーション・ソフトウェアの完全性と一貫性を確実にするためにソフトウェアのV&Vが行われます。
しかし、シミュレーションの結果の正確さはソフトウェアそのものの完全性に依存しているだけではありません。ソフトウェアはシミュレーション・モデルを組み立てるのに用いられ、特定のシミュレーション・モデルのためのデータが入力されます。これは、モデルとデータのV&Vによって検討されます。
M-Tech社でのV&V実施方法
FlownexのV&Vは、M-Tech Industrial社で以下のように行われています。
- 1 テストの計画と手順
- 2 コード・レビュー
- 3 ユーザー・テスト
- 4 オートメーション化したテストと回帰テスト(Flownexの新しいバージョンの互換性を確実とするために1000以上のモデルがテストされます)
V&V実施プロセスフロー
テストの計画と手順
V&V活動の全体計画を策定し、テスト手順を文書化
コード・レビュー
専門家によるソースコードの詳細なレビューと検証
ユーザー・テスト
実際の使用環境でのテストとフィードバック収集
オートメーション化したテストと回帰テスト
1000以上のモデルで互換性と一貫性を自動検証
シミュレーション結果のフィードバック
シミュレーションの結果はデザイン・プロセスにフィードバックされます。デザイン・プロセスとはプラントのレイアウト、機器や材料の選定、運転や操作の方針などのことです。これらのシミュレーションは安全性やコストを決定する際に重要です。Flownexのコンポーネントによる全ての現象を保証するために、広範囲なV&V活動が継続的に実行されています。
V&Vの基準と要件
M-Tech社のV&VはIEEE STD 1012-1998やIEEE Guide for Software Verification and Validation Plans STD 1059-1993などに基づいています。また、NNRによるFlownexのV&Vステータスの審査は、以下の2つの必要条件に基づきました。
- ✓ RD-0016:安全計算のための評価モデルとコンピュータ・ソフトウェアを含む認可のための必要条件
- ✓ LG-1045:安全計算のための評価モデルとコンピュータ・ソフトウェアを含む認可のためのガイダンス
Validation資料のご案内
各種コンポーネントのValidationのPDF資料(実機データとの比較)をご希望の方は、下記のお問い合わせボタンをクリックして「FlownexのValidation資料希望」とご明記ください。



















