Corpus ID: 31848379

A Framework for Hazard Analysis of Safety-Critical Computer Controlled Systems

  title={A Framework for Hazard Analysis of Safety-Critical Computer Controlled Systems},
  author={Kadupukotla Satish Kumar and P. Ramaiah},
Safety-Critical Computer Controlled Systems (SCCCS) are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. There are many well known examples in application areas such as medical devices, aircraft flight control, weapons, and nuclear systems. These systems consist of a set of functional elements, controlled by embedded processors that together achieve a common objective. Most softwarerelated accidents occurred in SCCCS by… Expand

Figures and Tables from this paper


Safety critical systems: challenges and directions
  • J. Knight
  • Engineering, Computer Science
  • Proceedings of the 24th International Conference on Software Engineering. ICSE 2002
  • 2002
From a software perspective, developing safety-critical systems in the numbers required and with adequate dependability is going to require significant advances in areas such as specification, architecture, verification and the software process. Expand
Analyzing software requirements errors in safety-critical, embedded systems
  • R. Lutz
  • Computer Science
  • [1993] Proceedings of the IEEE International Symposium on Requirements Engineering
  • 1993
The root causes of safety-related software errors in safety-critical embedded systems are analyzed. The results show that software errors identified as potentially hazardous to the system tend to beExpand
Automated aspect-oriented decomposition of process-control systems for ultra-high dependability assurance
This decomposition method is applied to a case study specified by the High-Integrity Systems group at Sandia National Labs, which involves the control of a future version of the Bay Area Rapid Transit (BART) system. Expand
Engineering a Safer World: Systems Thinking Applied to Safety
A new approach to safety, based on systems thinking, that is more effective, less costly, and easier to use than current techniques.Engineering has experienced a technological revolution, but theExpand
Generalized Stochastic Petri Nets for Reliability Analysis of Lube Oil System with Common-Cause Failures
The proposed GSPN is a pro mising tool that can be conveniently used to model and analyze any co-plex systems and the superiority of this approach over others such as network, fault tree and Markov analysis are outlined. Expand
Introduction to Embedded Systems - A Cyber-Physical Systems Approach
The most visible use of computers and software is processing information for human consumption. The vast majority of computers in use, however, are much less visible. They run the engine, brakes,Expand
Software safety: current status and future direction
The author believes that the key to making safer and cheaper software is to have better requirements validation that ensure that the requirements are correct and complete before the design and coding phases begin. Expand
Software Safety And Reliability Techniques Approaches And Standards Of Key Industrial Sectors
Thank you for reading software safety and reliability techniques approaches and standards of key industrial sectors. As you may know, people have look numerous times for their chosen books like thisExpand
Design Techniques and Applications of Cyberphysical Systems: A Survey
The aim of this survey is to enable researchers and system designers to get insights into the working and applications of CPSs and motivate them to propose novel solutions for making wide-scale adoption of CPS a tangible reality. Expand
Applied Cyber-Physical Systems
Applied Cyber-Physical Systems presents the latest methods and technologies in the area of cyber-physical systems including medical and biological applications. Cyber-physical systems (CPS) integrateExpand