Zusammenfassung
Dieser Beitrag soll zeigen, welche Möglichkeiten in Ada95 - speziell im Annex H - vorgesehen sind, um sichere, das heißt zuverlässige Systeme für sicherheitskritische Anwendungen zu implementieren und diese Systeme gemäß den üblichen Prozeduren zu zertifizieren.
Summary
This paper will show two aspects:
-
The features which are available in Ada95 - especially in the specialized needs annex H - to implement trusted systems for safety-critical applications.
-
How these systems can be certified according to existing procedures.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Berlejung, H. & Baron, W.: Aspects of the Development oof Saftey-Critical Real-Time Software with the C Programming Language, in Software technik-Trends, Mitteilungen der GI-Fachgruppen 2.1.1 & 2.1.5–2.1.9, Band 16, Heft 4, S. 21–25
Draft IEC1508-Functional safety: safety related systems, June 1995
Romanski, G. & Chelini, J.: A Response to the Use of C in Safety-Critical Systems, in Softwaretechnik-Trends, Mitteilungen der GI-Fachgruppen 2.1.1 & 2.1.5–2.1.9, Band 17, Heft 1, S. 38–43
MIL-STD 882C-Military Standard System Safety Program Requirements, January 19,1993
DO-178B Software Considerations in Airborne Systemsand Equipment Certification (revised version of DO178-A
Ada9X Project Report-Ada9X Requirements, Washington D.C., December 1990
Ada95-The Language Reference Manual & Standard LibrariesiSO/IEC 8652:1995, Intermetrics, Cambridge Ma., 1995
Ada95-Rationale, The Language, The Standard Libraries, Intermetrics, Cambridge Ma., January 1995
lSO/IEC JTC/SC22/WG9 N331, Resolutions from the meeting # 32, June 1997
ISO/IEC JTC SC22 WG9 Proposal for a new work-item: Guidance for the use of Ada in High Integrity Systems, 1997
Ada-Leitfaden Allgemeiner Umdruck 255, BMVg, Bonn, 1995
Hoare, C.A.R.: The Emperor’s Old Clothes, The 1980 Turing Award Lecture, in Communications of the ACM, Vol. 24, No 2, Febr. 1981, New York, p 75–83.
Barnes, J.: Integrity Ada-The SPARK-Approach, Addison-Wesley, Harlow, 1997
Roßkopf, A.: Use of a Static Analysis Tool for Safety-Critical Ada Applications-A Critical Assessment in Strohmeier, A. (Ed): Reliable Software Technologies -Ada-Europe’96, Springer, Berlin, Heidelberg,.. 1996, p. 183–197
Safety Critical Software Handbook, Thomson Software/AONIX, 1995
Dobbing, B. & Richard-Foy, M.: T-SMART-Task-Safe, Minimal Ada Realtime Toolset, in Hardy, K. & Briggs, J. (Eds): Reliable Software Technologies-Ada-Europe’97, Springer, Berlin, Heidelberg,..., 1997, p. 244–253.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mangold, K. (1997). Sicherheit mit Standard-Software - Was kann Ada95 dazu beitragen. In: Holleczek, P. (eds) Pearl 97. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60910-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-60910-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63562-8
Online ISBN: 978-3-642-60910-7
eBook Packages: Springer Book Archive