M10 A Cyber-Physical Approach to Modeling, Simulation and Verification of Smart Systems

Printer-friendly versionPDF version

Agenda

Agenda

TimeLabelSession
14:30M10.1Session 1
00:00M10.1.1Introduction to smart systems and cyber-physical systems (Davide Quaglia)
Davide Quaglia, EDALab s.r.l, IT

00:00M10.1.2Multi-domain modeling languages and methodologies (Davide Quaglia)
Davide Quaglia, EDALab s.r.l, IT

00:00M10.1.3Multi-scale modeling: abstraction and refinement (Dimitris Drogoudis)
Dimitris Drogoudis, Agilent, BE

16:30M10.2Session 2
00:00M10.2.1Verification of Cyber-Physical Systems (Davide Bresolin)
Davide Bresolin, University of Bologna, IT

00:00M10.2.2Application of modeling concepts and tools to real case studies (Dimitris Drogoudis)
Dimitris Drogoudis, Agilent, BE

00:00M10.2.3Application of verification concepts and tools to real case studies (Davide Bresolin)
Davide Bresolin, University of Bologna, IT

Groups: