@inproceedings{f7befb82931d4f378ac00ae7f1d67334,
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",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2017.; 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016 ; Conference date: 14-11-2016 Through 15-11-2016",
year = "2017",
doi = "10.1007/978-3-319-53946-1\_7",
language = "英语",
isbn = "9783319539454",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "109--125",
editor = "Olveczky, \{Peter Csaba\} and Cyrille Artho",
booktitle = "Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Revised Selected Papers",
address = "德国",
}