Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Real-time object-oriented modeling
Real-time object-oriented modeling
Self-adaptive software for signal processing
Communications of the ACM
Towards integrated safety analysis and design
ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Modern Control Engineering
A comprehensive product line scoping approach and its validation
Proceedings of the 24th International Conference on Software Engineering
Quantifying Product Line Benefits
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
Software technology in an automotive company: major challenges
Proceedings of the 25th International Conference on Software Engineering
Trends in system safety: a European view?
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Combining extended UML models and formal methods to analyze real-time systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Safety of component-based systems: analysis and improvement using Fujaba4Eclipse
Companion of the 30th international conference on Software engineering
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Fujaba4eclipse real-time tool suite
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Component-based timed hazard analysis of self-healing systems
Proceedings of the 8th workshop on Assurances for self-adaptive systems
Hi-index | 0.00 |
Software plays an important role in the safety of today's systems and is increasingly used to create system with variants in form of product families or systems with online-reconfiguration in a cost-efficient manner. Therefore, the required hazard analysis has to consider not only a concrete system and its embedded software but also the different software configurations. We present several extensions to an existing component-based hazard analysis approach. At first, our approach permits to identify the optimal design variant w.r.t. the probabilities of the considered hazard. As the number of variants in a product family is often enormous, our approach secondly supports the hazard analysis of a whole product family at once. The analysis identifies the variant or combination of variants with the worst hazard probability. Finally, we show that also the hazards of systems with online-reconfiguration can be analyzed using the presented approach.