情報処理学会 第81回全国大会講演要旨

STAMP/STPAは現代の複雑なシステムに適した新しい安全分析手法である。
しかし、現状STAMP/STPAは一部の開発現場でしか取り入られていない。
この一因として、既存の開発・分析手法とSTAMP/STPAとの統合が不十分であることがあげられる。
そこで、本研究ではSTAMP/STPAのさらなる普及のため、アーキテクチャ記述言語AADLを用い、STAMP/STPAとAADLで作業の分担を行うことで分析の作業量の削減する方法の提案を行う。