開催概要 / Date and place
- 日時：平成２５年１０月２２日
- 場所：京都アックスセミナールーム
- Date & Time : 2013/10/22
- Place : Kyotoアックス Seminar Room
プログラム
セッション１ 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分
おわりに 16:55 - 17:00
Program
Session 1 About DEOS 13:00 - 13:30（Matsuno）
- 1.Makoto Yashiro（DEOS Center）30min About DEOS Project
Sesison 2 Authentication of Standards 13:30 - 14:30（Taguchi）
- 1.Taguchi Kenji（AIST/CAV) 30min ISO 26262 Authentication and Safety Cases
- 2.Soma Daisuke（AIST）30min RAMS Authentication and Safety Cases
Interval 14:30 - 14:45
Session 3 D-Case Applications 14:45 - 15:55（Matsuno）
- 1.Nakazawa Jin (Keio Uni）30min Monitoring of Distributed Systems using D-Case
- 2.Shida Shunsuke（Yokoku Uni）20min D-Case Repository Stake Holders
- 3.Ishi Masaki（Yokoku Uni）20min Synchronization of Execution Environment and D-Case using D-Script
Session 4 System Assurance Education 15:55 - 16:55（Takai）
- 1.NAIST Student 1 20min
- 2.NAIST Student 2 20min
- 3.NAIST Student 3 20min
Closing Remarks 16:55 - 17:00