Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
Towards a Systematic Approach to Embedded System Design
| April 20th, 2007 Acropolis Nice, France | organised and funded by Artist |
Presentations & Conclusions
Towards a Systematic Approach to Embedded System Design
Bringing Leading-Edge Embedded Systems Design Tools to Industrial Users
Workshop conclusions are at the bottom of this page.
| Session on Validation and Verification of Real Time Systems | |||
| Kim Larsen CISS Aalborg, DK | Validation and Performance Analysis of Real-Time Systems in UPPAAL UPPAAL | ||
| Jan Madsen DTU, DK | Formalising the ARTS MPSOC Model in UPPAAL ARTS is a MultiProcessor System-on-Chip modelling environment, developed at DTU. The ARTS model has been formalised in the UPPAAL which allows for formally reasoning about real-time issues of multiprocessor systems consisting of application software running under different RTOS on processors interconnected through an on-chip network (NoC). Industrial relevance will be shown, including links to a case study planned. | ||
| Thomas Hune Terma, DK | Industrial presentation: Optimising a Memory Interface TERMA is a Danish company producing radar sensors mainly used for traffic control in ports and airports and for coastal surveillance. The real-time processing of radar signals includes integration of several received signals, requiring the signals to be stored temporarily in memory. The interface between the signal processing hardware and the memory consists of an arbiter and a collection of 9 FIFO buffers. Within the European project AMETIST | ||
| Session on Control for Embedded Systems | |||
| Anton Cervin Lund U, SE | Truetime for Simulation of Networked Embedded Control Systems TrueTime is an academic tool with a large number of downloads, including some documented industrial users. TrueTime allows co-simulation of networked embedded control systems, including the physical nodes and their environment, the software inside the nodes, and the wired/wireless network communication. | ||
| Martin Törngren KTH, SE | Experiences with Model Integration and Management; From Architectural Design to Configuration Management A series of prototypes for architectural design of embedded control systems have been developed at KTH. These have been used for automotive and robotics embedded systems architectural design including industrial case studies at Scania. In recent developments, the model management has been based on commercial product data management (PDM) tools, extended to support domain tool integration and software configuration management. | ||
| Martin Törngren KTH, SE | Industrial Applications in the Swedish Automotive Industry Two central problems in embedded systems engineering have been addressed in cooperations involving Scania, Volvo cars and KTH. Architectural design of automotive systems is a challenging task that goes way beyond technical aspects. In devising an optimal architecture, not only functions and tentative software/hardware architectures have to be considered. Since the products are product lines, the optimisation has to take a very large amount of product variants into account. Moreover, strategic aspects such as make vs. buy and product/technology evolution have to be taken into account. We present a quantitative optimisation technique that attempts to support designers in handling this problem. While model based engineering applied to embedded systems is highly promising, it is very difficult to apply in practice because proper information management in many cases is not in place. Information is contained within domain tools/models, word documents and sometimes not documented at all. The contrast between software engineering practices (SCM) vs. hardware engineering (PDM), and the trend towards model based development makes the task a challenging one. Case studies and possible solutions will be presented. | ||
| Discussion | |||
| Session on Performance Engineering | |||
| Susanne Graf VERIMAG Laboratory, FR | Persiform: Performance Engineering Based on Simulation of Formal Functional Models Persiform provides a methodology and toolbox to allow performance evaluation of high-performance critical systems, based on service-oriented functional specifications (activity diagrams), deployment on an infrastructure (architecture diagrams) and performance-related annotations. A chain of fully automated model transformations - including graphical positioning - is used to derive a performance model input to a simulation-based performance evaluation tool (SES workbench) which provides relevant performance measures such as the system’s throughput, end-to-end delays, use of resources, etc. This guarantees the consistency between the performance model and the design model at an early stage of development. Maintaining this consistency throughout the design process will be addressed in a future project | ||
| Wei Monin France Telecom, FR | Application of the Persiform Tool Chain and Industrial Perspective This talk will illustrate the use of the Persiform tool chain on a significant case study and show some perspectives for applications at France Telecom. The case study is based on a resource reservation system for ADSL delivery. The Persiform tool chain is used for evaluating end-to-end response time, volumetrics, load distribution, and to identify risks of bottlenecks from a functional architecture, augmented with non-functional specifications. The talk will also provide an assessment, from the user’s perspective, of the proposed specification language and tool chain. It will also include perspectives for transferring the technology. | ||
| Discussion | |||
| Keynote speakers | |||
| Janos Sztipanovits Vanderbilt U, US | Towards Systematic Model Based Development of Embedded Systems – Requirements and Challenges-> Model-based design uses models, which are formal, composable and manipulable during the design process. The key breakthrough in the early success of model-based design has been the emergence of metamodelling and metaprogrammable tool suites that enabled the affordable introduction of modelling languages that are domain-specific. Current efforts focus on making domain specific modelling languages and tool chains composable. | ||
| Alberto Sangiovanni Vincentelli PARADES, IT | Embedded System Design: From Art to Science Embedded System-Level Design (SLD) is considered by many as the next frontier in Engineering (EDA). SLD means many things to different people since there is no wide agreement on a definition of the term. Academia, designers and domain experts have taken different avenues to attack the problem, for the most part springing from the basis of traditional tools and methodologies and trying to raise the level of abstraction at which designs are captured, analysed and synthesised from. In general, these approaches are experimental and rely upon designers’ ingenuity and imagination; they form the art of embedded system design. Recently, mathematically well-founded methods have been proposed transitioning embedded system design from an art to a science. In this talk, I will review some of the most interesting approaches to Embedded System Design emerged recently and their use in industry. In particular, I will present some applications in the area of wireless sensor networks, building automation, multi-media and automotive. | ||
| Panel Discussion | Moderated by Martin Törngren, KTH, SE | ||
| End-to-End Embedded Systems Design Tool Chains | |||
(c) Artist2 Consortium, All Rights Reserved - 2006