within EMSOFT’06, at the Embedded Systems Week in Seoul, Korea

Introduction

Edward A. Lee (UC Berkeley) (invited talk)
Causality Interfaces for Actor Networks

Sankalita Saha, Dong-Ik. Ko, and Shuvra S. Bhattacharyya (University of Maryland)
A Meta-modeling Framework for Dynamic Reconfiguration of Dataflow Graphs

Janos Sztipanovits, (Institute for Software Integrated Systems ISIS)
Towards the Compositional Specification of Semantics for Heterogeneous Domain-Specific Modeling Languages

Ingo Stierand and Werner Damm (University of Oldenburg)
Cyclic Timed Interfaces

Thomas A. Henzinger (EPFL and UC Berkeley, and Slobodan Matic, UC Berkeley)
An Interface Algebra for Real-Time Process Graphs

Hans-Gerhard Gross and Arjan van Gemund (Delft University of Technology)
Bridging the Gap between Non-formal and Formal Software Component Requirements Specifications for Embedded System Engineering

Joern Janneck (XILINX) (invited talk)
Building a System from Actors

Kai Richter and Marek Jersak and Arne Hamann and Rolf Ernst (Symtavision GmbH) (Technical University of Braunschweig)
Scheduling Analysis in the Automotive Design Flow

Hugo Andrade, John Breyer, Gerardo Garcia, and Jacob Kornerup, National Instruments Corporation
A Unified Graphical Representation and Tool for Design and Integration of Components in Heterogeneous Distributed Real-Time Systems

Ananda Basu, Marius Bozga and Joseph Sifakis, and Gregor Gößler, (VERIMAG) (INRIA Rhône-Alpes)
Component-based Construction of Real-time Systems in BIP

Abhik Roychoudhury and P.S. Thiagarajan (National University of Singapore)
A Verification Framework for Interacting Process Classes

Lothar Thiele, Ernesto Wandeler, and Nikolay Stoimenov ( ETH Zurich)
Real-Time Interfaces

Cheng-Yao Chen, Jason Schlessman, and Wayne Wolf (Princeton University)
Towards Accessible Real-Time Distributed Embedded Vision Middleware

Réalisation Axome - Création de sites Internet