Component-based HazOp and fault tree analysis in developing embedded real-time systems with UML

Authors:
Shourong Lu;Wolfgang A. Halang;Janusz Zalewski
Affiliations:
Faculty of Electrical and Computer Engineering, Fernuniversität in Hagen, Hagen, Germany;Faculty of Electrical and Computer Engineering, Fernuniversität in Hagen, Hagen, Germany;Department of Computer Science, Florida Gulf Coast University, Ft. Myers, FL
Venue:
ICECS'05 Proceedings of the 4th WSEAS international conference on Electronics, control and signal processing
Year:
2005

Citing 5
Cited 0

Safeware: system safety and computers

Safeware: system safety and computers
Real-time UML (2nd ed.): developing efficient objects for embedded systems

Real-time UML (2nd ed.): developing efficient objects for embedded systems
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Component-Based Design: Towards Guided Composition

ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
A new component concept for fault trees

SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33

Quantified Score

Hi-index	0.00

Visualization

Abstract

Hazard and Operability (HazOp) and Fault Tree Analyses (FTA) are embedded into UML component models. The latter are constructed by employing UML's extension mechanisms in conjunction with component-based software techniques. Taking an application's safety-related requirements into consideration, the elements of HazOp and FTA are defined as component attributes, and assigned to a UML component model, which is collected in a UML profile for safety analyses and architectural design. Based on the thus enhanced architecture specification of the UML component model, it becomes possible to handle hazard analyses and to model safety mechanisms at the same time.