ソフトウェア安全の基礎概念と方法論

抄録

　近年ソフトウェア安全はシステム安全にとって重要な問題となっており、ソフトウェア安全への要求事項を含む国際規格が制定されている産業分野も少なくない。しかしそこでは、開発プロセスやマネジメント、用いるべき開発技術等に関する議論が中心であり、そもそもソフトウェア安全とはどのようなことかという本質的な議論はあまり見当たらない。そこで本研究では、安全の一般概念を手掛かりに、ソフトウェア安全という概念の整理を試みた。そして、ソフトウェア安全を達成するための一般的な方法論を導くことを試みた。