Design and Safety Assessment of Critical Systems

Bozzano, Marco; Villafiorita, Adolfo

doi:10.1201/b10094

Cited by 75 publications

(60 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Communication Plan Definition: Description of the activities targeted at creating project-wide awareness and involvement in the development of a critical system [9]. Configuration Management Plan Definition: Description of how identification, change control, status accounting, audit, and interface of a critical system will be governed [5] [4]. Artefacts: SCMP; version management; change control procedures.…”

Section: Acceptance Testing Results Definitionmentioning

confidence: 99%

“…After finding information that could be regarded as evidence in the publications, we classified it in different categories. From a (business) process perspective [5]:…”

Section: Discussionmentioning

confidence: 99%

“…A safety-critical system is one whose failure may cause death or injury to people, harm to the environment, or substantial economic loss [5]. In domains such as aviation, railway, and automotive, such systems are typically subject to a rigorous safety assessment process.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

An extended systematic literature review on provision of evidence for safety certification

Nair

Vara

Sabetzadeh³

et al. 2014

Information and Software Technology

View full text Add to dashboard Cite

Abstract:Context: Critical systems in domains such as aviation, railway, and automotive are often subject to a formal process of safety certification. The goal of this process is to ensure that these systems will operate safely without posing undue risks to the user, the public, or the environment. Safety is typically ensured via complying with safety standards. Demonstrating compliance to these standards involves providing evidence to show that the safety criteria of the standards are met. Objective:In order to cope with the complexity of large critical systems and subsequently the plethora of evidence information required for achieving compliance, safety professionals need in-depth knowledge to assist them in classifying different types of evidence, and in structuring and assessing the evidence. This paper is a step towards developing such a body of knowledge that is derived from a largescale empirically rigorous literature review. Method:We use a Systematic Literature Review (SLR) as the basis for our work. The SLR builds on 218 peer-reviewed studies, selected through a multi-stage process, from 4,963 studies published between 1990 and 2012. Results:We develop a taxonomy that classifies the information and artefacts considered as evidence for safety. We review the existing techniques for safety evidence structuring and assessment, and further study the relevant challenges that have been the target of investigation in the academic literature. We analyse commonalities in the results among different application domains and discuss implications of the results for both research and practice. Conclusion:The paper is, to our knowledge, the largest existing study on the topic of safety evidence. The results are particularly relevant to practitioners seeking a better grasp on evidence requirements as well as to researchers in the area of system safety. As a major finding of the review, the results strongly suggest the need for more practitioner-oriented and industry-driven empirical studies in the area of safety certification.

show abstract

Section: Acceptance Testing Results Definitionmentioning

confidence: 99%

“…After finding information that could be regarded as evidence in the publications, we classified it in different categories. From a (business) process perspective [5]:…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

An extended systematic literature review on provision of evidence for safety certification

Nair

Vara

Sabetzadeh³

et al. 2014

Information and Software Technology

View full text Add to dashboard Cite

show abstract

“…A system-even a so-called "safetycritical" one-could be regarded as "safe for purpose" if the expected time before it fails greatly exceeds its expected total duration of use, or if the consequences of such a failure are not at all serious. A much more detailed discussion of reliability theory in the context of safety-critical and similar systems can be found in [35][36][37]. The primary aim of this paper is to raise awareness of this type of approach.…”

Section: Introductionmentioning

confidence: 99%

The application of statistical reliability theory in the context of Intelligent Environments: a tutorial review

Hunter

2015

J Reliable Intell Environ

View full text Add to dashboard Cite

Intelligent Environments often require the integration of multi-modal sensing and actuating technologies with high performance real-time computation, including artificial intelligence systems for analysis, learning patterns and reasoning. Such systems may be complex, and involve multiple components. However, in order to make them affordable, Intelligent Environments sometimes require many of their individual components to be low-cost. Nevertheless, in many applications-including safety-critical systems, and systems monitoring the health and well-being of vulnerable individuals, it is essential that these Intelligent Environment systems are reliable, which the issue of affordability must not compromise. If such environments are to find real application and deployment in these types of domain, it is necessary to be able to obtain accurate predictions of how probable any potential failure of the system is in any given timeframe, and of statistical parameters regarding the expected time to the first, or between successive, failures. Such quantities must be kept within what are deemed to be acceptable tolerances if the Intelligent Environment is to be suitable for applications in these critical areas, without requiring excessively high levels of human monitoring and/or intervention. In this paper, an introductory overview of statistical reliability theory is presented. The applicability of this to the context of Intelligent Environments-particularly those involving safety critical or other sensitive issues-is discussed, along with how such reliability modelling can be used to influence the design, implementation and application of an Intelligent Environment.

show abstract

“…Dale (2009) [18] wrote a book which defines safety-critical systems and the processes which can be used to solve issues related to safety. Bozzano (2010) [15] contributed to the safety assessment of critical systems with a book focused on techniques and methods for dependability, reliability, and safety assessment [15]. Illiashenko (2012) [14] [16].…”

Section: Introductionmentioning

confidence: 99%

Software Safety Analysis of Ball Position Control System using SFMEA

Kumar¹,

Ramaiah²

2016

IJCA

View full text Add to dashboard Cite

Software Failure Modes and Effects Analysis (SFMEA) is a traditional system safety analysis technique which is widely used in the aerospace, automotive and other safety-critical intensive systems. However, traditional FMEA methods are difficult to identify and analyzing the failure modes which caused by the dynamic logical information between interfaces or functions, such as softwarehardware interaction. To intuitively assume the effects of module failures in a system, numerous approaches have been proposed. This work addresses the use of SFMEA by using an experiment for safety-critical embedded control systems. The work presented here provides a general example illustrating how SFMEA can be effectively applied to an 8-bit micro-controller (Chip 89S52) based computer control system having little or no hardware protection. This paper also describes Functional FMEA, interface FMEA, and detailed software FMEAs. The experimental results of SFMEA also found the hardware failures and memory faults. The safety analysis reveals several design deficiencies and physical faults for which modifications are needed. This paper also found that, when properly implemented SFMEA at the right point in the Software Development Life cycle, it makes requirements, design and code reviews more effective. It also identifies single point failures due to software.

show abstract

Design and Safety Assessment of Critical Systems

Cited by 75 publications

References 0 publications

An extended systematic literature review on provision of evidence for safety certification

An extended systematic literature review on provision of evidence for safety certification

The application of statistical reliability theory in the context of Intelligent Environments: a tutorial review

Software Safety Analysis of Ball Position Control System using SFMEA

Contact Info

Product

Resources

About