Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news] CfP : ARTIST WS on Tool Platforms for Embedded systems, July 1-2, with CAV, Berlin

Discussion topic

Back to topic list

[verimag-news] CfP : ARTIST WS on Tool Platforms for Embedded systems, July 1-2, with CAV, Berlin

Author Susanne Graf <Susanne dot Graf at imag dot fr>
Full name Susanne Graf <Susanne dot Graf at imag dot fr>
Date 2007-06-13 03:15:32 PDT
Message Call for Contributions and Participation

                     ARTIST International Workshop on
                             TOOL PLATFORMS for

                      July 1-2, 2007 - Berlin, Germany
                    A Workshop affiliated with CAV 2007

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.

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.

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 Gerard Berry (Esterel Technology, common session with FMICS)
    o Rolf Ernst (TU Braunschweig)
    o Sabine Glesner (TU Berlin)
    o Tom Henzinger (EPFL, Lausanne, common session with FMICS)
    o Rainer Leupers (RWTH Aachen)
    o Marc Pantel (ENSEEIHT)
    o Susanne Graf (VERIMAG)
    o Jan Madsen and Kim Larsen (Danmark)
    o Francois Terrier (CEA-LIST)

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.

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 by a collection
of short position papers.

    * Submission deadline: June 20, 2007
    * Notification of acceptance: June 27, 2007
    * Meeting date: July 1-2, 2007

This workshop is organized by the European Network of Excellence ARTIST on
Design of Embedded Systems (see http://www.artist-em​bedded.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 46 (or 44)
2, avenue de Vignate | http://www-verimag.i​mag.fr/~graf/
F - 38610 Gieres | e-mail: Susanne dot Graf at imag dot fr

« Previous message in topic | 1 of 1 | Next message in topic »


Show all messages in topic

[verimag-news] CfP : ARTIST WS on Tool Platforms for Embedded systems, July 1-2, with CAV, Berlin Susanne Graf <Susanne dot Graf at imag dot fr> Susanne Graf <Susanne dot Graf at imag dot fr> 2007-06-13 03:15:32 PDT
Messages per page: