丸紅情報システムズ株式会社
11/19（木）10:30-17:00 会議センター3階［303］
欧州自動車業界における静的解析ツールの最新活用事例 通訳有
Steve HowardRogue Wave Software. Inc. Sales Engineer
Runtime Verification技術が可能にする割込み干渉検証 14:00-14:15
玉置 卓也丸紅情報システムズ株式会社 製造ソリューション事業本部 デバイスソリューション部 副部長
Runtime Verificationは、フォーマル検証・静的検証・動的検証 と何が違う? 14:15-15:45 通訳有
Grigore Rosuイリノイ大学アーバナ・シャンペーン校教授 兼 Runtime Verification. Inc. President and CEO
レースコンディション・割込み等の重要ソフトウエア不具合の検出へのRuntime Verification という新技術 16:00-17:00 通訳有
Philip DaianRuntime Verification. Inc. The Lead Software Engineer
- K基調講演
- S特別講演
- I招待講演
- Pパネルセッション
- TSETテクニカルセッション
- TSIIoTテクニカルセッション
- ASアナログスキルアップトラック
- DVT設計・検証ツールトラック
- EDA-LPBEDA-LPBトラック
- HDハードウェアトラック
- PDプログラマブル・デバイストラック
- IoTIoTトラック
- RTロボットセッション
- Cスペシャルセッション
- SSスポンサーセッション
- JGJASA技術本部セミナー
- JFJASAグローバルフォーラム2015
- GG学生と教育関係者向け組込み業界研究セミナー
- IPAIPAセミナー
- MM組込みマルチコアサミット2015
- ROETロボコン モデリングワークショップ
- プライベートカンファレンス
- ABアライアンスビジネス交流会
