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
- 11 - Computer Science and Informatics
- Output identifier
- 228455-84703-1292
- 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)
-
A - Advanced Model-Based Engineering and Reasoning (AMBER)
- Citation count
- 2
- 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. The criteria for comparison advance the field and can be used by others to evaluate other formalisms, so the paper can provide practical guidance for engineers wishing to model dynamic reconfiguration while also providing rigorous proofs
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -