Accession Number : ADA266993


Title :   Safety-Critical Software: Status Report and Annotated Bibliography


Descriptive Note : Final rept.


Corporate Author : ELECTRONIC SYSTEMS CENTER HANSCOM AFB MA


Personal Author(s) : Place, Patrick R ; Kang, Kyo C


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a266993.pdf


Report Date : Jun 1993


Pagination or Media Count : 87


Abstract : Many systems are deemed safety-critical and these systems are increasingly dependent on software. Much has been written in the literature with respect to system and software safety. This report summarizes some of that literature and outlines the development of safety-critical software. Techniques for hazard identification and analysis are discussed. Further, techniques for the development of safety-critical software are mentioned. A partly annotated bibliography of literature concludes the report.... Safety-critical software, Requirements engineering, Hazard identification


Descriptors :   *COMPUTER PROGRAMS , *SOFTWARE ENGINEERING , *SAFETY EQUIPMENT , COST EFFECTIVENESS , HAZARDS , PERFORMANCE(ENGINEERING) , COMPUTER PROGRAMMING , BIBLIOGRAPHIES , IDENTIFICATION , SAFETY , COMPUTER PROGRAM RELIABILITY


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE