Speaker: Stavros Tripakis , Verimag Laboratory, Grenoble, France
From Simulink to Lustre to TTA - A Layered Approach for Distributed Embedded Applications
Abstract: We present a layered end-to-end approach for the design and implementation of embedded software on a distributed platform. The approach comprises a high-level modeling and simulation layer (Simulink), a middle-level programming layer (the synchronous language Lustre) and a low-level execution layer (the time-triggered architecture, TTA). We describe techniques and tools to pass from one layer to the next:
(1) a translator from discrete-time Simulink to Lustre,
(2) a set of real-time and code-distribution extensions to Lustre,
to link it with the real-time, distributed execution platform, and
(3) tools to decompose a program into tasks, schedule the tasks and
distribute them on the execution platform along with the necessary
The approach has been partially validated on industrial case studies provided by Audi, in the context of EU IST project "NEXT TTA".
Short Bio: Stavros Tripakis received his diploma in Computer Science in 1992 from the University of Crete, Heraklion, Greece, and his PhD in Computer Science in 1998 from Verimag, Grenoble, France, on the formal analysis of timed automata. From 1999 to 2001 he was a visiting research engineer in the University of California at Berkeley, where he worked on embedded systems, decentralized control, wireless ad-hoc networks and quality of service in TCP/IP networks. Since 2001 he has been in Verimag, where he holds a CNRS Researcher position. His research interests include embedded systems, formal methods and networks.
Host: Purush Iyer, Computer Science, NCSU
Colloquia Home Page.