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

Printer-friendly versionPDF version
Date: 
2014-03-24
Time: 
14:30-18:00
Location / Room: 
Konferenz 4

Speakers

Davide Quaglia, EDALab s.r.l., IT
Dimitris Drogoudis, Agilent, BE
Davide Bresolin, University of Bologna, IT

Description

The design of future smart embedded systems should jointly take into account aspects from different domains, such as digital (hardware, software, network) and analog (electronic, electromechanical, etc., as for instance RF, MEMS, power sources, thermal issues, sensors and actuators) so that they can be considered ever more cyber-physical systems. To increase energy efficiency, to fully exploit the potential of current nanoelectronics technologies, as well as to enable the integration of existing/new IPs and "More than Moore" devices, new methodologies and tools for multi-disciplinary and multi-scale modeling, simulation and verification are needed. In engineering practice, the analysis of a complex system is usually carried on through simulation, which allows the engineer to explore one of the possible system executions at a time. Formal verification instead aims at exploring all possible executions, in order to be certain that a property of interest holds in all cases, or conversely acquire information about potential fault cases. Because of their heterogeneous nature, cyber-physical systems have a mixed discrete and continuous behavior, which makes them quite challenging for verification. In this tutorial, we survey state-of-the-art modeling, simulation and verification techniques for cyber-physical systems. The presentations will be accompanied by concrete tool introductions and demonstrations, showing how the presented concepts support improvement of today's state-of-the-art system-level design flow of smart systems. Most of this tutorial is based of the results of the SMAC European project on smart systems design. By scope and contents, this tutorial targets students and researchers belonging to both academia and industry.

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: