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.
This is a preview of subscription content, log in via an institution.
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