Augmenting a Hazard Analysis Method with Error Propagation Information for Safety-Critical Systems

Fryad Rashid; John McGregor

doi:10.56094/jss.v54i2.72

Authors

Dr. Fryad Rashid Komar University of Science and Technology
Dr. John D. McGregor Clemson University

DOI:

https://doi.org/10.56094/jss.v54i2.72

Keywords:

STPA, error propagation, error ontology, safety architecture

Abstract

Safety-critical system development requires an explicit design to manage component failures and unanticipated conditions of abnormal interaction between system components as hazards that affect the safety and reliability of the system. The potential effects of residual hazards in the operational system context must be reduced to an acceptable level of risk. System reliability focuses on providing continued operational capability in spite of failures. System safety focuses on unsafe conditions because of failures and unpredicted interactions between system components.

Author Biographies

Dr. Fryad Rashid, Komar University of Science and Technology

Fryad M. Rashid is a Ph.D. student in Clemson University’s Computer Science Department. He is doing research in the Strategic Software Engineering Research Group (SSERG). He is interested in developing safety analysis methods for safety-critical systems, cyber-physical systems and real-time embedded systems. He has used AADL/OSATE for system development in software/system architecture, and software verification and validation.

Dr. John D. McGregor, Clemson University

Dr. John D. McGregor is an associate professor emeritus of computer science at Clemson University in Clemson, South Carolina, a visiting scientist at the Software Engineering Institute and a partner in Luminary Software, a software/systems engineering consulting firm. He regularly engages large software development organizations at all levels from strategic totactical to the concrete. His research interests include highly-reliable software-intensive systems, software product lines, socio-technical ecosystems, model-driven development and software/system architecture. He serves on the program committee of six to 10 conferences per year and researches, writes and practices strategic software engineering. His consulting has included satellite operating systems, telephony infrastructure, cell phones, software certification and software-defined radios. His latest book is A Practical Guide to Testing Object-Oriented Software (Addison-Wesley 2001).