高信頼性ソフトウェア
ソフトウェア

高信頼性ソフトウェアとは、その障害が「生命を脅かす結果」を伴う深刻な損害を引き起こす可能性のあるソフトウェアです。 [1]「整合性は、コードの安全性、セキュリティ、保守性を証明するため重要です。」[1]高信頼性ソフトウェアの例としては、原子炉制御ソフトウェア、航空電子機器ソフトウェア、自動車の安全性が極めて重要なソフトウェア、プロセス制御ソフトウェアなどが挙げられます。[2] [3]

高い整合性とは、コードが次の状態であることを意味します。

  • やるべきことを行います。
  • テストできます。
  • セキュリティ機能あり。
  • セキュリティ上の脆弱性がありません。
  • 理解しやすく、論理的に従うのが簡単です。
  • 新たなエラーを導入することなく、簡単に編集およびアップグレードできます。[1]

高整合性ソフトウェアには、次のようなさまざまな標準が適用されます。

  • DO-178C、航空システムおよび機器認証におけるソフトウェアの考慮事項[4]
  • CENELEC EN 50128、鉄道アプリケーション – 通信、信号および処理システム – 鉄道制御および保護システム用ソフトウェア[5]
  • IEC 61508、電気/電子/プログラマブル電子安全関連システムの機能安全（E/E/PE、またはE/E/PES）
  • ISO 26262、道路車両 - 機能安全（特に規格の「パート6」、タイトルは「ソフトウェアレベルでの製品開発」[6]）

参照

参考文献

  1. ^ abc 「ソフトウェア整合性とは何か？概要とソフトウェア整合性のベストプラクティス」perforce.com . 2022年2月15日閲覧。
  2. ^ Sennett, CT (2012). High-Integrity Software. Springer Science & Business Media. p. 1. ISBN 978-1-4684-5777-3. 2022年2月14日閲覧。
  3. ^ Chapman, Rod (2024年9月4日). 「Correctness by Construction: The Case for Constructive Static Verification」(PDF) . National Institute of Standards and Technology . 2006年9月30日時点のオリジナルよりアーカイブ(PDF) . 2024年9月4日閲覧。
  4. ^ 「航空システム向けDO-178B/C準拠ソフトウェアの開発」（PDF）Parasoft . 2022年2月14日閲覧。
  5. ^ 欧州電気標準化委員会（CENELEC）. 「CENELEC – EN 50128」. Engineering360 . 2022年2月14日閲覧。
  6. ^ Qi Van Eikema, Hommes (2012年1月25日). 「ISO 26262規格「道路車両 - 機能安全」の評価」(PDF) .米国運輸省ボルペセンター. 2015年7月14日時点のオリジナルよりアーカイブ(PDF) . 2024年9月4日閲覧.
  • ブーランジェ、ジャン＝ルイ（2015年4月13日）. CENELEC 50128およびIEC 62279規格. John R. Wiley and Sons. ISBN 978-1-84821-634-1。
  • ウィンター、ビクター・L.; バッタチャリヤ、ソウラブ編 (2001). 『高信頼性ソフトウェア』. Springer Science+Business Media, LLC. ISBN 978-1-4613-5530-4. 2022年2月14日閲覧。
  • Wallace, Dolores R.; Ippolito, Laura M.; Kuhn, D. Richard (1992). 高信頼性ソフトウェア標準およびガイドライン(PDF) . 米国国立標準技術研究所. 2022年2月15日閲覧.
スタブアイコン

この記事はソフトウェアの種類に関するスタブです。不足している情報を追加することで、Wikipedia に貢献できます。

スタブアイコン

このソフトウェアエンジニアリング関連の記事はスタブです。不足している情報を追加することで、Wikipedia に貢献できます。

Retrieved from "https://en.wikipedia.org/w/index.php?title=High-integrity_software&oldid=1313357334"