ArtistDesign NoE

Guide to Embedded Systems ConceptsCommon Technical Baseline

Bruno Bouyssounouse — 2030-12-01T07:24:00Z

A knowledge base on embedded systems design concepts, using easy-to-understand diagrams, texts and references.

Navigate through the knowledge base by clicking on the graphs.

The "Common Technical Baseline" is structured into 3 high-level views:

System View
Access the concepts through a lego-like decomposition of what actually composes an embedded system, both hardware and software.
Product Lifecycle View
Access the concepts through the main lifecycle steps of an embedded system.
Design Tools View
Access the concepts through the different types of tools, including both their main inputs and outputs.
Methods View
Access the concepts through the main methodological approaches that may be used for embedded systems design.

ARiSE - Austrian Rigorous Systems Engineering

Bruno Bouyssounouse — 2014-12-19T22:41:00Z

Austrian Rigourous Systems Engineering was founded in 2010 to further the research in formal methods for the design of correct computer systems. It brings together top researchers in formal methods in Austria in order to foster collaboration and a common research platform.

Over the last decades, the complexity of computer systems has increased dramatically and so has their ubiquity and importance to the general public. Designers today need computer-assisted methods and tools to support them in the design process. The use of methods like model checking has traditionally been a-posteriori. Within ARiSE, we aim at to extend such methods to a mathematicaly rigorous framework that helps the programmer during, instead of after the design process.

The relevant research includes (but is not limited to) decision procedures for various logics, game theory and synthesis, and languages, architectures, and methods for the construction of concurrent and real-time software.

Further Information

Further information is on the ARiSE website: http://arise.or.at/

EDAA Lifetime Achievement Award 2012 given to Prof. Alberto Sangiovanni

Bruno Bouyssounouse — 2012-11-15T11:25:00Z

- 25. Hot Topics

ARCADIA Project

Bruno Bouyssounouse — 2012-06-14T22:05:00Z

The ARCADIA project main objective is to have better and effective coordination of the efforts in order to optimize the use of the resources, and to contribute in to the advance of an ERA for the Embedded System field to strengthening Europe's future growth, competitiveness and sustainable development.

Program

Michel Bourdelles — 2012-06-04T13:43:35Z

10:00-10:10 Welcome & Agenda

10:10-10:40 RT-SIMEX : Performance Retro-modelling

This presentation presents the final results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the simulation results back to the initial models from which the code was generated. The whole tool-set relies on standard formats (UML/MARTE, Open Trace Format) to ensure a perennial use. This presentation will also presents the global RT-SIMEX process from retro-modeling to PSM/PIM model debugging.

Presenter: Laurent RIOUX Ph.D (THALES Research and Technology)

10:40-11:10 Principles and Tool for Time- and Space-Partitioned Systems

This presentation highlights the main challenges in the integration of Time- and Space-Partitioned (TSP) principles in mission critical systems, such as autonomous vehicles. The design of a TSP-based safety kernel to guarantee the functional safety of vehicle operation is addressed, together with the evolution of the Cheddar real-time scheduling analysis tool towards TSP-specific scheduling analysis and generation of the corresponding onboard computer configuration parameters.

Presenter: José Rufino (FCUL - Faculty of Sciences of University of Lisbon – Lisboa, Portugal)

11:10-11:40 MADES: "An effective UML/SysML/MARTE methodology for Real-Time Embedded Systems design and implementation"

This presentation presents an overview of the EU FP7 MADES project, that aims to develop novel model-driven techniques for the design, validation, simulation, and code generation of complex real-time and embedded systems for avionics and surveillance embedded systems industries. In this presentation, we will illustrate the MADES language built on an effective SysML/MARTE subset for embedded systems specification, along with verification & validation (V&V) and code generation aspects, related to the MADES case studies dealing with on-board and ground based radar systems.

Presenter: Imran Quadri PhD (Softeam)

11:40-12:10 PRESTO: “ Results from execution trace analysis “

This presentation presents results the global synoptic and results of the ARTEMIS PRESTO project.. This project focuses on RTES design process enriched of : (a) test traces exploitation (generated by test execution in the software integration phase induced by the industrial development process, to validate the requirements of the system) along with (b) platform models and (c) design space exploration techniques.

Presenter: Shuai Li (THALES Communications & Security)

14:00-14:30 ENOSYS: "Integrated modeling and synthesis tool flow for embedded system design"

The presentation will describe the ENOSYS FP7 project, which proposes a high abstraction level design methodology for the design and implementation of next-generation Systems-on-Chips (SoCs) in order to shorten time to market. The presentation outlines the ENOSYS methodology and illustrates some features of the project: such as SoC Co-Design using UML/MARTE, automated synthesis and code generation of hardware/software from high level UML models, software source code optimization and design space exploration

