February 19-23, 2007       Trento, Italy organised and funded by ARTIST 

MOdelling, TestIng, and Verification for Embedded Systems

Monday, Feb. 19

Modeling and Design of Heterogeneous Systems

Alberto Ferrari PARADES Modeling of Heterogeneous Systems in Metropolis
Joseph Sifakis Verimag Component-based Construction of Real-Time Systems
Roberto Passerone Trento Interface and component-based design for heterogeneous systems
Benoit Caillaud INRIA Composition and Transformation of Heterogeneous Real-Time Systems
Student Presentations

Tuesday, Feb. 20

Model Transformation and UML

Reiko Heckel Leicester Foundations of Model Transformation
Andy Schuerr Darmstadt MDD with OMG Standards MOF, OCL, QVT and Graph Transformations
Wang Yi Uppsala Schedulability Analysis of Timed Systems
Julio Medina CEA/LIST UML for scheduling Analysis
Social Dinner

Wednesday Feb. 21

Static Analysis for Safety and Performance

Hanne Riis Nielson DTU Static Analysis for Safety and Security
Reinhard Wilhelm Saarland Timing Analysis for Real-Time Systems part 1 part 2
Samarjit Chakraborty Singapore Interactive Performance Debugging of Real-Time Systems part 1 part 2
Sylvie Putot CEA Abstract Interpretation of Floating-Point Computations
Joerg Bauer Saarland Static Analysis of Dynamic Communication Systems

Thursday Feb. 22

Schedulability and Controller Synthesis

Jean-Francois Raskin ULB Controller Synthesis part 1 part 2
Joost-Pieter Katoen Aachen Soft Real Time Scheduling and Quality of Service
Kim Larsen Aalborg Optimal Scheduling and Controller Synthesis
Giuseppe Lipari Sant’Anna Contract-based Scheduling: An Overview of the Results of the FIRST EU Project

Friday Feb. 23

Testing and Run-Time Verification

Ed Brinksma Embedded Systems Institute Conformance Testing and Test Coverage part 1 part 2
Vlad Rusu IRISA Formal verification and testing for reactive systems
Bernd Finkbeiner Saarland Run-Time Verification

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

Réalisation Axome - Création de sites Internet