Development of a Hardware-in-the-Loop Simulation Environment on a MDVE for FPGA-based On-board Computing Systems

The goal of this paper is to describe the development of a hardware-in-the-loop simulation and verification environment for Field Programmable Gate Array (FPGA) based on-board computing systems. The underlying simulation environment is the Model-based Development and Verification Environment (MDVE). MDVE is an infrastructure for model-based engineering developed by EADS Astrium. A simulation environment based on MDVE was developed at the Universität Stuttgart. Recently, the demand on applying new high density FPGA technologies for innovative spacecraft on-board computing systems is rising. The small satellite “Flying Laptop” which is built by the Universität Stuttgart is the demonstrator of a FPGA-based on-board computer. In order to develop and verify the hardware and control algorithm of the computer, an extended simulation interface between MDVE and FPGA-based computing systems is established. This environment is capable of software verification and real-time simulation/verification configuration, and enables not only on-board software development but also functional real-time hardware evaluation of all the satellite components under precise space environment models. This paper describes the detailed implementation of this simulation interface and illustrates the obtained simulation results on attitude control algorithm verification and power budget calculation as well as communication timing analysis, which ensure the validity of the implementation.

[1]  John Enright,et al.  Formal Validation of Realtime Middleware , 2007, J. Aerosp. Comput. Inf. Commun..

[2]  Byung-Hoon Lee,et al.  Rapid Initial Detumbling Strategy for Micro/Nanosatellites Using a Pitch Bias Momentum System , 2007 .

[3]  Toru Yamamoto,et al.  On-Orbit Experiment of Vision-Based Motion Estimation and Tracking of Tumbling Object in Space , 2007 .

[4]  Hans-Peter Roeser,et al.  Preliminary System Simulation Environment of the University Micro-Satellite Flying Laptop , 2008 .

[5]  Felix Huber,et al.  Development of an FPGA Based Attitude Control System for a Micro-Satellite , 2006 .

[6]  Jens Eickhoff,et al.  Model-based design and verification—State of the art from Galileo constellation down to small university satellites , 2006 .

[7]  Jens Eickhoff Model-based Development & Verification Environment , 2003 .

[8]  Felix Huber,et al.  FPGA based On-Board Computer System for the “ Flying Laptop ” MicroSatellite , 2007 .

[9]  Byeong-Hun Lee,et al.  Rapid Initial Detumbling Strategy for Micro/Nanosatellite with Pitch Bias Momentum System , 2006 .

[10]  Ben M. Chen,et al.  Development of a Real-time Onboard and Ground Station Software System for a UAV Helicopter , 2007, J. Aerosp. Comput. Inf. Commun..

[11]  Shuji Nakamura,et al.  Spacecraft Attitude and Body Rate Estimation with Star Sensors and Their On-Orbit Verification Results , 2007 .

[12]  Martin Sweeting,et al.  Very-Small-Satellite Design for Distributed Space Missions , 2007 .