STAE TOULOUSE

L'actualité de la formation

Chantiers RTRA : 1st workshop TORRENTS 2010

Le 6 octobre 2010, A la une.

Toulouse, France - November 2, 2010

The group TORRENTS (Time ORiented Reliable Embedded NeTworked Systems) is a cluster that federates the activities related to time-oriented embedded systems carried out in research labs in Toulouse (France). It has been set up as a response to the RTRA STAE call for "chantiers".

For the first year, the workshop TORRENTS, organised with the financial support of the RTRA STAE, focuses on a synthesis of current practices on the use of formal programming languages and compilation techniques for safety critical applications hosted on complex platforms, such as GALS (globally asynchronous locally synchronous) or TTA (time-triggered architectures). Four keynote speakers are invited to present their view on the programming of safety critical applications and their recent results in the domain. The workshop ends with a discussion panel which aims at bringing together industrial, practitioners and researchers.

Program
9:00 - 9:15 Welcome
9:15 - 10:30 Edward A. Lee (University of Berkeley, USA) - Computing Needs Time abstract
10:30 - 11:00 Coffee break
11:00 - 12:15 Paul Caspi (VERIMAG, Grenoble, France) - Faithful automatic implementation of synchronous models on several computing architectures: a key issue in model-based design for critical control systems with emphasis on LTTA
12:15 - 13:45 Lunch
13:45 - 15:00 Jean-Pierre Talpin (IRISA, Rennes, France) - Polychrony as an abstract model of computation for GALS architectures
15:00 - 15:30 Coffee break
15:30 - 16:45 Wolfgang Pree (University of Salzburg, Austria) - Model-based development of deterministic, portable real-time software components with the Timing Definition Language (TDL)
16:45 - 17:30 Discussion panel

Practical information

Location: ENSEEIHT, 2 rue Camichel, Toulouse - room C002
Registration: free.



Registration
About Torrents

Retour