Rigorous Systems Engineering of Cyber-Physical Systems

  • Date May17, 2018
  • Hour 5 pm
  • Room GSSI Main Lecture Hall
  • Speaker Ezio Bartocci (TU Wien, Austria)
  • Area Computer Science


The proliferation of smart cyber-physical systems (CPS) is driven by many application domains and is deeply affecting our society. For instance, unmanned aerial vehicles are being deployed in search and rescue missions. Wireless sensor networks are becoming widely used for health, environment and industrial monitoring. Autonomous cars have been subjected to intensive research and development in the past years, with the motivation to minimize human-caused accidents.

The term CPS was first coined in 2006 by the program director of the US NSF Helen Gill, to indicate “engineering, physical and biological systems whose operations are integrated, monitored, and/or controlled by a computational core" where computing is deeply embedded into every physical component, possibly even into materials. The CPS behaviour is typically characterized by the nonlinear (often stochastic) interaction between discrete (computing device) and the physical substratum that obeys to continuous physical laws. CPS display emergent behaviours (i.e., traffic jams, congestion) resulting from the interactions among system components, and which cease to exist when specific components are removed from the systems.

As the complexity of these systems increases, so does the range of spatial and temporal emergent behavioural properties that they can exhibit. As a consequence, a major research challenge is to devise tools and techniques for the efficient and rigorous analysis of such behaviours, in addition to develop design techniques for the automatic optimization and adaptation of CPS to meet the desired temporal and spatial requirements. This talk will provide an overview of some of the techniques that we have developed to address these problems.