Call for Contributions and Participation
ARTIST International Workshop on
TOOL PLATFORMS for
MODELING, ANALYSIS and VALIDATION of EMBEDDED SYSTEMS
July 1-2, 2007 - Berlin, Germany
A Workshop affiliated with CAV 2007
http://www.artist-embedded.org/artist/-Tool-platforms-for-modelling-.html
AIMS, SCOPE
All areas of embedded systems are very active, both in terms of research results
and specific technologies. These generally strive for enhanced design processes,
allow greater flexibility in design choices, and earlier validation.
Nevertheless, methods that integrate validation at all stages of the design and
development, and addressing both functional and non-functional aspects, has yet
to be achieved.
This workshop will allow discussion on specific embedded systems design
problems, and presentations of design and development solutions - showing how
existing analysis techniques have already been used or integrated into the
development process.
A main aim is to encourage cross-fertilisation between these academic and
industrial research communities:
- For embedded systems: the challenge is to integrate software engineering
methods and
techniques that go beyond classical, well-proven software and system development
approaches, and their existing validation and correctness-by construction methods.
- For formal methods: the challenge is to adapt and extend existing verification
techniques to embedded systems where in particular non functional properties are
a major challenge.
Thus, the workshop focuses on the integration of tool-supported analysis and
validation techniques, for embedded systems development. Contributions should
discuss model-based approaches, with respect to their accompanying validation or
tools or case studies, and focus on integration of existing validation methods
into design flows used in practice.
FORMAT
This workshop will consist mainly of invited high-level presentations and
discussion sessions, and not be a mini-conference.
There will be sessions with short presentations, selected from abstract
submissions. We expect submissions from both the model-checking and the embedded
systems design community.
TARGET AUDIENCE
Industry representatives and researchers wishing to interact about needs for
leading-edge embedded systems design tools integrating well established
automatic validation methods.
This is a clear opportunity to learn about or to present existing tools, and to
discuss orientations for future evolution.
INVITED SPEAKERS (to be completed)
o Rolf Ernst (TU Braunschweig)
o Sabine Glesner (TU Berlin)
o Tom Henzinger (EPFL, Lausanne)
o Rainer Leupers (RWTH Aachen)
o Marc Pantel (ENSEEIHT)
o Susanne Graf (VERIMAG)
o Jan Madsen and Kim Larsen (Danmark)
GUIDELINES FOR SUBMISSION
We expect short 1-2 page contributions on topics relevant for the workshop.
Each presentation will be approximately15 minutes. Presentations as well as
submissions should focus
on the discussion topics above.
PROCEEDINGS
We do not to provide formal workshop proceedings, but we will make the
slides of the presentations available in PDF on the WS web page. We also expect
to disseminate the results of the workshop.
IMPORTANT DATES
* Submission deadline: June 20, 2007
* Notification of acceptance: June 27, 2007
* Meeting date: July 1-2, 2007
ORGANISERS
This workshop is organized by the European Network of Excellence ARTIST on
Design of Embedded Systems (see http://www.artist-embedded.org/artist/).
The organisers are Susanne Graf (Verimag, France), Sebastien Gerard (CEA/LIST,
France), Kim Larsen (Aalborg, Danmark), Jan Madsen (TU of Danmark) and Martin
Torngren (KTH, Sweden)
--
------------------------------------------------------------------------
Susanne Graf | tel : (+33) (0)4 56 52 03 52
VERIMAG | fax : (+33) (0)4 56 52 03 44
2, avenue de Vignate | http://www-verimag.imag.fr/~graf/
F - 38610 Gieres | e-mail: [log in to unmask]
------------------------------------------------------------------------
|