Foundations of Component-based Design

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

Slides


Session 1: Components

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

Session 2: Embedded Software

Albert BenvenisteA Generic Model of Contracts for Embedded Systems
Christoph KirschTiptoe: A Compositional Real-Time Operating System
Ansgar RadermacherComponent based middleware for real-time embedded systems

Session 3: Dependability, Predictability, and Reliability

Ed BrinksmaTRADER: an industry-as-laboratory experiment in system dependability
Bengt JonssonGALP: Globally approximate, locally precise timing analysis for predictability
Alain GiraultThe Length-Reliability Bicriteria Scheduling and Optimization Problem

Session 4: Verification

Kim LarsenPerformance Analysis and Synthesis
Dave ParkerModel checking of probabilistic systems
Johan LiliusSpecification and validation of non-functional constraints

(c) Artist2 Consortium, All Rights Reserved - 2006
Réalisation Axome - Création de sites Internet