Foundations of Component-based Design

September 30th, 2007       Salzburg, Austria - within EmSoft / ES Week organised and funded by ARTIST 

Slides


Session 1: Components

Joseph Sifakis Structuring Interaction in BIP
Alberto Sangiovanni-Vincentelli and
Roberto Passerone
Contract-based formalisms for heterogeneous and hybrid systems
Martin Toerngren A Holistic Approach to Model and Component-based Embedded Systems Engineering

Session 2: Embedded Software

Albert Benveniste A Generic Model of Contracts for Embedded Systems
Christoph Kirsch Tiptoe: A Compositional Real-Time Operating System
Ansgar Radermacher Component based middleware for real-time embedded systems

Session 3: Dependability, Predictability, and Reliability

Ed Brinksma TRADER: an industry-as-laboratory experiment in system dependability
Bengt Jonsson GALP: Globally approximate, locally precise timing analysis for predictability
Alain Girault The Length-Reliability Bicriteria Scheduling and Optimization Problem

Session 4: Verification

Kim Larsen Performance Analysis and Synthesis
Dave Parker Model checking of probabilistic systems
Johan Lilius Specification and validation of non-functional constraints

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet