Events Detail

Speaker:
Ezio Bartocci, Vienna University of Technology

Ezio Bartocci is an Associate Professor in the Faculty of Informatics at Vienna University of Technology. The primary focus of his research is to develop formal methods, computational tools and techniques that support the modeling and the automated analysis of complex computational systems, including software systems, cyber-physical systems and biological systems.

Rigorous systems engineering of cyber-physical systems

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. 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.