Presenter: Etienne Brosse (Softeam)

14:30-15:00 VERDE: Industrial results on component based modelling analysis

Presenter: Olivier Hachet (THALES Communications & Security)

15:30-16:00 MAENAD: “Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles” (http://www.maenad.eu/)

Fully Electric Vehicles (FEV) promise clear benefits to society. At the same time, the engineering of FEV introduces significant new challenges. MAENAD is refining the EAST-ADL architecture description language for meeting these challenges.

Presenter: Ernest Wozniak (CEA LIST)

16:00-17:00 Open discussions on projects

10. redirect

Bruno Bouyssounouse — 2012-05-16T17:35:24Z

- 10. Journals

12. Programme

Ana Sokolova — 2012-05-08T15:49:52Z

ICE 2012 programme

Time Slot	Talk
08h55 – 9h00	Opening
09h00 – 10h00	Invited talk: Marcello Bonsangue Conformance Testing of Interacting Components
10h00 – 10h30	Break
10h30 – 11h00	Andres Aristizabal, Filippo Bonchi, Luis Pino and Frank Valencia Reducing Weak to Strong Bisimilarity in CCP
11h00 – 11h30	Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor and Johannes Åman Pohjola Sorted Psi-calculi with Generalised Pattern Matching
11h30 – 12h00	Etienne Lozes and Jules Villard Shared Contract Obedient Endpoints
12h00 – 12h30	Gabriele Costa, Fabio Matinelli and Artsiom Yautsiukhin Metric-Aware Secure Service Orchestration
12h30 – 14h00	Lunch
14h00 – 15h00	Invited talk: Ichiro Hasuo Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications
15h00 – 15h30	Simon Bliudze Towards a Theory of Glue
15h30 – 16h00	Break
16h00 – 16h30	Kyriakos Poyias and Emilio Tuosto Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations
16h30 – 17h00	Dan Ghica and Zaid Al-Zobaidi Coherent Minimisation: Towards efficient tamper-proof compilation
17h00 – 17h30	Jurriaan Rot, Irina Mariuca Asavoae, Frank De Boer, Marcello Bonsangue and Dorel Lucanu Interacting via the Heap in the Presence of Recursion
17h30 – 17h40	Closing
19h00 – ...	Workshop Dinner

Abstracts of Invited Talks

Marcello Bonsangue (LIACS & CWI, The Netherlands) “Conformance Testing of Interacting Components”

In component based software engineering, distributed components interact using complex coordination patterns that may be implemented by networks of communication channels. Channels receive stimuli from the environment possibly causing interactions to take place. In this talk I will introduce an execution model for channel based coordination, and present some principles and methods for testing implementations of coordination patterns to ensure their correct responses with respect to stimuli specifications.

Ichiro Hasuo (University of Tokyo, Japan) “Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications”

*Hybrid systems* are those which exhibit both discrete "jump" and continuous "flow" dynamics. Their importance---as components of *cyber-physical systems*---is paramount now that more and more physical systems (cars, airplanes, etc.) are controlled with computers.

There are naturally two directions towards the study of hybrid systems: *control theory* (typically continuous) and *formal verification* (typically discrete). For us from the formal verification community, therefore, the big challenge is how to incorporate continuous "flow" dynamics. Many existing techniques---such as hybrid automaton or Platzer's differential dynamic logic---include differential equations explicitly. This incurs a difficult (and very interesting) question of how to handle differential equations.

In our project we take a different path of *turning flow into jump*---more precisely into infinitely many jumps each of which is infinitesimal (i.e. infinitely small). This makes everything discrete jump dynamics, to which all the discrete techniques accumulated in the community of formal verification readily apply. This venture is mathematically supported by *nonstandard analysis*, where we can rigorously speak about infinites and infinitesimals.

In the talk I will lay out: 1) our framework of a while-language and a Hoare-style program logic, augmented with an infinitesimal constant, for modeling and verification of hybrid systems; 2) how discrete verification techniques can be *transferred*, as they are, to hybrid applications, via the celebrated *transfer principle* in nonstandard analysis; and 3) the overview of our prototype automatic prover.

The talk is based on the joint work with Kohei Suenaga, Kyoto University. References:

[1] Kohei Suenaga and Ichiro Hasuo. Programming with Infinitesimals: A While-Language for Hybrid System Modeling. Proc. ICALP 2011, Track B. LNCS 6756, p. 392-403. Springer-Verlag.

