Semantics-Preserving Design of Embedded Control Software from Synchronous Models

Leonardo Mageruca - ALES srl
Data e ora
martedì 17 aprile 2012 alle ore 16.30 - 4:30 pm rinfresco; 4:45 pm inizio seminario.
Ca' Vignal - Piramide, Piano 0, Sala Verde
Tiziano Villa
Referente esterno
Data pubblicazione
2 aprile 2012


While the complexity of embedded systems is constantly ramping up, dealing with concurrency has become increasingly difficult. As a consequence, the interest in mathematical models has grown considerably due to the availability of industrial tools and of a large body of theoretical results. Numerous mathematical models of computation have been proposed, each exploiting a particular trade-off between analytical power and constraints imposed on the final implementation. Some models, such as the event-driven models, imply a very limited set of constraints on the final implementation and are, therefore, well-suited for software implementation. On the other hand, time-driven models are of great interest because of the strong properties that can be verified formally. Synchronous languages, such as ESTEREL, LUSTRE, and SIGNAL, are among the most successful time-driven models. Design environments, such as Simulink and SCADE, are examples of the analytical power provided by time-driven models. Synchronous languages, built on the so-called “synchronous programming model”, are based on the “synchronous assumption”, providing an effective and rigorous way of dealing with concurrency but imposing, at the same time, strong constraints on the final implementation. As a result, it becomes very difficult to rigorously and efficiently implement synchronous programs on the available implementation platforms.

© 2002 - 2021  Universit√† degli studi di Verona
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234