Home Page
Participants
Research and Integration
Dissemination
Embedded System Links
intranet
»
Dissemination
»
Workshops
»
Workshops and Seminars in 2007
»
Foundations of Component-based Design
Dissemination
Workshops
Past Workshops
Schools and Seminars
International Collaboration
Publications
Contributions to Standards
Course Materials Available Online
ARTIST followup
EMSIG website
more info
Subscriptions
ARTIST Mailing List
Foundations of Component-based Design
Overview
Objectives and Scope
Participants
Slides
Organisation
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