International Conference on Software Engineering and Formal Methods

Software Engineering and Formal Methods pp 43-52

Behavioral Types for Component-Based Development of Cyber-Physical Systems

Conference paper

DOI: 10.1007/978-3-662-49224-6_5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9509)
Cite this paper as:
Blech J.O., Herrmann P. (2015) Behavioral Types for Component-Based Development of Cyber-Physical Systems. In: Bianculli D., Calinescu R., Rumpe B. (eds) Software Engineering and Formal Methods. Lecture Notes in Computer Science, vol 9509. Springer, Berlin, Heidelberg


Spatial behavioral types encode information on the tempo-spatial behavior of components acting in the physical space. That makes it possible to utilize the well established concept of type systems with its well studied benefits for programming languages, e.g., fast automatic detection of incompatibilities and coercion, also in the cyber-physical world of domains such as embedded systems. So, spatial behavioral types support development and better maintenance of systems leading to a reduction of errors, improvement of safety and, in consequence, lower expenditure. In this position paper, we summarize existing work and develop our ideas for a spatial behavioral type concept. In particular, we turn our attention to making the spatial behavioral types easily usable by non-experts. Besides of a semantics that resembles traditional types systems, our method offers a syntax based on easily comprehensible regular expressions while systems can be verified using fully-automatic tools.

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  1. 1.RMIT UniversityMelbourneAustralia
  2. 2.NTNUTrondheimNorway

Personalised recommendations