Loughborough University
Browse
1804.11296v1.pdf (801.6 kB)

A formal transformation method for automated fault tree generation from a UML activity model

Download (801.6 kB)
journal contribution
posted on 2018-08-13, 08:35 authored by Charles DickersonCharles Dickerson, Rosmira Roslan, Siyuan JiSiyuan Ji
IEEE Fault analysis and resolution of faults should be part of any end-to-end system development process. This paper is concerned with developing a formal transformation method that maps control flows modeled in unified modeling language activities to semantically equivalent fault trees. The transformation method developed features the use of propositional calculus and probability theory. Fault propagation chains are introduced to facilitate the method. An overarching metamodel comprised of transformations between models is developed and is applied to an understood traffic management system of systems problem to demonstrate the approach. In this way, the relational structure of the system behavior model is reflected in the structure of the fault tree. The paper concludes with a discussion of limitations of the transformation method and proposes approaches to extend it to object flows, state machines, and functional allocations.

Funding

This work was supported in part by the Program for Simulation Innovation (PSi), a partnership between Jaguar Land Rover and UK EPSRC under Grant EP/K014226/1.

History

School

  • Mechanical, Electrical and Manufacturing Engineering

Published in

IEEE Transactions on Reliability

Volume

67

Issue

3

Pages

1219 - 1236

Citation

DICKERSON, C.E., ROSLAN, R. and JI, S., 2018. A formal transformation method for automated fault tree generation from a UML activity mode. IEEE Transactions on Reliability, 67(3), pp. 1219-1236.

Publisher

© IEEE

Version

  • AM (Accepted Manuscript)

Acceptance date

2018-06-06

Publication date

2018-07-09

Notes

Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

ISSN

0018-9529

eISSN

1558-1721

Language

  • en