ArtistDesign NoE

10. Overview

2008-03-25T14:27:34Z

Workshop Objective

Embedded systems are omnipresent in modern society, and society crucially depends on their proper functioning. The complexity of embedded system design however is increasing rapidly, through the use of multiprocessor cores, through the integration of embedded systems in ubiquitous networks, and through the increasing interaction between embedded systems and their users and environments. To obtain a reliable operation of embedded systems while maintaining resource efficiency, the embedded system design process needs to be based on a solid basis of computational models.

The workshop aims to bring together academic and industrial researchers in model-driven embedded system design, to discuss and advance the state-of-the-art in this field.

The workshop focuses on the following question in particular:

- How can computational models be used to drive embedded system design such that performance, quality and resource constraints are met?

Contributions

Workshop contributions should fit in the general workshop theme outlined above. They may cover the whole range of computational models (including dataflow models, state-based models, discrete-event models, process algebras, stochastic and probabilistic models), all modern embedded platforms (including multiprocessor systems-on-chip, distributed and networked systems, sensor networks), and all application domains (including multimedia and gaming, automotive, high-tech industrial systems, telecommunication, care and assisted living).

Topics of interest include:

QoS, resource, and power management
Operating systems, middleware, distributed control, network management
Synthesis, analysis and verification (especially focusing on non-functional properties)
Real-time computing, scheduling, execution time analysis
Fault tolerance, dependability, security

50. Special Issue

2008-03-25T14:04:22Z

Special Issue ACM Transactions on Embedded Computing Systems

The workshop does not have any proceedings. Interested workshop participants are invited to submit their work after the workshop to a special issue of ACM Transaction on Embedded Computing Systems (ACM TECS).

The special issue will focus on the topics of the workshop, and is scheduled to appear in the summer of 2009.

Provisional dates for the ACM TECS special issue

submission deadline: 15 September 2008
notification: 15 December 2008
final version due: 15 February 2009
tentative publication: Summer 2009

10. Overview

2008-03-25T10:14:04Z

Artist2 - ACTORS workshop on DataFlow Modeling for Embedded Systems using the CAL Actor Language.

The standard imperative programming model (e.g. C/C++) is not always the best choice for utilizing modern embedded hardware to the maximum. For a large class of embedded system applications including feedback control, signal processing and multimedia streaming and processing, dataflow models and dataflow languages, in particular actor languages, have superior properties.

The topic of this workshop is the dataflow model/language CAL (CAL Actor Language), that recently has been developed within the Ptolemy II project at University of Berkeley. CAL is currently being used within the FP7 STREP project ACTORS and by Xilinx for modeling FPGA applications. CAL is also in the process of being adopted as the specification language for codecs within the MPEG-4 standard.

The aim of this workshop is to bring together the groups that are working with CAL and to discuss how CAL can be used within the context of embedded systems. The workshop is a one day event with a number of invited speakers, both from industry and academia. It is aimed at the novice CAL programmer, as well as the more seasoned dataflow researcher.

20. Lecturers

2008-01-17T13:57:00Z

Nicolas Halbwachs

Nicolas Halbwachs, VERIMAG Laboratory, Grenoble, France

Nicolas Halbwachs obtained his "3rd Cycle Thesis" in 1979, at Grenoble University, under the supervision of P. Cousot, on the static analysis of linear properties invariantly satisfied by the numeric variables of a program. In 1984, he obtained his "State Thesis", at Institut National Polytechnique de Grenoble, under the supervision of P. Caspi, on formal modelling of real-time system behavior.

Since then, he was one of the main designers of the synchronous data-flow language Lustre. He successively worked on the language design, compilation to software and hardware, on verification and testing techniques for synchronous programs, and on the verification of numerical programs by abstract interpretation. He is strongly involved in the industrial transfer of Lustre technology. He was the coordinator of the ESPRIT-LTR ``SYRF'' project (1997-99).

N. Halbwachs entered the CNRS (French National Center of Scientific Research) in 1980. Since 1991, he is "Directeur de Recherche" at CNRS, working at Verimag Laboratory in Grenoble. In 1992-93, he spent a year at Stanford University, as invited professor. In 2004, he was awarded with Paul Caspi, the Prize "Michel Monpetit" of the French Academy of Sciences. He is currently director of the Verimag laboratory.

Peter Marwedel

Peter Marwedel, Technical University of Dortmund, Germany

Peter Marwedel received his Ph.D. in physics from the University of Kiel (Germany) in 1974. He worked at the Computer Science Department of that University from 1974 until 1989. In 1987, he received the Dr. habil. degree for his work on high-level synthesis and retargetable code generation based on the hardware description language MIMOLA.

