Programme of FESCA at ETAPS 2007

(Formal Foundations of Embedded Software and Component-Based Software Architectures)

Saturday, March 24, room: CP2-108

09:00 - 10:30 SESSION 1

Introductory Remarks
Invited Talk
SENSORIA: Semantic-based Development of Service-Oriented Systems
Martin Wirsing (LMU)

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

Formal models for component-based assembly
A True-Concurrent Interpretation of Behavioural Scenarios
Sotiris Moschoyiannis, Paul Krause and Michael Shields
Trustworthy interface compliancy: data model adaptation using B refinement
Samuel Colin, Arnaud Lanoix, Jeanine Souquieres
Towards Component Verification in the Generic Component Framework
Julia Padberg, Hartmut Ehrig, Fernando Orejas

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Behavioural models
DeSpec: Modeling the Windows Driver Environment
Tomas Matousek and Pavel Jezek
WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems
Peter Szulman
Composing Modal Properties of Programs with Procedures
Marieke Huisman, Dilian Gurov

16:00 - 16:30 Coffee Break

16:30 - 17:30 SESSION 4

Contractual runtime verification
A Formal Semantics for a Quality of Service Contract Language
Fabricio Chalub, Alexandre Sztajnberg
Executable Contracts for Incremental Prototypes of Embedded Systems
Lionel Morel and Louis Mandel

17:30 Concluding Remarks

Sunday, March 25


Joint Workshops Pre-Conference Dinner (tickets needed)
Dinner at Bom Jesus, Braga
Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

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