[2] Ichiro Hasuo and Kohei Suenaga. Exercises in Nonstandard Static Analysis of Hybrid Systems. To appear in Proc. CAV 2012.

20. Review Report

Bruno Bouyssounouse — 2012-05-03T14:02:17Z

Review Report

Accompanying Letter (all are accepted)
Review Report

Overall reviewer's conclusions

The rich web of industrial connections, the attention industry pays to ArtistDesign activities is a testimony that ArtistDesign is an excellent investment: it is an engine of innovation in a strategic field.

The “superstructure” ArtistDesign created over a number of EU research projects is valuable: the coordination is working, the clusters were active, communities interact and a shared vision has been formulated. ArtistDesign hold a major promise that new insights will emerge from the vertical, cross-cutting activities that could not have emerged otherwise.

ArtistDesign gave a unique identity to research in EU in embedded systems. The scope of activities, the level of involvement of the researchers, the volume of produced results is impressive. The ArtistDesign portal is a shared intellectual asset used now worldwide and there is a promise that some content of this portal will be taking over in another context.

This all is shown by the research output, the website, the summer schools, the joint publications as well as by the generated projects both at European level (FP7, Artemis) and at national level.

At the review meeting, presentations were at the right level of detail, well presented and the timing was good.

The main points are summarised below:

Strengths:
The NoE has matured and provided the required conceptual integration for large and diverse technology area.
There is evidence of significant interaction across researchers, research groups and even research areas. This interaction has created a strong convergence on the field and improves effectiveness in addressing rapidly emerging new challenges
The produced research output of the teams participating in the NoE is extremely impressive.
There is ample evidence that Impact on industry is strong. Connection to industry is demonstrated, with significant variance among the various industrial domains.
Noteworthy to mention various start-ups in the domain such as Symtavision (Uni Braunschweig), Wispes (Uni Bochum), BiomiCore (DTU), UP4all (CISS) et al. which were founded through the indirect support of ARTISTDESIGN partners.
Outreach activities are remarkably strong and well represent EU research excellence in the area of embedded systems world-wide.
ArtistDesign may be considered as a crown jewel of the EU ICT, well worth the investment.
The NoE has extended its internal connections and especially in the integration domain, where new fields have been initiated. New fields of application which were mentioned as targets during last review were actually addressed. The permeability among the collaborating partners is demonstrated and is based on actual sound research objectives, where joint competences are used to try and bridge gaps, to deliver solutions to identified lacks in embedded systems development areas.
Special attention was paid on mixed-criticality as an emerging research topic. Most presentations dealt with this issue.

Beyond ARTISTDESIGN
ARTISDESIGN has clearly met and well exceeded its goals. This should be wrapped up and consolidated in a vision document citing Players and stakeholders (like Offis/Thales, etc..) and grand challenges (like crisis, energy, mobility and health)
There are bright perspectives ahead:
— Impressive visibility in events at DATE in Dresden March 2012
— SIG within EDAA
— Think BIG
The NoE has developed a realistic scheme to sustain the key activities of ARTISTDESIGN

EMbedded systems Special Interest Group (EMSIG) on Embedded Systems Designfollowup to the ARTIST European Network of Excellence

Bruno Bouyssounouse — 2012-04-10T14:51:05Z

The EMSIG (EMbedded systems Special Interest Group) has been created as a followup to the ARTIST European Network of Excellence on Embedded System Design, to serve as a focal point for the vibrant community it has fostered.

EMSIG is a recognized body of experts within the larger Embedded Systems research community, that:

leverages on the ArtistDesign NoE results
helps to structure the Embedded Systems Design community
identifies areas of future research and development
interacts on a high level with industry, funding agencies, and other world-class structures (eg ARTEMIS)
supports the advancement of state of the art embedded systems design approaches
facilitates the exchange of ideas and knowledge in embedded systems design
provides visibility and dissemination (eg: web hosting for events), projects
supports the creation of project consortia
spreads knowledge in embedded systems design
supports the application of embedded systems technology

It is managed by a Strategic Management Board, which decides on activities and actions, and the overall goals and policy of the SIG. The interim chair is Prof. Peter Marwedel. Operational management for EMSIG is carried out by a private company called SAXEL (run by Bruno Bouyssounouse).

EMSIG is a part of EDAA (the European Design and Automation Association), the permanent structure that also handles the DATE conference.

ARTIST Mailing List

The ARTIST Mailing List will continue to be administered by EMSIG.

35. Videos

Bruno Bouyssounouse — 2012-04-05T07:49:42Z

Videos of the ARTIST Summer School in Europe, 2011 are now available on the ADSIG (ArtistDesign Special Interest Group) website.