By the same authors

From the same journal

Deriving specifications of control programs for cyber physical systems

Research output: Contribution to journalArticlepeer-review

Standard

Deriving specifications of control programs for cyber physical systems. / Burns, Alan; Hayes, Ian; Jones, Cliff.

In: Computer journal, 30.04.2019.

Research output: Contribution to journalArticlepeer-review

Harvard

Burns, A, Hayes, I & Jones, C 2019, 'Deriving specifications of control programs for cyber physical systems', Computer journal. https://doi.org/10.1093/comjnl/bxz019

APA

Burns, A., Hayes, I., & Jones, C. (2019). Deriving specifications of control programs for cyber physical systems. Computer journal. https://doi.org/10.1093/comjnl/bxz019

Vancouver

Burns A, Hayes I, Jones C. Deriving specifications of control programs for cyber physical systems. Computer journal. 2019 Apr 30. https://doi.org/10.1093/comjnl/bxz019

Author

Burns, Alan ; Hayes, Ian ; Jones, Cliff. / Deriving specifications of control programs for cyber physical systems. In: Computer journal. 2019.

Bibtex - Download

@article{6d3e8b4fc6b24213a184e6b0ae0aa9e5,
title = "Deriving specifications of control programs for cyber physical systems",
abstract = "Cyber Physical Systems (CPS) exist in a physical environment andcomprise both physical components and a control program.Physical components are inherentlyliable to failure and yet an overall CPS is required to operate safely, reliably and costeffectively. This paper proposes a framework for deriving the specificationof the software control component of a CPS from an understanding of the behaviour requiredof the overall system in its physical environment.The two key elements of thisframework are (i) an extension to the use of rely/guarantee conditions toallow specifications to be obtained systematicallyfrom requirements (as expressed in terms of the required behaviour in the environment)and nested assumptions (about the physical components of the CPS); and (ii) the use oftime bands to record the temporal properties required of the CPS at a number of differentgranularities.The key contribution is in combining these ideas;using time bands overcomes a significant drawback in earlier work.The paper also addresses the means by which the reliability ofa CPS can be addressed by challenging each rely condition in the derived specificationand, where appropriate, improve robustness and/or define weaker guarantees thatcan be delivered with respect to the corresponding weaker rely conditions.",
author = "Alan Burns and Ian Hayes and Cliff Jones",
note = "{\textcopyright} The British Computer Society 2019. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details.",
year = "2019",
month = apr,
day = "30",
doi = "10.1093/comjnl/bxz019",
language = "English",
journal = "Computer journal",
issn = "0010-4620",
publisher = "Oxford University Press",

}

RIS (suitable for import to EndNote) - Download

TY - JOUR

T1 - Deriving specifications of control programs for cyber physical systems

AU - Burns, Alan

AU - Hayes, Ian

AU - Jones, Cliff

N1 - © The British Computer Society 2019. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

PY - 2019/4/30

Y1 - 2019/4/30

N2 - Cyber Physical Systems (CPS) exist in a physical environment andcomprise both physical components and a control program.Physical components are inherentlyliable to failure and yet an overall CPS is required to operate safely, reliably and costeffectively. This paper proposes a framework for deriving the specificationof the software control component of a CPS from an understanding of the behaviour requiredof the overall system in its physical environment.The two key elements of thisframework are (i) an extension to the use of rely/guarantee conditions toallow specifications to be obtained systematicallyfrom requirements (as expressed in terms of the required behaviour in the environment)and nested assumptions (about the physical components of the CPS); and (ii) the use oftime bands to record the temporal properties required of the CPS at a number of differentgranularities.The key contribution is in combining these ideas;using time bands overcomes a significant drawback in earlier work.The paper also addresses the means by which the reliability ofa CPS can be addressed by challenging each rely condition in the derived specificationand, where appropriate, improve robustness and/or define weaker guarantees thatcan be delivered with respect to the corresponding weaker rely conditions.

AB - Cyber Physical Systems (CPS) exist in a physical environment andcomprise both physical components and a control program.Physical components are inherentlyliable to failure and yet an overall CPS is required to operate safely, reliably and costeffectively. This paper proposes a framework for deriving the specificationof the software control component of a CPS from an understanding of the behaviour requiredof the overall system in its physical environment.The two key elements of thisframework are (i) an extension to the use of rely/guarantee conditions toallow specifications to be obtained systematicallyfrom requirements (as expressed in terms of the required behaviour in the environment)and nested assumptions (about the physical components of the CPS); and (ii) the use oftime bands to record the temporal properties required of the CPS at a number of differentgranularities.The key contribution is in combining these ideas;using time bands overcomes a significant drawback in earlier work.The paper also addresses the means by which the reliability ofa CPS can be addressed by challenging each rely condition in the derived specificationand, where appropriate, improve robustness and/or define weaker guarantees thatcan be delivered with respect to the corresponding weaker rely conditions.

U2 - 10.1093/comjnl/bxz019

DO - 10.1093/comjnl/bxz019

M3 - Article

JO - Computer journal

JF - Computer journal

SN - 0010-4620

ER -