TiMoBD
Time Analysis and Model-Based Design, from Functional Models to Distributed Deployments
Workshop topic
Model-based and Model-driven design flows are very popular in the industry because of the possibility of analysis and verification by simulation or model checking and because of the availability of automatic code generation tools that provide a path to implementation.
However, in most flows, the timing behavior of the system depends on features of the computation and communication architecture that are modeled late or not modeled at all, bringing the possibility for an inappropriate selection of the computing platform (over- or underperforming) and possibly an incorrect software implementation of the functional model.
To this end, timing analysis techniques can provide support for the analysis of architecture solutions and system configurations and also define analytical methods for the synthesis of feasible/correct solutions. Hence, the need for a better integration of timing analysis technologies, methods and tools in model-based and model-driven flows.
The workshop attempts at bridging the gap between the three communities of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows that go from system-level modeling to the correct and predictable generation of a distributed implementation can be constructed leveraging current and future research results.
Organizers-Technical committee
| Marco Di Natale | Scuola Superiore S. Anna, Pisa, Italy | marco@sssup.it |
| Sebastien Gerard | CEA List, France | |
| Pieter Mosterman | The Mathworks, USA | |
| Julio Medina Pasaje | Universidad de Cantabria, Santander, spain | |
| Roberto Passerone | Università di Trento, Italy | |
| Alberto Sangiovanni-Vincentelli | University of California, Berkeley, USA | |
| Martin Thorngren | KTH Stockholm, Sweden | |
| Stavros Tripakis | University of California, Berkeley, USA | |
| Tullio Vardanega | Università di Padova, Italy | |
| Wang Yi | Uppsala university, Sweden | |
| Haibo Zeng | General Motors R&D, USA | |
| Qi Zhu | Intel corp, USA | |
Submission info
We seek original contributions of no more than 6 pages, using the same template for full conference papers (available at This page).
Submissions must cover original research material, not necessarily fully developed but with innovative and stimulating ideas, concepts and realizations.
Submitted papers should be sent before the deadline to any of the organizers using the email addresses shown above. At least one representative for each accepted paper
will need to be registered for the workshop and present in person her/his work.
Position papers are also acceptable, provided they present/propose innovative approaches to the solution of the problem or requirements coming from the analysis of case studies and/or practical experience.
The program will be integrated by contributions from invited speakers and presentations from projects and case studies from the academia and the industry.
The Cfp can be accessed from here in PDF or TXT
