Towards integrated safety analysis and design
ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Hazard Analysis in Object Oriented Design of Dependable Systems
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
SafeSpection --- A Systematic Customization Approach for Software Hazard Identification
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Integrating Safety Analyses and Component-Based Design
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Modelling Support for Design of Safety-Critical Automotive Embedded Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Component-Based Abstraction in Fault Tree Analysis
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Integrating system modelling with safety activities
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Fault tree synthesis from UML models for reliability analysis at early design stages
ACM SIGSOFT Software Engineering Notes
The EAST-ADL architecture description language for automotive embedded software
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Security based survivability risk analysis with extended HQPN
Proceedings of the 5th International Conference on Ubiquitous Information Management and Communication
Model-based multi-objective safety optimization
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Assessment of hazard identification methods for the automotive domain
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
An automated dependability analysis method for COTS-based systems
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Model-based safety analysis of simulink models using SCADE design verifier
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Conditional Safety Certification of Open Adaptive Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
| Hi-index | 0.02 |
This paper introduces a new method for safety analysis called HiPHOPS (Hierarchically Performed Hazard Origin and Propagation Studies). HiP-HOPS originates from a number of classical techniques such as Functional Failure Analysis, Failure Mode and Effects Analysis and Fault Tree Analysis. However, it extends, automates and integrates these techniques in order to address some of the problems currently encountered in complex safety assessments. The method enables integrated assessment of a complex system from the functional level through to the low level of component failure modes. It mechanises and simplifies a large part of the analysis, the development of fault trees, and can guarantee the consistency of results. HiP-HOPS is currently supported by a tool called the Safety Argument Manager (SAM). In this paper we introduce the method and we show how it has helped us analyse and improve the safety of a distributed brake-by-wire system for cars.