安全要件の記述を簡略化してパターン化したそうな。
後で読む
車の制御システムの安全性を自動で検証−日立、項目をパターン化
http://www.nikkan.co.jp/articles/view/00400862?kawara05_20160926
後で読む
車の制御システムの安全性を自動で検証−日立、項目をパターン化
http://www.nikkan.co.jp/articles/view/00400862?kawara05_20160926