Analysis of safety-critical control software for a missile test facility
- Naval Postgraduate School, Monterey, CA (United States). Computer Science Dept.
As the functionality required of control systems has increased in complexity, digital computer systems have increasingly been incorporated in their design. For control systems that generate or direct large amounts of energy, the safety of these control systems and of the software incorporated in these control systems has become of increasing concern. Several techniques have been developed to evaluate the safety of software in computer-controlled systems. This paper describes a safety evaluation technique as applied to a specific safety-critical system. The next section of this paper describes the safety-critical system, the Missile Encounter Simulation Arena (MESA), identifying the hardware structure, the software architecture and the safety concerns inherent in the system. The following section describes the fault tree technique that was used to address a safety concerns by analysis of the control software, including description of the semi-automated tools used in the analysis. The paper concludes with discussion of the application of these results. This paper is a brief summary of the work performed; full details are available in thesis form.
- OSTI ID:
- 382848
- Report Number(s):
- CONF-960154--; ISBN 0-9648731-8-4
- Country of Publication:
- United States
- Language:
- English
Similar Records
Formal methods in the development of safety critical software systems. Version 3.0
Formal methods in the development of safety critical software systems