ArtistDesign NoE

ETH Zurich: Post-Doctoral Fellow

Lothar Thiele — 2007-12-15T17:06:00Z

The research group on Computer Engineering at ETH Zurich (Swiss Federal Institute of Technology) has an opening for a post-doctoral fellow the field of embedded and mobile information and communication systems. The Computer Engineering and Networks Laboratory offers a creative international environment, a possibility to conduct highly competitive research on a global scale and involvement in teaching. The responsibilities of the position include successful research in the emerging field of embedded and mobile systems in terms of new theoretical models and methods and/or prototype systems. In addition, active participation in research projects and leading a small group of highly motivated Ph.D. students is expected.

Full description

ETH Zurich: Research Assistant / PhD student

Lothar Thiele — 2007-12-15T16:52:00Z

The research group on Computer Engineering at ETH Zurich (Swiss Federal Institute of Technology) has an opening for a PhD student in the field of embedded and mobile information and communication systems. The Computer Engineering and Networks Laboratory offers a creative international environment, a possibility to conduct highly competitive research on a global scale and involvement in teaching. Within the project, there is plenty of opportunities to cooperate with national and international partners. There is the possibility to gain valuable experience in the emerging field of embedded and mobile systems, in terms of new theoretical models and methods and/or in prototype systems. It is expected that a successful PhD thesis is written in a time frame of 3-4 years.

Full description

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.

43rd Design Automation Conference

Lothar Thiele — 2006-09-01T09:05:54Z

The Design Automation Conference (DAC) is the premier Electronic Design Automation (EDA) and silicon solution event.

DAC features over 50 technical sessions covering the latest in design methodologies and EDA tool developments and an Exhibition and Demo Suite area with over 250 of the leading EDA, silicon and IP Providers.

44th DAC Special Theme Topic: Automotive Electronics

Including safety critical systems design, bus selection and verification challenges, automotive convenience factors, analog mixed-signal design challenges, automotive as an EDA driver, and issues with FPGA, ASIC and ASSP. Submit your paper beginning Oct. 9, 2006! For more info, see the 44th CFP.

Access it online!

Design Automation and Test in Europe

Jan Madsen, Joseph Sifakis, Lothar Thiele — 2006-09-01T09:00:47Z

The 10th DATE conference and exhibition is the main European event bringing together designers and design automation users, researchers and vendors, as well as specialists in the hardware and software design, test and manufacturing of electronic circuits and systems. It puts strong emphasis on both ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software.

The five-day event consists of a conference with plenary invited papers, regular papers, panels, hot-topic sessions, tutorials and workshops, two special focus days and a track for executives. The scientific conference is complemented by a commercial exhibition showing the state-of-the-art in design and test tools, methodologies, IP and design services, reconfigurable and other hardware platforms, embedded software, and (industrial) design experiences from different application domains, e.g. automotive, wireless, telecom and multimedia applications. The organisation of user group meetings, fringe meetings, a university booth, a PhD forum, vendor presentations and social events offers a wide variety of extra opportunities to meet and exchange information on relevant issues for the design and test community.

TECHNICAL CONFERENCE

Keynotes, scientific papers, interactive presentations, design records, discussion panels, hot-topics, tutorials and workshops. This year there are two dedicated days of specially focused conference sessions in the following areas of design applications: Ubiquitous Computing and Communications Space and Aeronautics. A full list of topics is available online.

EXHIBITION

April 17-19, 2007 Over 100 companies showing the best in design, verification and test tools and platforms for embedded systems and electronic devices, IP cores and design services.

See it online!

See also the Workshop Organised by Artist!

RTAS

Lothar Thiele — 2006-09-01T08:48:47Z

RTAS 2008 seeks papers describing signicant contributions both to the state of the art and the state of the practice in the broad eld of embedded and open real-time systems and computing. The scope of RTAS 2008 consists of the traditional core area of real-time and embedded systems infrastructure and theory, as well as three additional areas of special emphasis: embedded applications; development, verification, and debug tools for real-time and embedded systems; and embedded systems hardware/software interaction/co-design.

See it online

30. Design Automation for Embedded Systems

Lothar Thiele — 2006-08-29T08:25:55Z

Design Automation for Embedded Systems is a multidisciplinary journal which addresses the systematic design of embedded systems, focusing primarily on tools, methodologies and architectures for embedded systems, including HW/SW co-design, simulation and modeling approaches, synthesis techniques, architectures and design exploration, among others.

See it online!

30. Very Large Scale Integration Systems

Lothar Thiele — 2006-08-29T08:19:02Z

Includes all major aspects of the design and implementation of VLSI/ULSI and microelectronic systems. Topics of special interest include: systems specifications, design and partitioning, high performance computing and communication systems, neural networks, wafer-scale integration and multichip module systems and their applications.

See it online!