Adaptability and survivability in spaceborne time- and space-partitioned systems
暂无分享,去创建一个
[1] Rolf Ernst,et al. A software update service with self-protection capabilities , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).
[2] Mak Tafazoli,et al. A study of on-orbit spacecraft failures , 2009 .
[3] Manuel Oriol,et al. Dynamic software updates for real-time systems , 2009, HotSWUp '09.
[4] Laurent Nana,et al. Cheddar: a flexible real time scheduling framework , 2004, SIGAda.
[5] Rushby John,et al. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , 1999 .
[6] José Rufino,et al. Schedulability analysis in partitioned systems for aerospace avionics , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).
[7] Andrew J. Kornecki,et al. Certification of software for real-time safety-critical systems: state of the art , 2009, Innovations in Systems and Software Engineering.
[8] Joaquim Rosa. Exploiting AIR Composability towards Spacecraft Onboard Software Update , 2010 .
[9] José Rufino,et al. Adaptability Support in Time- and Space-Partitioned Aerospace Systems , 2010 .
[10] José Rufino,et al. Architecting Robustness and Timeliness in a New Generation of Aerospace Systems , 2009, WADS.
[11] A. Terry Bahill,et al. Requirements development, verification, and validation exhibited in famous failures , 2005, Syst. Eng..
[12] Scott Nettles,et al. Dynamic software updating , 2001, PLDI '01.