Modeling Systems with Timing Constraints : the CPS challenges
Model-based development of time-critical CPS requires the capability of early verification of system properties (including timing properties) on a model of the controls and the controlled physical system (or Plant) and the capability of producing automatically an implementation of the model.
In the development of complex distributed or highly concurrent systems, the scheduling and communication delays may significantly affect the behavior of the controls. These delays depend on the implementation of the functionality on a given execution platform, which defines the SW and communication architecture.
The talk introduces challenges, open issues and possible methods for adding the model of schedulers, tasks and messages to functional models of CPS and to verify by simulation or worst-case analysis the impact of scheduling and execution times delays on the function performance.
The talk discusses possible ways to merge heterogeneous models and to leverage meta-modeling capabilities to perform the integration and to build analysis models
Marco Di Natale is an IEEE Senior member and Associate Professor at the Scuola Superiore Sant’Anna, in which he held the position of Director of the Real-Time Systems (ReTiS) Lab from 2003 to 2006. He is also visiting fellow for the United Technologies group.
He received his PhD from Scuola Superiore Sant’Anna in 1991 and was a visiting Researcher at the University of California, Berkeley in 2006/7 and 2008/9. In 2006 he was the national representative in the mirror group of the ARTEMIS European Union Technology platform. He’s been a researcher in the area of real-time systems and embedded systems for more than 15 years, being author or co-author of more than 150 scientific papers. He has been winner of six best paper awards and one best presentation award. He has served as Program Committee member and has been organizer of tutorials and special sessions for the main conferences in the area, including the Real-time Systems Symposium, the IEEE/ACM Design Automation Conference (DAC), the Design Automation and Test in Europe (DATE) and the Real-Time Application Symposium in which he also served as Track Chair and Program Chair in 2012. He has been associate editor for the IEEE Transactions on CAD and is currently in the editorial board of the IEEE Transactions on Industrial Informatics.
He is currently leading the Scientific advisory committee for the EU project Cyphers, tracing the guidelines for the definition of the EU agenda on cyberphysical systems.
Séminaire Digiteo : Music Information Retrieval jeudi 4 déc.
Appel à projet Digiteo/DigiCosme 2015 est ouvert