Academic
Publications
Characteristics of Safety Critical Software

Characteristics of Safety Critical Software,A. J. Kornecki

Characteristics of Safety Critical Software   (Citations: 1)
BibTex | RIS | RefWorks Download
Abstract Software in safety critical systems allows developers to implement,complex functionality including safety hazards mitigation. Software may also introduce hazards by performing incorrect computation resulting in a wrong or undesired output, producing output in wrong time, or not producing it at all. The impact of safety requirements on selection of the language, design solutions, and implementation details are discussed in this paper. Certain languages tolerate developers to use error prone practices not quite appropriate for a safety-critical system. A popularity of object -oriented languages, modeling paradigm, and proliferation of Automatic Code Generation tools cause that a model can now be used as implementation conduit, rather than just analysis or design artifact. The paper describes changing,perspective on development of safety critical system with the level of abstraction moving to the early lifecycle phases from coding up to the architectural design, and increasing use of a model-based development,paradigm. Such approaches improve the effectiveness of the process and promise a more cost-effective use of valuable resources. The paper will review current research into language characteristics and give some insight as to how modeling languages, particularly UML, are appropriate for system implementation.
Cumulative Annual
Sort by: