システムズ理論によるソフトウェアの安全設計・現状と今後

自動車、列車、ロボットからプラントまで現在の工学システムはソフトウェアで安全が保たれており、そのソフトウェアはますます複雑化している。現状の安全設計法や安全規格の限界も見えており、システムズ理論による新しい安全解析法STAMP/STPAにも注目が集まっている。本講演では、ソフトウェア集約型のシステムの安全設計に焦点を当てて、その現状と今後の動向について概要を紹介する。