IT システムのオペレーショナルセーフティは、IT システムの品質の「製品」の側面、つまり「システムエンジニアリングプロセスの品質」の部分を扱うオペレーショナルセーフティの分野です。
原理
プロジェクトの関係者は、製品の品質を定義および評価するための外部ベンチマークを必要としています。 ISO 9126標準の目的は、共通言語と参照しきい値の基礎を提供することです。これは 6 つの領域を中心に構成されています。
- 信頼性;
- 使いやすさ。
- 収率 ;
- 携帯性。
- 保守性。
- 機能的な能力。
この規格が提供する特性の例としては、システムの時間動作が挙げられます。この特性は、「運用時の応答時間、処理時間、スループット能力に関するソフトウェアの属性」と定義されます。与えられる特性レベルは次のとおりです。
- 通常のパフォーマンスの制御。
- ピークパフォーマンスの監視。
- エンドツーエンドのパフォーマンス。
ツール
ソフトウェアエンジニアリングワークショップ
これらはライフサイクルの全体または一部をカバーしており、ほとんどの場合、この用語は次の 2 つのフェーズに対して使用されます。
- 分析;
- デザイン。
そしてこれは、関数型とオブジェクト指向の 2 つの世界の間で行われます。
彼らは以下を保証します：
- 図の作成。
- テストによる一貫性と一貫性。
- ファイルまたはデータベースに保存した後の視覚化。
- ドキュメント ツール、さまざまなデータベースとのリンク。
UML言語
この言語にはいくつかの長所があります。
- 概念。そのセマンティクスは完全かつ形式的に定義されています。
- 要件とシステムを指定するために使用される図。
- 特定の数の拡張機能。さまざまなメソッドやアプリケーション コンテキストに固有のステレオタイプをプロセスに統合します。
UML を使用すると、分析と設計の間の方法論的な中断を排除できます。これは形式言語であり、以下を定義するメタモデルに基づいています。
- モデリング要素。
- これらの要素のセマンティクス。
メタモデルは曖昧さを制限し、ワークショップなどのツールの構築を促進します。
形式的手法
これらは、ソフトウェアの論理動作の検証によって特徴付けられます。
- 定理の証明に基づく方法。
- 状態空間探索に基づくメソッド。
これらの方法は、さまざまなニーズや応用分野に応じたさまざまな技術に対応しています。
証明定理に基づく手法
- 開始仮説と重要なルールを提供する必要があります。
- 状態の数が有限ではないシステムに適用可能。
- 例:方法 B。
状態空間探索に基づく手法
- チェックするプロパティのみを提供します。
- 有限数の状態を持つシステムに適用可能。
- 例: Estérel (「リアルタイム」プログラミング言語)。
ソフトウェアの信頼性
信頼性には 2 つのタイプがあります。
- 予報;
- 実験的。
実験の信頼性
実験的信頼性では、データ収集を通じて初期動作を研究します。次に、時間の経過に伴うソフトウェアの動作を推定する数学的モデルを適用します。これらのモデルは信頼性成長モデルと呼ばれます。これらは理論的なモデルです。
それらは非常に数が多いという欠点がありますが、それらを設計する数学者は公開データをほとんど持っていないため、有効なモデルはほとんどありません。
検証
検証内容は次のとおりです。
- 5 つの認定フェーズが完了していることを確認します。
- 仕様の認定。
- 設計資格;
- 設置の資格;
- 運用資格;
- パフォーマンス認定。
- 手順と文書が整備されていることを確認します。
このステップでは、システムまたは機器が意図した機能を実行しているかどうかを判断し、意図しない機能を実行していないことを確認します。また、計測技術を使用して製品の信頼性と品質を測定することもできます。
計測学
これにより、次のことが可能になります。
- 進歩と後退を測定するため。
- 製品を評価する。
- 製品を相互に比較します。
- 正確な品質目標を設定します。
- テクノロジーの進化を導くデータを提供します。
これにより、次の 3 つのレベルの測定と指標に取り組むことができます。
- 製品またはサービス:
- 物理的測定;
- 参考文献に関する適合性または不適合性の指標。
- より品質の部分に関係するプロセス。
- 品質面にもこだわるお客様。
対策としては例えば次のようなことが考えられます。
- コードの行数。
- 継承レベルの数。
- 循環的な複雑さ。
- …