Abstract
In this paper we discuss how the suitability of Ada95 for use in critical systems is being assessed. We will describe our framework and provide examples of assessing specific Ada constructs within the terms of the framework.
This work was funded by the Canadian Department of National Defence.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
ANSI/ISO/IEC 8652 International Standard. Ada95 Reference Manual, Intermetrics, January 1995.
Michael Smith. The AVA Reference Manual. Technical Report 64, Computational Logic Inc., February 1992.
B. Carre and T. Jennings. SPARK: The SPADE Ada Kernel. Department of Electronics and Computer Science, University of Southampton, March 1988.
David Guaspari, Caria Marceau, and Wolfgang Polak. Formal Verification of Ada Programs. IEEE Transactions on Software Engineering, vol. 16, no. 9, September 1990, pp. 1058–1075.
Thomson-Alsys SMART System. Thomson Software Products, Norwalk, CT, USA.
Software Considerations in Airborne Systems and Equipment Certification (DO-178B/-ED-12B). RTCA Inc., Washington, DC, December 1992.
The Procurement of Safety Related Software in Defence Equipment (Parts 1 and 2). U.K. Ministry of Defence, Standard 00-55 (Draft), 1995.
Hazard Analysis and Safety Classification of the Computer and Programmable Electronic System Elements of Defence Equipment. U.K. Ministry of Defence, Interim Standard 00-56, April 1991.
The Canadian Trusted Computer Product Evaluation Criteria. Canadian System Security Centre, Communications Security Establishment, Government of Canada. Version 3.0e, January 1993.
Dan Craigen, Mark Saaltink, and Steve Michell. Ada95 Trustworthiness Study: A Framework. ORA Canada Technical Report TR-95-5499-02, November 1995.
Ada Semantic Interface Specification. Draft 2.0.E available as ftp://SW-Eng.Falls-Church.Va.US/public/AdaIC/work-grp/asiswg/asis/V2.0/ASIS-2.0.E
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Craigen, D., Saaltink, M., Michell, S. (1996). Ada95 and critical systems: An analytical approach. In: Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe '96. Ada-Europe 1996. Lecture Notes in Computer Science, vol 1088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013487
Download citation
DOI: https://doi.org/10.1007/BFb0013487
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61317-6
Online ISBN: 978-3-540-68457-2
eBook Packages: Springer Book Archive