ArtistDesign NoE

20. Participation

Albert Benveniste, Lothar Thiele, Paul Caspi — 2006-11-20T13:17:54Z

List of participants

Benoît Caillaud, INRIA-IRISA Rennes, France
Paul Caspi, Verimag-CNRS Grenoble, France
Joachim Falk, U. Erlangen-Nuremberg, Deutschland
Alberto Ferrari, Parades Roma, Italia
Thierry Gautier, INRIA-IRISA Rennes, France
Marc Geilen, TU Eindhoven, Nederland
Sébastien Gérard, CEA-LIST Palaiseau, France
Alain Girault, INRIA Rhône-Alpes Monbonnot, France
Gregor Goessler, INRIA Rhône-Alpes Monbonnot, France
Michael González-Harbour, U. Cantabria Santander,España
Christian Haubelt, U. Erlangen-Nuremberg, Deutschland
Tom Henzinger, EPFL Lausanne, Suisse
Axel Jantsch, KTH Stockholm, Schweden
Bengt Jonsson, U. Uppsala, Schweden
Christoph Kirsch, U. Salzburg, Osterreich
Edward Lee, UC Berkeley, USA
Johan Lilius, Åbo Akademi U. Turku, Suomi
Florence Maraninchi, Verimag-INPG Grenoble, France
Michael Mendler, U. Bamberg, Deutschland
Marius Minea, U. Timisoara, Romania
Lionel Morel, INRIA-IRISA Rennes, France
Joseph Sifakis, Verimag-CNRS Grenoble, France
Alena Simalatsar, Universitá di Trento, Italia
Nikolay Stoimenov, ETH Zürich, Schweitz
Lothar Thiele, ETH Zürich, Schweitz
Eugenio Villar, U. Cantabria Santander, España

Participation

This workshop was based on invitations and the attendance was strictly limited to 40 persons.

15. Program and Minutes

Albert Benveniste, Lothar Thiele, Paul Caspi — 2006-10-04T14:03:23Z

Minutes

The final minutes for the workshop are available here.

Thursday, Nov. 16

