Component-based HazOp and fault tree analysis in developing embedded real-time systems with UML
Shourong Lu, Wolfgang A. Halang, Janusz Zalewski · 2005
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.