カンファレンスプログラム

セキュア(安心)なソフトウエアは脅威への防御のために、高品質でなければならない。そして高品質のソフトウエアを構築するために必要な同じ開発ライフサイクルの厳格さが要求される。そこで航空システムのソフトウェア安全規格に精通する検証支援ツールが、セキュリティ品質を確保するためにも活用され「Swiss Cheeseモデル」の防御の一翼を担うことや、要件トレーサビリティがメンテナンスの要になることを紹介する。