February 19-23, 2007 Trento, Italy | organised and funded by ARTIST |
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 |
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 |
Static Analysis for Safety and Performance | |||
Tutorials | |||
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 |
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 |
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