| ゼミナールI講演 |
|---|
| 日時： | 平成26年5月21日(水)3限 (13:30 -- 15:00) Wed., May 21st, 2014 (3rd Period, 13:30 -- 15:00) |
|---|---|
| 場所： | L1 |
| 講演者： | 片平真史，宮本祐子 (超高信頼ソフトウェアシステム検証学(連携)・独立行政法人 宇宙航空研究開発機構 情報・計算工学センター) Masafumi Katahira, Yuko Miyamoto (High Reliability Software System Verification (Collaborative Lab)/JAXA'S Engineering Digital Innovation Center) |
|---|---|
| 題目： | 超高信頼性ソフトウエアシステム検証技術の現状と展望（宇宙システムの実践事例から） |
| 概要： | 宇宙・金融・輸送系システムにおいて、ソフトウエアが担う役割は益々重要になっており、正しく安全に動くためのシステム検証技術が注目を浴びている。特に、単一システムのみの信頼性向上だけでは回避困難な問題が発生しており、複雑に連携して動作する協調システムの検証技術が必要となる。当研究室で研究を進める超高信頼性ソフトウエアシステムの検証技術の現状と展望を、宇宙システムの課題・実践例を交えて紹介する。 |