Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics

Future space systems require innovative computing system architectures, on account of their size, weight, power consumption, cost, safety and maintainability requisites. The AIR (ARINC 653 in Space Real-Time Operating System) architecture answers the interest of the space industry, especially the European Space Agency, in transitioning to the flexible and safe approach of having onboard functions of different criticalities share hardware resources, while being functionally separated in logical containers (partitions). Partitions are separated in the time and space domains. In this paper we present the evolution of the AIR architecture, from its initial ideas to the current state of the art. We describe the research we are currently performing on AIR, which aims to obtain an industrial-grade product for future space systems, and lay the foundations for further work.

[1]  Graham G. Swinerd,et al.  Spacecraft Systems Engineering, 3rd Edition , 2003 .

[2]  José Rufino,et al.  ARINC 653 Interface in RTEMS , 2007 .

[3]  Rogério de Lemos,et al.  Architecting Dependable Systems VI , 2009, WADS.

[4]  Huguette Sawaya-Lacoste,et al.  Data Systems in Aerospace , 2000 .

[5]  José Rufino,et al.  AIR Technology: a step towards ARINC 653 in space , 2009 .

[6]  José Rufino,et al.  Embedded Linux in a partitioned architecture for aerospace applications , 2009, 2009 IEEE/ACS International Conference on Computer Systems and Applications.

[7]  João Craveiro.  INTEGRATION OF GENERIC OPERATING SYSTEMS IN PARTITIONED ARCHITECTURES , 2009 .

[8]  José Rufino,et al.  Schedulability analysis in partitioned systems for aerospace avionics , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[9]  John P. W. Stark,et al.  Spacecraft systems engineering , 1995 .

[10]  José Rufino,et al.  Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard , 2009, IESS.

[11]  S. Santos,et al.  A portable ARINC 653 standard interface , 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.

[12]  Mark Alan Jones,et al.  What really happened on mars rover pathfinder , 1997 .

[13]  Peter P. Puschner,et al.  Calculating the maximum execution time of real-time programs , 1989, Real-Time Systems.

[14]  Klaus H. Ecker,et al.  Robust partitioning for reliable real-time systems , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

[15]  José Rufino,et al.  Architecting Robustness and Timeliness in a New Generation of Aerospace Systems , 2009, WADS.

[16]  L.M. Kinnan.  Application migration from linux prototype to deployable ima platform using arinc 653 and open gl , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.

[17]  Andreas Polze,et al.  Kernel-mode scheduling server for CPU partitioning: a case study using the Windows research kernel , 2008, SAC '08.

[18]  Jim Alves-Foss,et al.  The MILS architecture for high-assurance embedded systems , 2006, Int. J. Embed. Syst..

[19]  P. Verissimo,et al.  Enforcing Dependability and Timeliness in Controller Area Networks , 2006, IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics.

[20]  Rushby John,et al.  Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , 1999 .

[21]  José Rufino,et al.  ARINC 653 in Space , 2005 .

[22]  João Craveiro,et al.  Flexible Operating System Integration in Partitioned Aerospace Systems , 2009 .

[23]  James Windsor,et al.  Time and Space Partitioning in Spacecraft Avionics , 2009, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.

[24]  Roel Wuyts,et al.  Embedded Multiprocessor Systems-on-Chip Programming , 2009, IEEE Software.

[25]  Joaquim Rosa.  Exploiting AIR Composability towards Spacecraft Onboard Software Update , 2010 .

[26]  C.B. Watkins,et al.  Transitioning from federated avionics architectures to Integrated Modular Avionics , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.