Latest approach to cost-effective software assurance according to the risks identified in space systems

	Mr. Masa Katahira, 片平 真史 氏 Principal Researcher, Director JAXA R&D 宇宙航空研究開発機構
	Mr. Taisuke Kanbe 神戸 大輔 氏　 　 Software Assurance Engineer JAXA S&MA 宇宙航空研究開発機構

[Presentation overview] Space systems are required to be highly reliable and safe due to the constraints of their operating environment. On the other hand, in recent years, space development by the private sector has accelerated, and the number of low-cost, short-duration, small-scale organizations developing small satellites and other spacecraft has skyrocketed. To support Japan’s space industry, cost-effective software assurance technology that maintains high reliability and safety has become indispensable. In this presentation, we will introduce our efforts related to software process assessment and our future improvement policy with cost-effectiveness in mind, as well as the safety design of computer systems and software in the new era (architectural design, etc.), comparing it with the standards in the automobile industry. 宇宙機システムは、その動作環境の制約から高い信頼性と安全性が求められている。 一方、近年、民間企業による宇宙開発が加速するとともに、小型衛星など、低コスト、短期間、小規模組織による開発が急増している。 日本の宇宙産業を下支えするため、高信頼性・安全性を維持しつつ、コスト対効果の高いソフトウェアアシュアランス技術が不可欠となっている。 本講演では、ソフトウェアプロセスアセスメントに関わる取り組みと今後のコスト対効果を意識した改善方針について紹介するとともに、新時代の計算機システム・ソフトウェアの安全設計（アーキテクチャ設計など）を自動車業界の規格と比較しながら紹介する。

[Biography] Mr. Masa Katahira 片平 真史 氏 Masa Katahira received his M.S degree in computer science from Florida Tech. and worked as a visiting staff at the MIT Department of Aeronautics and Astronautics. He is currently a principal researcher of R&D directorate at Japan Aerospace Exploration Agency. He is engaged in software assurance, process assessment and safety assessment for JAXA developed space systems, and part-time lecturer at Kyushu University Graduate School. 片平 真史 氏は、フロリダ工科大学でコンピュータサイエンスの修士号を取得し、MIT航空宇宙学科で客員スタッフとして勤務した。 現在、宇宙航空研究開発機構（JAXA）の研究開発本部の主席研究員として、JAXAが開発する宇宙システムのソフトウェア保証、プロセスアセスメントおよびセーフティアセスメントに従事しており、九州大学大学院の非常勤講師も務めている。 　 Mr. Taisuke Kanbe 神戸 大輔 氏 Taisuke Kanbe is a software assurance engineer of Safety and Mission Assurance department at Japan Aerospace Exploration Agency. He has been engaged in software quality assurance and development process improvement in mainly automotive and aerospace industries. These days his activities are the establishment of software development standard for space and the promotion of software process assessment in Japanese aerospace industries. 神戸 大輔 氏は、宇宙航空研究開発機構（JAXA）の安全・ミッション保証部のソフトウェア保証エンジニアである。 主に自動車および航空宇宙産業においてソフトウェア品質保証および開発プロセスの改善に従事してきた。 現在は、宇宙分野のソフトウェア開発標準の確立や、日本の航空宇宙産業におけるソフトウェアプロセスアセスメントの推進に取り組んでいる。