Presentation title

Methodologies for large-scale smart cyber-physical systems

Authors

Nicola Bombieri, Franco Fummi, Luca Geretti, Graziano Pravadelli, Davide Quaglia and Tiziano Villa

Institution(s)

University of Verona

Presentation type

Presentation of a research group from one or more scientific institutions

Abstract

This work addresses design, modeling, and verification methodologies for cyber-physical systems developed at the University of Verona. In particular, design techniques for network synthesis and embedded vision applications, as well as modeling and verification strategies from the analysis of industrial plants, simulations, conteinerization, security, formal and run-time verification applied in the context of the "Dipartimento di Eccellenza" project are presented.

---

Additional material

• Extended abstract: [pdf]