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

Conference paper

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

Part of the Communications in Computer and Information Science book series (CCIS, volume 694)
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

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.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.School of Computer ScienceUniversity of ManchesterManchesterUK
  2. 2.Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Laboratory of Trustworthy Software, International Research Center of Trustworthy SoftwareEast China Normal UniversityShanghaiChina

Personalised recommendations