STPAの分析を実際にやってみる

図8　STAMP Workbench操作画面：自動生成されたコントロールストラクチャーのひな型（クリックで拡大）