Edward Lee (UC Berkeley) Concurrency Demands New Foundations for Computing
Axel Jantsch (Royal Institute of Technology, Stockholm) ForSyDe: A Denotational Framework for Heterogeneous Models of Computation
Benoît Caillaud (IRISA, Rennes) Correct-by-construction asynchronous implementation of modular synchronous specification
Paul Caspi (CNRS/VERIMAG, Grenoble) From loosely time-triggered systems to a taxonomy of MOCCs
Sébastien Gérard (CEA List) Accord-UML: a methodological approach for model-based development and validation of real-time embedded systems
Johan Lilius / Lionel Morel (Abo Akademi, Turku - FINLAND / INRIA-IRISA, Rennes - FRANCE) Rialto: a language for heterogeneous computations
Christian Haubelt / Joachim Falk (University Erlangen-Nuremberg, Germany) SysteMoC: Verification and Refinement of Actor-Based Models of Communication
Marc Geilen (Eindhoven University of Technology) Modeling, Analysis and Scheduling with Dataflow Models
Eugenio Villar (University of Cantabria) SystemC as an Heterogeneous System Specification Language
Lothar Thiele (ETH Zurich, Switzerland) Modular Performance Analysis
Michael González-Harbour (University of Cantabria) MAST: A Timing Behaviour Model for Embedded Systems Design Processes
Alain Girault (University of l'Aquila and INRIA POP-ART team) Adaptor synthesis for real-time components

Friday, Nov. 17

Joseph Sifakis (CNRS/VERIMAG, Grenoble France) Component-based Construction of Heterogeneous Real-time Systems in BIP
Christoph Kirsch (Universität Salzburg) The JAviator: A Flying MoCC Laboratory
Tom Henzinger (EPFL) Interfaces for Real-Time Components
Florence Maraninchi (Institut National Polytechnique de Grenoble, France) A Component Model for Embedded Systems Made of Heterogeneous Elements
Thierry Gauthier
Paul Le Guernic (IRISA/INRIA Rennes – France) Polychronous MoCC for open systems

10. Objective

Albert Benveniste, Lothar Thiele, Paul Caspi — 2006-09-27T14:33:40Z

It has been recognised for long that the embedded systems domain is a multidisciplinary one which raises problems of communication and cooperation between several disciplines: software and hardware primarily but also computer science and engineering, real-time and distributed systems, telecommunication, control and signal processing etc. Each of these worlds have their own notion of such basic concepts as computation and communication which makes it difficult for designers to cooperate and achieve correct and efficient designs.

Though this question can be addressed at different levels, for instance through co-simulation, interfaces, translators ensuring design flow continuity between design tools at different levels, etc., it seems to us that the conceptual level of formal models should not be neglected: any progress in identifying commonalities and differences between the conceptual models of the above mentioned disciplines can help in improving the knowledge of the embedded systems domain as well as improving the available equipment of practitioners.

The object of the proposed workshop is therefore to gather recognised specialists of the different disciplines in order to attempt to get a panorama of the models used by each discipline, their commonalities and differences, and the several attempts that have already been proposed in order to merge these concepts within some unified view.

Beyond Autosar

Albert Benveniste, Werner Damm — 2006-08-25T08:34:54Z

Organizers Werner Damm & Albert Benveniste

Date 23 - 24 March 2006

Venue Innsbruck, Austria

Main Objectives The AUTOSAR consortium has made progress towards improving component and sub-system integration. Remaining open issues include capturing and modelling end-to-end characteristics, both functional and extra-functional (e.g., related to timing) and defining a rich component model supporting such end-to-end analyses.

This workshop gathered key industry players from AUTOSAR and key scientists to discuss fundamental issues for embedded automotive systems design. It will consist of industrial presentations and in-depth technical panel discussions. A designated sub-group has written up the main findings, conclusions, and recommended work directions from the workshop.

More information

MoCC - Models of Computation and Communication

Albert Benveniste, Lothar Thiele, Paul Caspi — 2006-08-24T13:00:25Z

Organizers Albert Benveniste, Paul Caspi, Lothar Thiele

Date 16-17 November 2006

Venue ETHZ, Zurich - Switzerland

Main Objectives

It has been recognised for long that the embedded systems domain is a multidisciplinary one which raises problems of communication and cooperation between several disciplines: software and hardware primarily but also computer science and engineering, real-time and distributed systems, telecommunication, control and signal processing etc. Each of these worlds have their own notion of such basic concepts as computation and communication which makes it difficult for designers to cooperate and achieve correct and efficient designs.

Though this question can be addressed at different levels, for instance through co-simulation, interfaces, translators ensuring design flow continuity between design tools at different levels, etc., it seems to us that the conceptual level of formal models should not be neglected: any progress in identifying commonalities and differences between the conceptual models of the above mentioned disciplines can help in improving the knowledge of the embedded systems domain as well as improving the available equipment of practitioners.

The object of the proposed workshop is therefore to gather recognised specialists of the different disciplines in order to attempt to get a panorama of the models used by each discipline, their commonalities and differences, and the several attempts that have already been proposed in order to merge these concepts within some unified view.

Expected Participants
Albert Benveniste
Manfred Broy
Benoît Caillaud
Paul Caspi
Joachim Falk
Thierry Gautier
Marc Geilen
Sébastien Gérard
Alain Girault
Michael González-Harbour
Tom Henzinger
Axel Jantsch
Bengt Jonsson
Christoph Kirsch
Edward Lee
Johan Lilius
Florence Maraninchi
Michael Mendler
Marius Minea
Lionel Morel
Joseph Sifakis
Bart Theelen
Lothar Thiele
Stavros Tripakis
Eugenio Villar

30. Organisation

Albert Benveniste, Lothar Thiele, Paul Caspi — 2006-08-11T12:20:25Z

Organizers

Albert Benveniste INRIA Rennes
Paul Caspi Verimag / CNRS Grenoble
Lothar Thiele ETH Zurich

30. Real Time Systems

2006-07-04T08:11:07Z

The journal Real-Time Systems publishes papers that concentrate on real-time computing principles and applications, which may be research papers, invited papers, project reports and case studies, standards and corresponding proposals for general discussion, and a partitioned tutorial on real-time systems as a continuing series. Much of the work in building sophisticated, modern real-time systems is interdisciplinary in nature and is often found scattered throughout the primary literature.

Real-Time Systems provides a single-source coverage of the state of the art in this exciting and expanding field. The editorial board, the writers and the readers of the journal are drawn from all parts of the world, from industry, and from academia.

Papers published in Real-Time Systems cover, among others, the following topics: requirements engineering, specification and verification techniques, design methods and tools, programming languages, operating systems, scheduling algorithms, architecture, hardware and interfacing, dependability and safety, distributed and other novel architectures, wired and wireless communications, wireless sensor systems, distributed databases, artificial intelligence techniques, expert systems, and application case studies. Applications are found in command and control systems, process control, automated manufacturing, flight control, avionics, space avionics and defense systems], shipborne systems, vision and robotics, pervasive and ubiquitous computing, and in an abundance of embedded systems.

See it online!

Benveniste

Albert Benveniste — 2006-06-02T16:44:36Z

- 30. Core Team Leaders / Real-Time Components, Modeling and Validation