Abstract
This paper examines the characteristics of computer-controlled safety-critical systems (CCSCS) and analyzes the common causes for hazard in such systems. Based on this analysis, a set of prescriptive specifications are derived to guard the consistency between the computer controller and the physical system to be controlled. The feasibility and effectiveness of this approach is demonstrated by a comprehensive case study.
Chapter PDF
Similar content being viewed by others
References
Goel, A. L. (1985). Software reliability models: Assumptions, limitations, and applicability. IEEE Trans. on Software Engineering, 11 (12): 1411–1423.
Hecht, H. (1993). Rare conditions-an important cause of failures. In Proc. IEEE Computer Assurance, Security and Safety Conference, pages 81–85.
Henley, E. J. and Kumamoto, H. (1981). Reliability Engineering and Risk Assessment. Prentice-Hall, Englewood Cliffs, New Jersey.
Leveson, N. G. (1995). Safeware. Addison-Wesley.
Leveson, N. G. and Turner, C. (1993). An investigation of the therac-25 accidents. IEEE Computer, pages 19–41.
Mackenzie, D. (1994). Computer-related accidental death: An empirical exploration. Science and Public Policy, pages 233–248.
Parnas, D. L. and Madey, J. (1995). Functional documentation for computer systems. Sci. Comput. Program, 25 (1): 41–61.
Siu, N. (1994). Risk assessment for dynamic system: An overview. Reliability Engineering and System Safety, 43: 43–73.
Tian, J. (1995). Integrating time domain and input domain analyses of software reliability using tree-based models. IEEE Trans. on Software Engineering, 21 (12): 945–958.
Yih, S. (1996). Hazard Analysis and Prevention Techniques for Safety-Critical Computing
Systems. PhD thesis, Southern Methodist University, Dallas, Texas, U.S.A.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Yih, S., Tian, J. (1997). Prescriptive specification checking for hazard prevention in computer-controlled safety-critical systems. In: Gritzalis, D. (eds) Reliability, Quality and Safety of Software-Intensive Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35097-4_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-35097-4_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6399-7
Online ISBN: 978-0-387-35097-4
eBook Packages: Springer Book Archive