高信頼性ソフトウェアとは、障害が発生すると深刻な損害を引き起こし、「生命を脅かす結果」につながる可能性のあるソフトウェアのことです。 [ 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 2 3 「ソフトウェアの完全性とは？概要 + ソフトウェアの完全性のベストプラクティス」 . perforce.com . 2022年2月15日取得.
- ↑ Sennett, CT (2012). High-Integrity Software . Springer Science & Business Media. p. 1. ISBN 978-1-4684-5777-32022年2月14日に取得。
- ↑チャップマン、ロッド（2024年9月4日）。「構成による正しさ：構成的静的検証の事例」（PDF）。米国国立標準技術研究所。2006年9月30日のオリジナルからアーカイブ（PDF） 。 2024年9月4日に取得。
- ↑ 「航空機搭載システム向けDO-178B/C準拠ソフトウェアの開発」（PDF）。Parasoft 。2022年2月14日取得。
- ↑欧州電気標準化委員会 (CENELEC)。「CENELEC – EN 50128」。Engineering360 。2022年2月14日取得。
- ↑チー・ヴァン・エイケマ、オム（2012年1月25日）。「ISO 26262規格「道路車両 – 機能安全」の評価" (PDF)。米国運輸省ボルペセンター。2015年7月14日にオリジナルからアーカイブ済み(PDF) 。2024年9月4日に取得。
外部リンク
- ブーランジェ、ジャン＝ルイ（ 2015年4月13日）。CENELEC 50128およびIEC 62279規格。ジョン・R・ワイリー・アンド・サンズ。ISBN 978-1-84821-634-1。
- Winter, Victor L.、Bhattacharya, Sourav 編 (2001).高信頼性ソフトウェア. Springer Science+Business Media, LLC. ISBN 978-1-4613-5530-42022年2月14日に取得。
- Wallace, Dolores R.; Ippolito, Laura M.; Kuhn, D. Richard (1992).高信頼性ソフトウェア標準とガイドライン(PDF) . 国立標準技術研究所. 2022年2月15日取得.