Since 1989 he is a professor at the Computer Science Department of the Technical University of Dortmund. He served as the Dean of that Department between 1992 and 1995. His current research is focussed on software for embedded systems, with emphasis on code generation techniques for embedded systems, in particular memory and energy-aware compilers.

His publications include the books :
"Code Generation for Embedded Processors",
"Retargetable Compiler Technology" and
"Embedded System Design", all published by Kluwer Academic publishers.

He received the teaching award of his University in 2003 and is a member of the ARTIST2 network of excellence on embedded and real-time systems in Europe.

Dr. Marwedel heads the ICD, a private technology transfer center at Dortmund and is actively promoting the use of research results in industry.

Lothar Thiele

Lothar Thiele, ETH Zürich

Lothar Thiele received his Diplom-Ingenieur and Dr.-Ing. degrees in Electrical Engineering from the Technical University of Munich in 1981 and 1985 respectively. After completing his Habilitation thesis from the Institute of Network Theory and Circuit Design of the Technical University Munich, he joined the Information Systems Laboratory at Stanford University in 1987.

In 1988, he took up the chair of microelectronics at the Faculty of Engineering, University of Saarland, Saarbrucken, Germany. He joined ETH Zurich, Switzerland, as a full Professor of Computer Engineering, in 1994. He is leading the Computer Engineering and Networks Laboratory of ETH Zurich.

His research interests include models, methods and software tools for the design of embedded systems, embedded software and bioinspired optimization techniques.

In 1986 he received the "Dissertation Award" of the Technical University of Munich, in 1987, the "Outstanding Young Author Award" of the IEEE Circuits and Systems Society, in 1988, the Browder J. Thompson Memorial Award of the IEEE, and in 2000-2001, the "IBM Faculty Partnership Award". In 2004, he joined the German Academy of Natural Scientists Leopoldina. In 2005, he was the recipient of the Honorary Blaise Pascal Chair of University Leiden, The Netherlands.

10. Overview

2007-06-08T06:26:22Z

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.

This third 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.

AIDA

2007-06-07T08:00:58Z

Tool Overview

The Aida toolset [Redell et al., 2004] is an environment for model-based design and analysis of real-time control systems. The most important feature of Aida is that it allows a user to take implementation effects into consideration when analyzing the performance of an automatic control system. Considered implementation effects include delays and time variations in the execution and scheduling of control functions and communication of data. The toolset also supports timing analysis of the real-time design such that an implemented solution can be shown to be schedulable and meet its timing constraints. The toolset consists of a modelling environment, Aidasign, which interfaces with MATLAB/Simulink [The Mathworks, 2005], and a response time analysis tool, Aidalyze. In the toolset, a controller is designed using MATLAB/Simulink, which is an environment familiar to control engineers that supports simulation based analysis of control performance. The real-time system design starts with the translation of the Simulink model to a data-flow diagram (DFD) in Aidasign. The timing aspects of the controller, such as sampling periods and delays then constitute requirements on the real-time system design. The functions and communication flows specified in the data-flow diagram form the basis for all further modelling in Aida. Apart from being generated from Simulink models, data-flow diagrams can be specified completely or in parts within Aida.

Further information on AIDA (p.34)

Aida website

Objectives and Scope

2007-01-30T10:38:06Z

ATVA 2006 is the fourth in the series of symposia on Automated Technology for Verification and Analysis. The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis in East Asia by providing a forum for interaction between the regional and the international research communities and industry in the field. The first three ATVA symposia were held in 2003, 2004 and 2005 in Taipei on the campus of National Taiwan University. Proceedings of ATVA 2004 and ATVA 2005 have been published by Springer, respectively as volume 3299 and volume 3707 in the LNCS serie.

Scope of Interest

The scope of interest is intentionally kept broad; it includes

Theory useful for providing designers with automated support for obtaining correct software or hardware systems, including both functional and non functional aspects, such as: theory on (timed) automata, Petri-nets, concurrency theory, compositionality, model-checking, automated theorem proving, synthesis, performance analysis, correctness-by-construction results, infinite state systems, abstract interpretation, decidability results, parametric analysis or synthesis.
Applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools, such as: analysis and verification tools, synthesis tools, reducing complexity of verification by abstraction, improved representations, handling user level notations, such as UML, practice in industry applications to hardware, software or real-time and embedded systems. Case studies, illustrating the usefulness of tools or a particular approach are also welcome.

40. Organisation

2007-01-22T16:11:00Z

Organisers

Martin Törngren, KTH, SE
Susanne Graf, VERIMAG Laboratory, France
Bruno Bouyssounouse, VERIMAG Laboratory, FR