Guaranteeing Timing Requirements in the IXV On-Board Software
暂无分享,去创建一个
[1] Giovanni Malucchi,et al. Intermediate Experimental Vehicle (IXV): Avionics and Software of the ESA Reentry Demonstrator , 2012 .
[2] Alejandro Alonso,et al. A Test Environment for High Integrity Software Development , 2003, Ada-Europe.
[3] Andy J. Wellings,et al. Ravenscar‐Java: a high‐integrity profile for real‐time Java , 2005, Concurr. Pract. Exp..
[4] Tullio Vardanega,et al. On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels , 2004, Real-Time Systems.
[5] Alfons Crespo,et al. Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal , 2004, Real-Time Systems.
[6] Tullio Vardanega,et al. Considerations on the LEON Cache Effects on the Timing Analysis of On-Board Applications , 2007 .
[7] Alan Burns,et al. Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.
[8] Tullio Vardanega,et al. Using the Ravenscar profile for space applications: the OBOSS case , 2001 .
[9] Nuno Silva,et al. Challenges in Calculating the WCET of a Complex On-board Satellite Application , 2003, WCET.