8. FDL 2005: Lausanne, Switzerland

Plenary Session 1: European Technology Platforms & Avionics Electronics

Plenary Session 2: Performance Modelling

AMS-1: New Languages

AMS-2: Keynote & Design and IP

AMS-3: Tolerances and Uncertainties

AMS-4: System Verification and Design Flow

AMS-5: Modelling

CSD Keynotes:

CSD-1: TLM Modelling

CSD-2: Heterogeneous models of computation

CSD-3: HW/WF Co-Design and Synthesis

CSD-4: Multi-Language Design

EDA Vendor Track: C-based Design

GEN Session: System Model of Control & Computation and Communication

PSL Session:

UML-1: Workflow for Embedded System Design

UML-2: Model Driven Engineering

UML-3: Verification and Validation

UML-4: Ongoing standardization

maintained by Schloss Dagstuhl LZI at University of Trier