活動案内

第4回D-Case実証評価研究会のご案内

日時：平成２５年１０月２２日
場所：京都アックスセミナールーム
　　　　　応募者多数のため締め切りました(2013.10.19)
　　　　 プログラム予定
セッション１　DEOSについて　13:00 - 13:30　（松野）

　　１　屋代眞（DEOSセンター）30分　DEOSプロジェクトについて

セッション２　規格認証 13:30 - 14:30　（田口）

　　１　田口研治（産総研/CAV）中野昇(ベリサーブ) 30分　

　 　　　　ISO 26262 の認証とセーフティケース

　　２　相馬大輔 （産総研）　　30分　RAMS の認証とセーフティケース

休憩 14:30~14:45

セッション３　D-Case応用 14:45 - 15:55　（松野）

　　１　中澤仁　（慶応大）30分　D-Caseを用いた分散システムのモニタリング

　　２　志田駿介（横国大）20分　D-Caseレポジトリとステークスホルダ

　　３　岡本悠希（横国大）20分　D-Scriptを用いたD-Caseと実行環境の同期

セッション４　システムアシュアランス教育 15:55 - 16:55　（高井）

　　１　Khana Chindamaikul, Uematsu Yusuke, Jun Komeda　

　　　　（奈良先端大）20分　 System Assurance For Smart House

　　２　鷲尾 直大　（奈良先端大）20分　

　　　　車両間アドホックネットワークにおけるシステムアシュアランスの検討

　　３　野村亮太 南秀和　（奈良先端大）20分　

　 　　　 LEGO Mindstorms を用いたシーソー走行に関するアシュランスケースの検討

おわりに　16:55 - 17:00