A workshop organised as a satellite event of the CAV’2007 conference, 1st of July in Berlin

Meeting date: July 1st 2007 in Berlin, 2 days
Organiser(s): Susanne Graf, Kim Larsen, Sebastien Gerard, Martin Torngren, Jan Madsen

Public web page

The public page for this meeting is available here.

Agenda (A high-level view of the main points to be discussed)

This workshop consisted mainly of invited high level presentations and discussion sessions. There were also short presentations selected from abstract submissions.

A detailed programme with slides and accompagnying (short) paper can be found at : http://www.artist-embedded.org/arti...


Participants in the Meeting The list of the 23 participants and speakers can be found at http://www.artist-embedded.org/arti....

Most participants where from different Artist clusters, in particular their associated platform activities

The main aim of this workshop was to intensify the cross fertilisation between the formal methods and the embedded systems communities. The challenge for the embedded systems area is to go beyond the classical well-proven software and system development approaches and their existing validation and correctness-by construction methods to integrate also methods and techniques developed in the domain of software engineering. For the formal methods community, the challenge is to adapt and extend existing verification techniques to the context of embedded systems where in particular non functional properties are a major challenge.

Therefore, the topics of the workshop focused on the integration of tool supported analysis and validation techniques into a development process in the domain of embedded systems. The submitted contributions dealt with model-based approaches for the development of embedded systems with respect to the problematic of their validation or tools or case studies on the integration of existing validation methods into design flows used in practice.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet