ARTIST2 - MOTIVES 2007

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

ARTIST2 - MOTIVES
MOdelling, TestIng, and Verification for Embedded Systems

Monday, Feb. 19


Modeling and Design of Heterogeneous Systems

Alberto FerrariPARADES Modeling of Heterogeneous Systems in Metropolis
Joseph SifakisVerimagComponent-based Construction of Real-Time Systems
Roberto PasseroneTrento Interface and component-based design for heterogeneous systems
Benoit CaillaudINRIAComposition and Transformation of Heterogeneous Real-Time Systems
Student Presentations

Tuesday, Feb. 20


Model Transformation and UML

Reiko HeckelLeicesterFoundations of Model Transformation
Andy SchuerrDarmstadtMDD with OMG Standards MOF, OCL, QVT and Graph Transformations
Wang YiUppsalaSchedulability Analysis of Timed Systems
Julio MedinaCEA/LISTUML for scheduling Analysis
Social Dinner

Wednesday Feb. 21


Static Analysis for Safety and Performance

Tutorials
Hanne Riis NielsonDTUStatic Analysis for Safety and Security
Reinhard WilhelmSaarlandTiming Analysis for Real-Time Systems part 1 part 2
Samarjit ChakrabortySingaporeInteractive Performance Debugging of Real-Time Systems part 1 part 2
Sylvie PutotCEAAbstract Interpretation of Floating-Point Computations
Joerg BauerSaarlandStatic Analysis of Dynamic Communication Systems

Thursday Feb. 22


Schedulability and Controller Synthesis

Jean-Francois RaskinULBController Synthesis part 1 part 2
Joost-Pieter KatoenAachenSoft Real Time Scheduling and Quality of Service
Kim LarsenAalborgOptimal Scheduling and Controller Synthesis
Giuseppe LipariSant’AnnaContract-based Scheduling: An Overview of the Results of the FIRST EU Project

Friday Feb. 23


Testing and Run-Time Verification

Ed BrinksmaEmbedded Systems InstituteConformance Testing and Test Coverage part 1 part 2
Vlad RusuIRISAFormal verification and testing for reactive systems
Bernd FinkbeinerSaarlandRun-Time Verification
(c) Artist2 Consortium, All Rights Reserved - 2006
Réalisation Axome - Création de sites Internet