Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news ] Summer School on "Components & Modelling, Testing & Verification, and Static Analysis of Embedded Systems"

Discussion topic

Back to topic list

[verimag-news ] Summer School on "Components & Modelling, Testing & Verification, and Static Analysis of Embedded Systems"

Author Susanne Graf <Susanne dot Graf at imag dot fr>
Full name Susanne Graf <Susanne dot Graf at imag dot fr>
Date 2005-08-10 00:57:44 PDT
Message ARTIST2 Summer School on
                          Components & Modelling,
                       Testing & Verification, and
                             Static Analysis
                           of Embedded Systems

                           Nässlingen, Sweden
            Thursday September 29 - Sunday October 2, 2005
              Organized by ARTIST2 Network of Excellence
            sponsored by the 6th European Framework Programme


The ARTIST2 Summer School is a 4 day summer school for young
researchers working or wanting to work in the fields of modelling,
validation and performance analysis of embedded systems as well as
engineers from industry with practical background in design and
testing of embedded systems.

The Summer School offers a number of foundational tutorials accompanied
by a selection of exciting new emerging technologies all given by
absolute leading scientific experts of the community. Also the Summer
School is linked to FORMATS, the International Conference on Formal
Modelling and Analysis of Timed Systems
(http://www.it.uu.se/​formats05/), also taking place in Uppsala on
September 26-28 just prior to the Summer School.

The Summer School is organised by the ARTIST2 Network of Excellence
(http://www.artist-em​bedded.org/FP6/) with strong contributions from
three of its research clusters: Modelling & Components, Testing &
Verification and Compilers & Timing Analysis. The school is open for
participation for everybody, however, some previous training and/or
experience in fundamentals of computer science as well as knowledge of
computer architecture is required.

The Summer School will take place at Nässlingen
(http://www.nasslingen.com/), a small island in the Stockholm
archipelago, located about 50 km north east of Stockholm. Nässlingen
is an old archipelago homestead, which has been converted into a
modern conference centre, but retained its old genuine character.

Students will be accommodated in double rooms, and they will stay on
the island during the school. Hence, there will be lots of
opportunities for interaction among the participants, both in and out
the lecture room, during the meals, or at the bar. Long
after-the-lecture discussions are one of the major assets of this
summer school.

The deadline for registration is August 26. The applicants
will be accepted on a first-come first served basis until the
positions are filled. The summer school fee is 4900 SEK (approx. 530
EURO) and includes registration, accommodation, bus transport, and all
meals (breakfast, lunch, dinner, coffee). To register for the summer
school, please follow the intstruction on the web page.

Scientific Programme

Thursday September 29
     Ileana Ober, IRIT Université Paul Sabatier, Toulouse, France.
     UML and UML 2.0
- Sebastien Gerard, CEA, Paris, France.
     UML for Real Time Systems
- Susanne Graf, VERIMAG, Grenoble, France
     Verification of UML models

     Reiko Heckel, University of Leicester, UK.
     Language Engineering for Model-Driven Software Development
- PA Muller, ESSAIM, Mulhouse univ. France.
     Applications of model transformations.

Friday September 30
     Alberto Ferrari, PARADES, Rome, Italy
     Modeling of Heterogeneous Systems in Metropolis
     Joseph Sifakis, VERIMAG, Grenoble, France
     Components & Modelling with Priorites in IF.

     Jean-Francois Raskin, Universite Libre de Brussels, Belgium
     Controller Synthesis and Code Generation

Saturday October 1
     Hanne Riis Nielson, IMM, Technical University of Denmark
     Foundations of Static Analysis
- Flemming Nielson, IMM, Technical University of Denmark
     Static Analysis for Secure ES
- Reinhard Wilhelm, Saarbrücken, Germany
     Worst Case Execution Time Analysis

     Ed Brinksma, Twente University, The Netherlands
     Foundations of Testing
- Thierry Jeron, IRISA, Rennes, France
     Test Generation using Model Checking
- Brian Nielsen, Aalborg University, Denmark
     On-line Testing for Real-time Systems

Sunday October 2
     Patricia Bouyer, ENS Cachan, France
     Foundation for Timed Systems
- Gerd Behrmann, Aalborg University
     Real-time Model Checking using UPPAAL
- Stavros Tripakis, Verimag, Grenoble, France
     Fault-Diagnosis for Real-time Systems

     Joost-Pieter Katoen, RWTH Aachen University, Germany
     Foundations for Stochastic Systems
- Holger Hermanns, Saarland University, Germany
     Applications of Stochastic Model Checking
- David Parker, University of Birmingham, England
     PRISM a Tool for Stochastic Model Checking

Steering Committee
- Bengt Jonsson, Uppsala University, Sweden
- Kim G Larsen, Aalborg University, Denmark
- Reinhard Wilhelm, Saarbrücken, Germany

Organising Committee
- Ulrika Anderssson, Uppsala University, Sweden
- Patrik Johansson, Uppsala University, Sweden
- Bengt Jonsson, Uppsala University, Sweden
- Paul Pettersson, Uppsala University, Sweden
- Wang Yi, Uppsala University, Sweden

For more information about the summer school, see the web site
Please use the email adress artist2school(at)list.it.uu.se to contact
the local organisers.

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


Show all messages in topic

[verimag-news ] Summer School on "Components &amp; Modelling, Testing &amp; Verification, and Static Analysis of Embedded Systems" Susanne Graf <Susanne dot Graf at imag dot fr> Susanne Graf <Susanne dot Graf at imag dot fr> 2005-08-10 00:57:44 PDT
Messages per page: