July 25th, 2014: Timing analysis and model based design: looking inside the task model

  • Speaker: Marco Di Natale, Scuola Superiore Sant’Anna, Pisa
  • Title: Timing analysis and model based design: looking inside the task model
  • Abstract:Most schedulability analysis results are based on the assumption of a task model representing a code implementation of some time-critical functionality.  With the advent of model-based design, however, the analysis paradigms need to be shifted including functional models and models of computation (such as, for example, synchronous state machines) that can significantly improve the accuracy of the results. Emphasis is shifted from the analysis to the synthesis or optimization of a task and message model that can provide the best possible implementation of the system functions (expressed with a suitable modeling language).  The analysis of this paradigm reveals a number of additional significant gaps in the model-based development practices that are worth exploring for their research and industrial implications. The first part of the talk will highlight new results in the analysis of task models generated from synchronous state machines. The second part
    will focus on modeling languages, standards and research opportunities for building a development environment for time-critical cyber-physical applications that allows the mapping of complex functionality of distributed platforms and the synthesis of a software and message
  • Short CV: 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 received his PhD from Scuola Superiore Sant’Anna in 1991. He 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 five 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 commitee for the EU project Cyphers, tracing the guidelines for the definition of the EU agenda on cyberphysical systems.