Abstract
A systematic approach to the software development process using accelerometer sensor assembly of a flight control system as an example with emphasis on safety is detailed in this paper.
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
The Annotated Ada Reference Manual ANSI/MIL-STD-1815A-1983 (Annotated) 2nd edition, Kavr.A.Nyberg (editor).
LDRA Testbed Ada 9x (UNIX/VMS) Manual, Revision 8.1, September 1994.
RDD-100 Reference Manual, Release 4.0.3.
SPARK Examiner Manual Release 1.3, Program Validation Ltd., May 1994.
Team Work/Ada User’s Guide Release 4.0
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag London
About this paper
Cite this paper
Narahari, K.N., Prasad, S., Karunakar, K. (1995). Is Software Safe to Fly?. In: Rabe, G. (eds) Safe Comp 95. Springer, London. https://doi.org/10.1007/978-1-4471-3054-3_21
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3054-3_21
Publisher Name: Springer, London
Print ISBN: 978-3-540-19962-5
Online ISBN: 978-1-4471-3054-3
eBook Packages: Springer Book Archive