Abstract
DO178C introduces a supplement addressing Object Oriented Technology (OOT) for avionics software. Although OOT is more of a methodological issue than a language issue, and despite the wording that tries to be programming-language agnostic, it is clear that this supplement is the result from a strong push from the C++ and Java communities to make their languages more acceptable for critical systems.
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
FAA/NASA, Handbook for Object-Oriented Technology in Aviation (2003)
Rosen, J.-P.: What Orientation Should Ada Objects Take. Communications of the ACMÂ 35(11)
Liskov, B., Wing, J.: A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems 16(6) (November 1994)
http://www.adacore.com/home/products/gnatpro/toolsuite/gnatcheck/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rosen, JP. (2011). Object Orientation in Critical Systems: Yes, in Moderation. In: Romanovsky, A., Vardanega, T. (eds) Reliable Software Technologies - Ada-Europe 2011. Ada-Europe 2011. Lecture Notes in Computer Science, vol 6652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21338-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-21338-0_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21337-3
Online ISBN: 978-3-642-21338-0
eBook Packages: Computer ScienceComputer Science (R0)