Loughborough University
Thesis Corrections.pdf (5.43 MB)

Formal transformation methods for automated fault tree generation from UML diagrams

Download (5.43 MB)
posted on 2020-02-06, 09:04 authored by Rosmira Roslan
With a growing complexity in safety critical systems, engaging Systems Engineering with System Safety Engineering as early as possible in the system life cycle becomes ever more important to ensure system safety during system development. Assessing the safety and reliability of system architectural design at the early stage of the system life cycle can bring value to system design by identifying safety issues earlier and maintaining safety traceability throughout the design phase. However, this is not a trivial task and can require upfront investment. Automated transformation from system architecture models to system safety and reliability models offers a potential solution. However, existing methods lack of formal basis. This can potentially lead to unreliable results. Without a formal basis, Fault Tree Analysis of a system, for example, even if performed concurrently with system design may not ensure all safety critical aspects of the design. [Continues.]



  • Mechanical, Electrical and Manufacturing Engineering


Loughborough University

Rights holder

© Rosmira Roslan

Publication date



A Doctoral Thesis. Submitted in partial fulfilment of the requirements for the award of the degree of Doctor of Philosophy of Loughborough University.


  • en


Charles E. Dickerson ; Siyuan Ji

Qualification name

  • PhD

Qualification level

  • Doctoral