ArtistDesign NoE

WESE 2006

Paul Caspi — 2006-12-12T14:15:56Z

- 90. Meetings for: More than one cluster (NoE Integration)

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.

10. Overview

Paul Caspi — 2006-09-27T13:30:22Z

October 26th 2006 in Seoul, South Korea Organized within EMSOFT'06, at the Embedded Systems Week

Printable announcement Page

Overview

It is widely recognized that the embedded system domain is a multidisciplinary one, requiring a large variety of skills from control and signal processing theory, electronics, computer engineering and science, telecommunication, etc., as well as application domain knowledge. This has motivated a recent but ever growing interest in the question of educating specialists in this domain and this has also been recognized as a particularly difficult problem. After a successful first event in Jersey City, USA (2005), this second workshop on the subject aims to bring researchers, educators, and industrial representatives together to assess needs and share design, research, and experiences in embedded systems education.

Topics and Focus Particular topics of interest include but are not limited to:

Industrial needs regarding embedded systems education
Embedded systems curricular design and implementation
Control and signal processing issues
Computer science issues
Real-time computing issues
Distributed systems issues
Architecture and design issues
Hardware/software co-design
Hands-on experiences and labs
Teaching embedded systems

History

WESE'05

20. Lecturers

Karl-Erik Arzen, Kim Larsen, Luca Benini, Paul Caspi — 2006-09-25T09:11:44Z

Lecturers

Prof. Karl-Erik Arzen

Lund University, Sweden

Karl-Erik Årzén was born in Malmö, Sweden on October 4, 1957. He received his M.Sc in Electrical Engineering and PhD in Automatic Control from Lund University in 1981 and 1987 respectively. He was appointed as professor in automatic control in 2000. He has also worked for ABB Corporate Research during 1992-1994. His research interests includes real-time systems, real-time and embedded control, control of computer software systems, discrete event and sequential control, and intelligent control systems. He has published more than 120 journal articles and conference papers. He is the leader of the Control for Embedded Systems cluster within the EU/IST Network of Excellence ARTIST2 since 2004. He was the chairman of the IEEE Control System Society Technical Committee on Real-Time Control, Computing, & Signal Processing 1999-2002. He is vice chairman of the IFAC Technical Committee on Real-Time Computing & Control since 2002. In 2006 he received the Guido Carlo-Stella award from the World Batch Forum for his contributions to manufacturing automation.

Prof. Dr. Luca Benini

University of Bologna, Italy

Luca Benini is a Full Professor at the Department of Electrical Engineering and Computer Science (DEIS) of the University of Bologna. He also holds a visiting faculty position at the Ecole Polytechnique Federale de Lausanne. He received a Ph.D. degree in electrical engineering from Stanford University in 1997.

Dr. Benini's research interests are in the design of system-on-chip platforms for embedded applications. He is also active in the area of energy-efficient smart sensors and sensor networks. He has published more than 300 papers in peer-reviewed international journals and conferences, four books and several book chapters. He has been program chair and vice-chair of Design Automation and Test in Europe Conference. He has been a member of the technical program committee and organizing committee of several technical conferences, including the Design Automation Conference, International Symposium on Low Power Design, the Symposium on Hardware-Software Codesign.

He is Associate Editor of the IEEE Transactions on Computer Aided Design of Circuits and Systems and the ACM Journal on Emerging Technologies in Computing Systems. He is a senior Member of the IEEE.

Paul Caspi

Verimag Laboratory, France

Paul Caspi graduated from "Ecole polytechnique (Paris)" and holds a "docteur ès sciences" degree in automatic control from "Institut national polytechnique de Grenoble. He is currently "directeur de recherche CNRS" at the Verimag laboratory in Grenoble.

His domain of interest is computer science applied to automatic control. He is mainly concerned with safety problems in critical applications, from both hardware and software points of view. This has led him to be involved in the design of Lustre, a data-flow programming language for safety-critical automatic control applications. Lustre has been chosen as the kernel language of the SCADE design environment used at Airbus for designing the flight control systems of Airbus commercial aircrafts. This achievement owed him to share the Monpetit prize of French "Académie des sciences".

He also served as a consultant for several French companies and administrations, on problems related to safety-critical computing systems.

Kim Larsen

Aalborg University Denmark

Kim Guldstrand Larsen (born 23 December 1957) holds an MSc in Mathematics and Computer Science from University of Aalborg, Denmark, and a PhD in Computer Science from Edinburgh University, Scotland. He is a Professor of Computer Science at Aalborg University, and Industrial Professor at Twente University, The Netherlands. In addition, Kim Guldstrand Larsen has visited, or has held visiting appointments, at research centres like ENS Cachan (France), Swedish Institute of Computer Science (Sweden), Uppsala University (Sweden), Twente University (The Netherlands) and Carnegie-Mellon University (U.S.A).

Kim Guldstrand Larsen is director of CISS, the Center for Embedded Software Center, co-director of BRICS, the center for Basic Research in Computer Science, and member of the strategic management board of the ARTIST2 Network of Excellence. Kim Guldstrand Larsen is member of the Royal Danish Academy of Sciences and Letters, Copenhagen, and is member of the Danish Academy of Technical Sciences. For a period of seven years he served as member of the Danish Natural Science Research Council.

Kim Guldstrand Larsen became Honorary Doctor (Honoris causa) at Uppsala University in 1999 for his outstanding contributions to the popular verification tool UPPAAL. In 2005 he received the Danish Citation Laureates Award, Thomson Scientific, as the most cited Danish computer scientist in the period 1990-2004.

Since 1987 Kim Guldstrand Larsen has written and/or edited 10 books, published 27 papers in international journals, and approximately 130 papers in international reviewed conferences. Kim has co-authored 6 software-tools, holds one patent and is prime investigator in the real-time verification tool UPPAAL (www.uppaal.com). Kim Guldstrand Larsen has given invited talks and course all over the work, including North-America, China, India, and most European countries. Kim Guldstrand Larsen is currentley ranked no. Ranked 531 on Citeseer an has H-number 34 according to Google Scholar.

Kim Guldstrand Larsen is editorial board member of the journals Formal Methods in System Design, Theoretical Computer Science and Nordic Journal of Computing. He is serving as a member of the steering committee for the ETAPS conference series. Also he is serving as member of the steering committees and was one of the original initiators for the CONCUR conference series, the TACAS conference series and the FORMATS workshop seriesI. n addition Kim Guldstrand Larsen has served as program committee member for numerous conferences and acted as program chair and organiser of the international conferences ICALP'98, CONCUR'01, CAV'02 and FORMATS'03.

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

Caspi

Paul Caspi — 2006-08-09T11:32:10Z

- 30. Core Team Leaders / Real-Time Components

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!