| ゼミナールI講演 |
|---|
| 日時(Date)： | 平成27年11月4日(水)3限 (13:30 -- 15:00) Wed., Nov. 4th, 2015 (3rd Period, 13:30 -- 15:00) |
|---|---|
| 場所(Location)： | L1 |
| 司会(Chair)： | 米田友和 (Tomokazu Yoneda) |
| 講演者(Presenter)： | 片平真史, 石濱直樹 (独立行政法人宇宙航空研究開発機構)
Masafumi Katahira, Naoki Ishihama (JAXA) |
|---|---|
| 題目(Title)： | 超高信頼ソフトウエアシステム検証学研究室の研究と最新のJAXAにおけるソフトウェア関連研究について |
| 概要(Abstract)： | 研究室の研究テーマである、『極限環境で正しい動作が求められるソフトウェアの超高信頼性・安全性を実現するためのソフトウェア検証方法論』と、宇宙における信頼性・安全性を確保するためのソフトウェア工学の研究や、最新の情報技術を活用した研究について講演する。 |