Referenced Items are not available for this document.
A software safety analysis approach for distributed systems, based on a technique called component-message fault analysis, is presented. This technique checks the safety-critical logic, using the safety specification for different categories of component fault events, to uncover ambiguous safety requirements or design deficiencies. To demonstrate the power of this technique, a dual-purpose missile system is introduced and analyzed with regard to its software safety requirements.<
Published in:
Computer Assurance, 1988. COMPASS '88
Date of Conference: June 27 1988-July 1 1988
- Page(s):
- 29 - 43
- Meeting Date :
- 27 Jun 1988-01 Jul 1988
- INSPEC Accession Number:
- 3248217
- Conference Location :
- Gaithersburg, MD, USA
- Digital Object Identifier :
- 10.1109/CMPASS.1988.9635
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
