Deriving specifications of control programs for cyber physical systems
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 262973-62497-1292
- Type
- D - Journal article
- DOI
-
10.1093/comjnl/bxz019
- Title of journal
- The Computer Journal
- Article number
- -
- First page
- 774
- Volume
- 63
- Issue
- 5
- ISSN
- 0010-4620
- Open access status
- Compliant
- Month of publication
- April
- Year of publication
- 2019
- URL
-
https://doi.org/10.1093/comjnl/bxz019
- 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
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Formal methods address development from specification to code – this ignores the issue of how to get the specification “right”. For the important class of Cyber-Physical Systems, this paper tackles deriving the control program specification from that of the real-world system behaviour. Crucially, here the fruitful collaboration with Hayes (Australia) is combined with Burn’s (York) “Timebands framework”. Following on from this Jones and Burns have applied the ideas to Mixed Criticality Scheduling (together with Baruah (USA)) one workshop paper has been published on this new avenue and another is ready for submission.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -