Activities

4th D-Case Study Information

Date & Time : 2013/10/22
Place : Kyotoアックス Seminar Room

Schedule

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