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
Integration of generic operating systems in partitioned architectures, 2009. ,
Flexible operating system integration in partitioned aerospace systems, Actas do INForum -Simpósio de Informática, pp.49-60, 2009. ,
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
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
ARINC 653 in space, Proc. DASIA 2005 " DAta Systems In Aerospace " Conf. Edinburgh, Scotland, 2005. ,
Progression of an open architecture: from Orion to Altair and LSS, Tech. rep., Honeywell International, 2009. ,
Avionics for exploration, NASA Technology Exchange Conference, 2007. ,
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. ,
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
Embedded Multiprocessor Systems-on-Chip Programming, IEEE Software, vol.26, issue.3, pp.34-41, 2009. ,
DOI : 10.1109/MS.2009.64
Calculating the maximum execution time of real-time programs, Real-Time Systems, vol.20, issue.1, pp.160-176, 1989. ,
DOI : 10.1007/BF00571421
Exploiting AIR composability towards spacecraft onboard software update, Actas do INForum -Simpósio de Informática, 2010. ,
Enforcing Dependability and Timeliness in Controller Area Networks, IECON 2006, 32nd Annual Conference on IEEE Industrial Electronics, 2006. ,
DOI : 10.1109/IECON.2006.348102
AIR Technology: a step towards ARINC 653 in space, Proc. DASIA 2009 " DAta Systems In Aerospace " Conf, 2009. ,
ARINC 653 interface in RTEMS, Proc. DASIA 2007 " DAta Systems In Aerospace " Conf, 2007. ,
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
Partitioning in avionics architectures: Requirements, mechanisms and assurance, 1999. ,
A portable ARINC 653 standard interface, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference, 2008. ,
DOI : 10.1109/DASC.2008.4702767
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
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
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
Technical note on on-board software. European Space Technology Harmonisation, Technical Dossier on Mapping, 2003. ,
Transitioning from federated avionics architectures to Integrated Modular Avionics, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference, 2007. ,
DOI : 10.1109/DASC.2007.4391842
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