A high performance on-board computer and software development platform

Paper number

IAC-12,D1,6,8,x13453

Author

Prof. Shinichi Kimura, Tokyo University of Science, Japan

Coauthor

Mr. Takaichi Kamijo, Tokyo University of Science, Japan

Coauthor

Mr. Yuhei Aoki, Tokyo University of Science, Japan

Coauthor

Mr. Sotaro Kobayashi, Tokyo University of Science, Japan

Coauthor

Mr. Hidenori Takahashi, Toyo Koku Denshi Co. Ltd., Japan

Coauthor

Mr. Kei-ichi Itoh, Toyo Koku Denshi Co. Ltd., Japan

Coauthor

Mr. Yoshinori Miura, Toyo Koku Denshi Co. Ltd., Japan

Coauthor

Mr. Matsutaka Sasahara, Mitsubishi Heavy Industries, Ltd., Japan

Coauthor

Mr. Masahiro Koyama, Mitsubishi Heavy Industries, Ltd., Japan

Coauthor

Mr. Atsushi Oishi, Mitsubishi Heavy Industries, Ltd., Japan

Year

2012

Abstract

As missions of small satellites are coming to be complex, high performance and high reliability are required for the on–board computers.  To meet these requirements, high reliability, high complexity and high productivity are coming to be requested for not only for the hardware but also software.  
Generally speaking, recursive operation and verification are efficient ways to increase software reliability and productivity.  Since the missions are highly specialized for individual spacecraft, software for the on-orbit computer was developed for the individual mission.  Even though whole sequences may be specialized for the each mission, we can find common units if we divide them into basic functional units.  
Efficient verification process is also important to increase reliability of the software.  Especially for software of spacecraft, the verification using hardware model of on-orbit computer is important to specify errors caused by implementation and delicate hardware dependent performance such as timing.  But it is rather difficult to simulate whole on-orbit environment using whole spacecraft hardware model.   
Therefore we propose to develop software development and verification framework to enhance recursive use of software for the on-orbit computers.  On the framework, the software can be constructed by software blocks based on the GUI software development kit without special knowledge on the hardware.  The same software development kit dynamically links with hardware in the loop simulator that perform space environment simulation and automatically generate sensor read out caused by actuator command in the given situation.
In this paper, the outline of software development and verification framework to enhance recursive use of software for the on-orbit computers.

Abstract document

IAC-12,D1,6,8,x13453.brief.pdf

Manuscript document

IAC-12,D1,6,8,x13453.pdf (🔒 authorized access only).

To get the manuscript, please contact IAF Secretariat.