An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 12 - Engineering
- Output identifier
- 228455-89737-1293
- Type
- D - Journal article
- DOI
-
10.1007/s00165-016-0405-z
- Title of journal
- Formal Aspects of Computing
- Article number
- -
- First page
- 251
- Volume
- 29
- Issue
- 2
- ISSN
- 0934-5043
- Open access status
- Compliant
- Month of publication
- January
- Year of publication
- 2017
- URL
-
http://dx.doi.org/10.1007/s00165-016-0405-z
- 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 is a key outcome of EPSRC grant UNCOVER (EP/K001698/1), Royal Society Research Grant ‘Computation Alive’, as well as FP7 and Horizon 2020 programmes (287829 COMPASS, 644047 INTO-CPS, and 644400 CPSE Labs), offering important practical examples of dependable systems applications from biomedical implants to spacecraft. Systems are expected to have significant evolution in their requirements during lifetime. It is impossible to foresee all such requirements at design time. This 57-page paper, compares three formalisms for modelling and analysis of dynamic reconfiguration of dependable systems, and evaluates them according to their ability to verify system reconfiguration.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -