A formal transformation method for automated fault tree generation from a UML activity model
- Submitting institution
-
Loughborough University
- Unit of assessment
- 12 - Engineering
- Output identifier
- 684
- Type
- D - Journal article
- DOI
-
10.1109/TR.2018.2849013
- Title of journal
- IEEE Transactions on Reliability
- Article number
- -
- First page
- 1219
- Volume
- 67
- Issue
- 3
- ISSN
- 0018-9529
- Open access status
- Compliant
- Month of publication
- July
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper impacts the state of the art by demonstrating the formal transformations of structure in system behaviour into fault tree structures and probabilities. These methods are being considered by Airbus in Toulouse, France, and Rolls-Royce in the UK. Deployment into industry also includes post graduate apprenticeship and professional development programs in safety critical systems at the Universities of York and Loughborough.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
