Programme of SLA++P at ETAPS 2007

(Model-driven High-level Programming of Embedded Systems)

Saturday, March 31, room: CP2-105

09:00 - 10:30 SESSION 1

Welcome and Opening
(Invited Talk)
Dr. Steven Miller, Senior Principal Engineer in the Advanced Technology Center of Rockwell Collins, USA
A Model Checking Approach to Protocol Conversion
R.Sinha, P.S.Roop, S.Basu

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

Worst Case Reaction Time Analysis of Concurrent Reactive Programs
M.Boldt, C.Traulsen, R.von Hanxleden
Executable Specifications for Real-Time Distributed Systems
A.Ray, R.Cleaveland
(Short discussion) SYNCHRON'07 and SLAP'08

12:30 - 14:00 Lunch

14:00 - 15:30 SESSION 3

Gotos in Esterel
O.Tardieu, S.A.Edwards
Specifying and executing reactive scenarios with Lutin
P.Raymond, Y.Roux, E.Jahier
Modifying Contracts with Larissa Aspects

15:30 - 16:00 Coffee Break

16:00 - 18:30 SESSION 4

Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks
F.Maraninchi, L.Samper, K.Baradon, A.Vasseur Madrid, Spain
Mutation analysis for LUSTRE programs
L.du Bousquet
Extending Lustre with Timeout Automata
J.Gao, M.Whalen, E.Van Wyk


Joint Workshops Post-Conference Dinner (tickets needed)
Dinner at Pousada Santa Maria de Bouro
Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-13