Abstract
Ensuring the correct timing behavior of the control software of a spacecraft is a complex endeavor. This paper describes the real-time aspects of the Intermediate eXperimental Vehicle’s (IXV) On-Board Software (OBSW), including the schedulability analysis performed for the validation of this safety-critical, hard real-time system of the European Space Agency (ESA). We then give details of how the Ravenscar profile has been used to obtain predictability over RTEMS, and quantify the overhead of different mechanisms for measuring computation times. We provide the timing measurements of each task during the different modes of the mission, including the Guidance, Navigation, and Control (GNC) tasks, to aid in the development of future OBSW projects.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Malucchi, G., Dussy S., Camuffo, F.: Intermediate experimental vehicle (IXV): avionics and software of the ESA reentry demonstrator. In: Data Systems in Aerospace (2012)
ECSS-Q-ST-80C — Software product assurance (2009)
Rodríguez, E., Giménez, P., Vicente Fernández, I, de M.: SCOE for IXV GNC. In: SESP 2012 – Simulation & EGSE Facilities for Space Programmes (2012)
Rodríguez, M., Silva, N., Esteves, J., Henriques, L., Costa, D., Holsti, N., Hjortnaes, K.: Challenges in calculating the WCET of a complex on-board satellite application. In: Gustafsson, J. (ed.) WCET 2003 (2003)
Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar Profile in high integrity systems. ISO/IEC TR 24718, 2005 (2005)
Kwon, J., Wellings, A., King, S.: Ravenscar‐Java: A high‐integrity profile for real‐time Java. Concurrency and Computation: Practice and Experience 17(5–6) (2005)
Vardanega, T., Caspersen, G.: Using the Ravenscar Profile for space applications: The OBOSS case. ACM SIGAda Ada Letters 21(1), 96–104 (2001)
Alonso, A., de la Puente, J.A., Zamorano, J.: A test environment for high integrity software development. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol. 2655, pp. 359–367. Springer, Heidelberg (2003)
Bernat, G., Colin, A., Esteves, J., Garcia, G., Moreno, C., Holsti, N., Hernek, M.: Considerations on the LEON cache effects on the timing analysis of on-board applications. In: DASIA (2007)
Real, J., Crespo, A.: Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Systems 26(2), 161–197 (2004)
Vardanega, T., Zamorano, J., de la Puente, J.A.: On the dynamic semantics and the timing behavior of Ravenscar kernels. Real-Time Systems 29(1), 59–89 (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Urueña, S., Pérez, N., Calvo, B.N., Flores, C., Jung, A. (2015). Guaranteeing Timing Requirements in the IXV On-Board Software. In: de la Puente, J., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2015. Ada-Europe 2015. Lecture Notes in Computer Science(), vol 9111. Springer, Cham. https://doi.org/10.1007/978-3-319-19584-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-19584-1_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19583-4
Online ISBN: 978-3-319-19584-1
eBook Packages: Computer ScienceComputer Science (R0)