J. Alves-foss, W. S. Harrison, P. Oman, and C. Taylor, The MILS architecture for high-assurance embedded systems, International Journal of Embedded Systems, vol.2, issue.3/4, pp.239-247, 2006.
DOI : 10.1504/IJES.2006.014859

J. Craveiro, Integration of generic operating systems in partitioned architectures, 2009.

J. Craveiro, J. Rufino, T. Schoofs, and J. Windsor, Flexible operating system integration in partitioned aerospace systems, Actas do INForum -Simpósio de Informática, pp.49-60, 2009.

J. Craveiro and J. Rufino, Schedulability analysis in partitioned systems for aerospace avionics, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), 2010.
DOI : 10.1109/ETFA.2010.5641243

J. Craveiro, J. Rufino, C. Almeida, R. Covelo, and P. Venda, Embedded Linux in a partitioned architecture for aerospace applications, 2009 IEEE/ACS International Conference on Computer Systems and Applications, pp.132-138, 2009.
DOI : 10.1109/AICCSA.2009.5069315

N. Diniz and J. Rufino, ARINC 653 in space, Proc. DASIA 2005 " DAta Systems In Aerospace " Conf. Edinburgh, Scotland, 2005.

M. Fletcher, Progression of an open architecture: from Orion to Altair and LSS, Tech. rep., Honeywell International, 2009.

R. Hodson and T. Ng, Avionics for exploration, NASA Technology Exchange Conference, 2007.

M. Jones, What really happened on Mars Rover Pathfinder. The RISKS Digest -Forum on Risks to the Public in, Computers and Related Systems, vol.19, issue.49, 1997.

L. Kinnan, Application migration from linux prototype to deployable ima platform using arinc 653 and open gl, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference, pp.6-8, 2007.
DOI : 10.1109/DASC.2007.4391958

J. Y. Mignolet and R. Wuyts, Embedded Multiprocessor Systems-on-Chip Programming, IEEE Software, vol.26, issue.3, pp.34-41, 2009.
DOI : 10.1109/MS.2009.64

P. Pushner and C. Koza, Calculating the maximum execution time of real-time programs, Real-Time Systems, vol.20, issue.1, pp.160-176, 1989.
DOI : 10.1007/BF00571421

J. Rosa, J. Craveiro, and J. Rufino, Exploiting AIR composability towards spacecraft onboard software update, Actas do INForum -Simpósio de Informática, 2010.

J. Rufino, C. Almeida, P. Verissimo, and G. Arroz, Enforcing Dependability and Timeliness in Controller Area Networks, IECON 2006, 32nd Annual Conference on IEEE Industrial Electronics, 2006.
DOI : 10.1109/IECON.2006.348102

J. Rufino, J. Craveiro, T. Schoofs, C. Tatibana, and J. Windsor, AIR Technology: a step towards ARINC 653 in space, Proc. DASIA 2009 " DAta Systems In Aerospace " Conf, 2009.

J. Rufino, S. Filipe, M. Coutinho, S. Santos, and J. Windsor, ARINC 653 interface in RTEMS, Proc. DASIA 2007 " DAta Systems In Aerospace " Conf, 2007.

J. Rufino, J. Craveiro, and P. Verissimo, Architecting Robustness and Timeliness in a New Generation of Aerospace Systems, Architecting Dependable Systems 7, 2010.
DOI : 10.1007/978-3-642-17245-8_7

J. Rushby, Partitioning in avionics architectures: Requirements, mechanisms and assurance, 1999.

S. Santos, J. Rufino, T. Schoofs, C. Tatibana, and J. Windsor, A portable ARINC 653 standard interface, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, 2008.
DOI : 10.1109/DASC.2008.4702767

M. Schöbel and A. Polze, Kernel-mode scheduling server for CPU partitioning, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1700-1704, 2008.
DOI : 10.1145/1363686.1364091

R. Seyer, C. Siemers, R. Falsett, K. Ecker, and H. Richter, Robust partitioning for reliable real-time systems, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings., pp.117-122, 2004.
DOI : 10.1109/IPDPS.2004.1303073

J. L. Souza and J. Rufino, Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard, Proc. IESS International Embedded Systems Symposium '09. Langenargen, 2009.
DOI : 10.1109/MIE.2008.917155

J. L. Terraillon and K. Hjortnaes, Technical note on on-board software. European Space Technology Harmonisation, Technical Dossier on Mapping, 2003.

C. Watkins and R. Walter, Transitioning from federated avionics architectures to Integrated Modular Avionics, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference, 2007.
DOI : 10.1109/DASC.2007.4391842

J. Windsor and K. Hjortnaes, Time and Space Partitioning in Spacecraft Avionics, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology, pp.13-20, 2009.
DOI : 10.1109/SMC-IT.2009.11