Abstract
This paper describes Silver Software’s experience in carrying out the software development for the landing gear system for a major new airliner. We hope this paper will be of interest, for a number of reasons:
-
The landing gear is one of the most safety-critical systems on the aircraft
-
This aircraft uses Integrated Modular Avionics (IMA)
-
Much of the work was carried out at our software development centre in Bangalore, India (in particular, development of the Level C software and verification of the Level A software)
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
Amey P and Chapman R (2005). SPARK 95 — The SPARK Ada 95 Kernel (including RavenSPARK). Praxis High Integrity Systems, Bath, 2005.
Amey P, Chapman R and White N (2005). Smart Certification of Mixed Criticality Systems. In: Vardanega T and Wellings A (ed) Reliable Software Technology — Ada-Europe 2005. Springer-Verlag Heidelberg, 2005, pp 144–155 (Lecture Notes in Computer Science, Volume 3555).
ARINC (1997). Avionics Application Software Standard Interface. ARINC 653. Aeronautical Radio, Inc., Annapolis, 1997.
Burns A, Dobbing B, Romanski G (1998). The Ravenscar Tasking Profile for High Integrity Real-Time Programs. In: Asplund L (ed) Reliable Software Technologies — Ada-Europe’ 98. Springer-Verlag, Heidelberg, 1998, p263 (Lecture Notes in Computer Science, Volume 1411).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag London Limited
About this paper
Cite this paper
Daniels, D. (2006). Safety Aspects of a Landing Gear System. In: Redmill, F., Anderson, T. (eds) Developments in Risk-based Approaches to Safety. Springer, London. https://doi.org/10.1007/1-84628-447-3_11
Download citation
DOI: https://doi.org/10.1007/1-84628-447-3_11
Publisher Name: Springer, London
Print ISBN: 978-1-84628-333-8
Online ISBN: 978-1-84628-447-2
eBook Packages: Computer ScienceComputer Science (R0)