Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure |
| |
| Authors: | Y Papadopoulos J McDermid R Sasse G Heiner |
| |
| Affiliation: | 1. School of Software, Shanxi University, Taiyuan 030006, PR China;2. School of Mathematical Sciences, Shanxi University, Taiyuan 030006, PR China;1. Department of Computer Science and Engineering, University of Kalyani, Nadia – 741235, India;2. Department of Information Technology, Indian Institute of Engineering Science and Technology, Shibpur, Howrah – 711103, India;1. Faculty of Computer Engineering, University of Isfahan, Hezar-Jerib St., Isfahan 81746-73441, Iran;2. Department of Computer Engineering, Sungkyunkwan University, 2066 Seobu-ro, Suwon 440-746, Republic of Korea;1. Department of Applied Chemistry, Building Los Acebos, Public University of Navarra, Campus of Arrosadía, E-31006 Pamplona, Spain;2. Department of Inorganic Chemistry, Faculty of Chemical Science, Square of Merced, University of Salamanca, E-37008 Salamanca, Spain |
| |
| Abstract: | This paper introduces a new method for safety analysis which modifies, automates and integrates a number of classical safety analysis techniques to address some of the problems currently encountered in complex safety assessments. The method enables the analysis of a complex programmable electronic system from the functional level through to low levels of its hardware and software implementation. In the course of the assessment, the method integrates design and safety analysis and harmonises hardware safety analysis with the hazard analysis of software architectures. It also introduces an algorithm for the synthesis of fault trees, which mechanises and simplifies a large and traditionally problematic part of the assessment, the development of fault trees. In this paper, we present the method and discuss its application on a prototypical distributed brake-by-wire system for cars. We argue that the method can help us rationalise and simplify an inherently creative and difficult task and therefore gain a consistent and meaningful picture of how a complex programmable system behaves in conditions of failure. |
| |
| Keywords: | Automated safety analysis Mechanical fault tree synthesis Software hazard analysis Safety cases |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
