Use this URL to cite or link to this record in EThOS:
Title: Formal transformation methods for automated fault tree generation from UML diagrams
Author: Roslan, Rosmira
ISNI:       0000 0004 8510 0253
Awarding Body: Loughborough University
Current Institution: Loughborough University
Date of Award: 2019
Availability of Full Text:
Access from EThOS:
Access from Institution:
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.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
Keywords: Formal transformation methods ; Fault Tree ; UML Diagrams