This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Developing High-Integrity Software in C and Ada
Technical Paper
1999-01-0265
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Software developed for high-integrity systems was often required to be written in Ada. In some industries, this requirement has recently been lifted and C is either being used or strongly considered for some next- generation safety-critical development efforts.
The overall objective of this paper is to show that the safety of any language can be enhanced by adhering to time-honored software engineering principles, such as strong typing and structured design. The one distinction is in what a language, such as Ada, supports and what a language, such as C, allows.
A number of safe design and code examples are provided showing that if a language allows programs to adhere to certain principles then it is possible to satisfy, or at least address safety-critical guidelines as defined by aerospace industrial standards.
This paper also introduces emerging European safe language subsets such as SPARK Ada and MISRA C. Emphasis will be placed on the more universally shared and understood restrictions, not the obscure language aspects.
Recommended Content
Technical Paper | Software Life-Cycle Costs and Solutions |
Technical Paper | Implementation-Conscious Rapid Control Prototyping Platform for Advanced Model-Based Engine Control |
Technical Paper | The Fault Assumptions in Distributed Integrated Architectures |
Authors
Topic
Citation
Erkkinen, T., "Developing High-Integrity Software in C and Ada," SAE Technical Paper 1999-01-0265, 1999, https://doi.org/10.4271/1999-01-0265.Also In
References
- [DO-178B] Software Considerations in Airborne Systems and Equipment Certification RTCAIDO-178B December 1992 Requirements and Technical Concepts for Aviation
- [MOD-0055] Requirements for Safety Related Software in Defence Equipment Ministry of Defence, Interim Release
- [Hatton] Safer C: Developing Software for High-Integrity and Safety-Critical Systems Les Hatton 1994 McGraw-Hill
- [Aonix] http:llwww.aonix.com Raven and C-Smart
- [MOD-0055] Requirements for Safety Related Software in Defence Equipment Ministry of Defence, Interim Release
- [Barnes] High Integrity Ada, The SPARK Approach John Barnes 1997 Addison-Wesley
- [MISRA] Guidelines for the Use of the C Language in Vehicle Based Software Motor Industry Software Reliability Association 1998 Motor Industry Research Association
- [SPARK] SPARK - The SPADE Ada Kernel Edition 3.2 1996 Praxis Critical Systems
- [Laplante] Real-Time Systems Design and Analysis Philip Laplante 1997 IEEE Press