意図記述言語SSQLの狙いと特徴 安全誘導型設計における意図記述手法

安全誘導型設計は、「意図を記述すれば安全性が高まる」仮説に基づく開発プロセスモデルであり、意図記述とハザード分析を柱とする。2016年度には、電動アシスト自転車を題材に、その開発に関する意図記述を試みた。そのときに使用した意図記述言語SSQLの特徴と記述例を報告する。

安全性向上委員会 安全仕様化WG 中村 洋株式会社レンタコーチ