横浜国立大学の清水名誉教授からは、リスクの定義と社会的受容、Alarp原則等についてお話いただきました。ソフトウエアであれ、設備の安全であれ、わが国ではこれを品質管理の問題であると捉える方が多く、近年エレベータやガス湯沸し器の事故が企業に大打撃を与えたのはこの誤解による処が大きいといえます。リスク低減化を法制化した欧米の安全法規類の概要、さらに機械指令から国際安全規格までの流れにおいて機能安全の考え方、SILの定義、その実現方法、およびわが国の行政法と比較した現実上の問題点を説明していただきました。

九州大学大学院の荒木教授からは、ソフトウエアシステムの機能や構成、また各種性質の記述や分析の基礎となるシステムの数理モデル構築の概要についてお話いただきました。いわゆる形式手法にもとづくシステム開発の特性や適用事例ならびに形式手法適用の効用や導入のポイントについて紹介していただきました。

国立情報学研究所の中島教授からは、モデル検査法の基本的な考え方をお話いただきました。組込みシステムの信頼性ならびに安全性を満たすためにモデル検査法にもとづく形式検証技術の実用化に期待が集まっています。本年は最初の研究論文が発表されてから25周年にあたり、研究も新たな局面を迎えています。本講演では、実際に検証を行う際の留意点や最新の研究動向についても紹介していただきました。

当社通信グループの佐原は、8月21日〜27日にカナダで開催された「Formal Methods 国際会議」から、形式手法の最新動向を報告しました。