Loading article…
高整合性ソフトウェアとは、その障害が「生命を脅かす結果」を伴う重大な損害を引き起こす可能性があるソフトウェアです。 [1]「整合性は、コードの安全性、セキュリティ、保守性を証明するため重要です。」[1]高整合性ソフトウェアの例としては、原子炉制御、航空電子工学ソフトウェア、自動車の安全性が重要なソフトウェア、プロセス制御ソフトウェアなどがあります。[2] [3]
[高]整合性とは、コードが次の状態であることを意味します。
- やるべきことを実行します。
- テストできます。
- セキュリティ機能を備えています。
- セキュリティ上の脆弱性がありません。
- 理解しやすく、論理的に従うのが簡単です。
- 新たなエラーを導入することなく、簡単に編集およびアップグレードできます。[1]
高信頼性ソフトウェアには、次のようなさまざまな標準が適用されます。
- DO-178C、航空機搭載システムおよび機器認証におけるソフトウェアの考慮事項[4]
- CENELEC EN 50128、鉄道アプリケーション - 通信、信号および処理システム - 鉄道制御および保護システム用ソフトウェア[5]
- IEC 61508、電気/電子/プログラム可能な電子安全関連システムの機能安全 (E/E/PE、または E/E/PES)
- ISO 26262、道路車両 - 機能安全（特に「ソフトウェアレベルでの製品開発」と題された規格の「パート6」[6]
参照
参考文献
- ^ abc 「ソフトウェア整合性とは何か？概要+ソフトウェア整合性のベストプラクティス」。perforce.com 。 2022年2月15日閲覧。
- ^ Sennett, CT (2012). 高信頼性ソフトウェア. Springer Science & Business Media. p. 1. ISBN 978-1-4684-5777-3. 2022年2月14日閲覧。
- ^ Chapman, Rod (2024 年 9 月 4 日). 「Correctness by Construction: The Case for Constructive Static Verification」(PDF)。米国国立標準技術研究所。2006年 9 月 30 日時点のオリジナルよりアーカイブ(PDF) 。2024 年9 月 4 日閲覧。
- ^ 「航空システム向けDO-178B/C準拠ソフトウェアの開発」（PDF）Parasoft。2022年2月14日閲覧。
- ^ 欧州電気標準化委員会 (CENELEC)。「CENELEC - EN 50128」。Engineering360 。2022年2月14日閲覧。
- ^ 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。
- Winter, Victor L.; Bhattacharya, Sourav 編 (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日閲覧。