Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks
- Submitting institution
-
The University of Hull
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 585789
- Type
- D - Journal article
- DOI
-
10.1016/j.ssci.2018.02.001
- Title of journal
- Safety Science
- Article number
- -
- First page
- 55
- Volume
- 105
- Issue
- -
- ISSN
- 0925-7535
- Open access status
- Access exception
- Month of publication
- February
- 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
-
-
- Research group(s)
-
-
- Citation count
- 30
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The paper makes a fundamental contribution to automatic model-based safety assessment of dynamic systems in general, and within HiP-HOPS in particular. It informed advanced work on data-driven reliability-centred maintenance planning in wind farms through AURA (https://www.hull.ac.uk/work-with-us/research/case-studies/aura) and DREAM (https://yipapadopoulos.wixsite.com/yiap/dream) projects. The work has also contributed to extensions to the safety annex of the EAST-ADL language (http://www.east-adl.info/Specification.html) and the Open Dependability Exchange (ODE) Metamodel to support assessment of dynamic systems. Bayesian nets have been used in subsequent research for runtime certification (output also submitted to REF2021) and it contributes to the BIOLOGIC ICS.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
