Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems

Richard Banach; Huibiao Zhu

doi:10.1007/978-3-319-53946-1_7

Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems

Richard Banach, Huibiao Zhu

Software Engineering Institute, East China Normal University

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

187 Downloads (Pure)

Abstract

In the effort to develop critical cyberphysical systems, existing computing formalisms are extended to include continuous behaviour. This may happen in a way that neglects elements necessary for correct continuous properties and correct physical properties. A simple language is taken to illustrate this. Issues and risks latent in this kind of approach are identified and discussed under the umbrella of ‘healthiness conditions’. Modifications to the language in the light of the conditions discussed are described. An example air conditioning system is used to illustrate the concepts presented, and is developed both in the original language and in the modified version.

Original language	English
Title of host publication	FTSCS 2016: Formal Techniques for Safety-Critical Systems
DOIs	https://doi.org/10.1007/978-3-319-53946-1_7
Publication status	Published - 2017
Event	FTSCS 2016 Fifth International Workshop on Formal Techniques for Safety-Critical Systems - TKP Conference Centre, Tokyo, Japan Duration: 14 Nov 2016 → 14 Nov 2016 http://www.ftscs.org/

Publication series

Name	International Workshop on Formal Techniques for Safety-Critical Systems

Conference

Conference	FTSCS 2016 Fifth International Workshop on Formal Techniques for Safety-Critical Systems
Abbreviated title	FTSCS 2016
Country/Territory	Japan
City	Tokyo
Period	14/11/16 → 14/11/16
Internet address	http://www.ftscs.org/

Access to Document

10.1007/978-3-319-53946-1_7

SeqParHlth4CPSAccepted author manuscript, 201 KB

Cite this

@inproceedings{9b36090adc0844f88c80e80ef21daf99,

title = "Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems",

abstract = "In the effort to develop critical cyberphysical systems, existing computing formalisms are extended to include continuous behaviour. This may happen in a way that neglects elements necessary for correct continuous properties and correct physical properties. A simple language is taken to illustrate this. Issues and risks latent in this kind of approach are identified and discussed under the umbrella of {\textquoteleft}healthiness conditions{\textquoteright}. Modifications to the language in the light of the conditions discussed are described. An example air conditioning system is used to illustrate the concepts presented, and is developed both in the original language and in the modified version.",

author = "Richard Banach and Huibiao Zhu",

year = "2017",

doi = "10.1007/978-3-319-53946-1_7",

language = "English",

series = "International Workshop on Formal Techniques for Safety-Critical Systems",

booktitle = "FTSCS 2016: Formal Techniques for Safety-Critical Systems",

note = "FTSCS 2016 Fifth International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016 ; Conference date: 14-11-2016 Through 14-11-2016",

url = "http://www.ftscs.org/",

}

Banach, R & Zhu, H 2017, Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. in FTSCS 2016: Formal Techniques for Safety-Critical Systems. International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016 Fifth International Workshop on Formal Techniques for Safety-Critical Systems, Tokyo, Japan, 14/11/16. https://doi.org/10.1007/978-3-319-53946-1_7

Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. / Banach, Richard; Zhu, Huibiao.
FTSCS 2016: Formal Techniques for Safety-Critical Systems. 2017. (International Workshop on Formal Techniques for Safety-Critical Systems).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems

AU - Banach, Richard

AU - Zhu, Huibiao

PY - 2017

Y1 - 2017

N2 - In the effort to develop critical cyberphysical systems, existing computing formalisms are extended to include continuous behaviour. This may happen in a way that neglects elements necessary for correct continuous properties and correct physical properties. A simple language is taken to illustrate this. Issues and risks latent in this kind of approach are identified and discussed under the umbrella of ‘healthiness conditions’. Modifications to the language in the light of the conditions discussed are described. An example air conditioning system is used to illustrate the concepts presented, and is developed both in the original language and in the modified version.

AB - In the effort to develop critical cyberphysical systems, existing computing formalisms are extended to include continuous behaviour. This may happen in a way that neglects elements necessary for correct continuous properties and correct physical properties. A simple language is taken to illustrate this. Issues and risks latent in this kind of approach are identified and discussed under the umbrella of ‘healthiness conditions’. Modifications to the language in the light of the conditions discussed are described. An example air conditioning system is used to illustrate the concepts presented, and is developed both in the original language and in the modified version.

U2 - 10.1007/978-3-319-53946-1_7

DO - 10.1007/978-3-319-53946-1_7

M3 - Conference contribution

T3 - International Workshop on Formal Techniques for Safety-Critical Systems

BT - FTSCS 2016: Formal Techniques for Safety-Critical Systems

T2 - FTSCS 2016 Fifth International Workshop on Formal Techniques for Safety-Critical Systems

Y2 - 14 November 2016 through 14 November 2016

ER -

Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this