Dissemination

ARTIST followup

March 24th, 2010 University of Oxford, UK

sponsored by Artist organised with Artist partners

09:40 - 09:45 Presentation of the UML&AADL workshop

SESSION 1: Safety Critical Systems

09:45 - 10:10 A MDE-based Process for the Design, Implementation and Validation of Safety Critical Systems
Julien Delange, Jérôme Hugues, Laurent Pautet and Dionisio de Niz
10:10 - 10:35 Testing Safety Critical Systems with SysML/UML
Matthew Hause, Dave Richards, Andrew Stuart
10:35 - 11:00 Supporting the Design of Safety Critical Systems Using AADL
T. Correa, L.B Becker, J-M Farines, J-P.Bodeveix, M.Filali, F.Vernadat

11:00 - 11:30 COFFEE BREAK

SESSION 2: Formal Modeling

11:30 - 11:55 Expressing and enforcing user-defined constraints of AADL models
Olivier Gilles, Jérôme Hugues
11:55 - 12:20 Formal Modeling for UML/MARTE Concurrency Resources
Pablo Penil, Hector Posadas, Eugenio Villar
12:20 - 12:45 QVT Based Model Transformation from Sequence Diagram to CSP
Li Dan and Li Danning

12:45 - 14:00 LUNCH

15:15 - 15:30 COFFEE BREAK

SESSION 3: Integrative approaches

15:30 - 15:55 Knowledge models to reduce the gap between heterogeneous models
David Simon Zayas, Anne Monceaux, Yamine Ait-Ameur
15:55 - 16:15 From MARTE to AADL with a Seamless Process
Isabelle Perseil, Laurent Pautet

SESSION 4: Tools and Methodologies

16:15 - 16:40 Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate
Michael.Kerboeuf , Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux
16:40 - 17:05 OMEGA2: A new version of the profile and the tools
Iulian Ober and Iulia Dragomir
17:05 - 17:30AADS+: AADL Simulation including the Behavioral Annex
Roberto Varona-Gomez, Eugenio Villar

17:30 - 18:30 ICECCS AADL Panel

Mamoun Filali (slides),
CNRS Researcher at IRIT (Toulouse, France)

Jérôme Hugues (slides),
Associate Professor at ISAE (Toulouse, France)

Laurent Pautet (slides),
Professor at Telecom ParisTech (Paris, France)

Frank Singhoff (slides),
Professor at University of Brest (Brest, France)