Abstract
The positive experiences from the usage of Ada in a safety critical flight control system are described in this paper. It states that preemptive scheduling implemented with tasking, can be combined with high requirements on reliability and a deterministic behaviour. How data consistency has been obtained between the periodic tasks is outlined. Also the exception handling in the system is mentioned.
Preview
Unable to display preview. Download preview PDF.
References
SPARK-The SPADE Ada Kernel, Edition 3.1, Program Validation Ltd., May 1992.
Ada 95 Language Reference Manual, International Standard ISO/IEC-8652:1995.
L. Sha and J. B. Goodenough, Real-Time Scheduling Theory and Ada, IEEE Computer, Apr., 1990.
M. H. Klein, J. P. Lehoczky and R Rajkumar, Rate-Monotonic Analysis for Real-Time Industrial Computing, IEEE Computer, Jan., 1994.
ARIANE 5, Flight 501 Failure, Report by the Inquiry Board, Paris, 19 July 1996.
D. Folkesson, Principles for Real-Time Execution in Swedish Avionics Systems (in Swedish), SNART 2nd Conference on Real Time Systems in Stockholm 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Frisberg, B. (1998). Ada in the JAS 39 Gripen flight control system. In: Asplund, L. (eds) Reliable Software Technologies — Ada-Europe. Ada-Europe 1998. Lecture Notes in Computer Science, vol 1411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055013
Download citation
DOI: https://doi.org/10.1007/BFb0055013
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64536-8
Online ISBN: 978-3-540-69802-9
eBook Packages: Springer Book Archive