開催概要
- 日時：平成２６年７月１１日
- 場所：東京大学本郷キャンパス工学部8号館地下一階85会議室
プログラム
１ はじめに 14:00 - 14:10松野裕（電気通信大学）
２ 自動車のAdaptive Cruise Control(ACC)システムにおけるD-Case実証実験 14:10-14:35
井上樹 (豆蔵)
３ 議論学とD-Case 14:35-15:00
木藤浩之 （東大）
15:00-15:20 休憩
４ イギリスでの安全性規格認証について、Safety Caseチュートリアル 15:20-17:20
Luke Emmet (Adelard) (日本語による翻訳つき)
18:00以降 懇親会