Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems
- First Online:
- Cite this paper as:
- Banach R., Zhu H. (2017) Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. In: Artho C., Ölveczky P. (eds) Formal Techniques for Safety-Critical Systems. FTSCS 2016. Communications in Computer and Information Science, vol 694. Springer, Cham
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.