Wednesday, april, 2

Previous edition results

---

• Presentation of the organizers
  programme of the day, general trends, actions and projects
• Isabelle Perseil, Laurent Pautet :’A Concrete Syntax for UML 2.1 Action Semantics Using +CAL’
• Chokri Mraidha, Yann Tanguy, Christophe Jauvray, Francois Terrier, Sebastien Gerard :An Execution Framework for MARTE Based Models
• Su-Young Lee, Frédéric Mallet, Robert de Simone : Dealing with AADL End-to-end Flow Latency with UML MARTE
• Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaida: ’Contract-based approach to analyze software components’
• Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga :’Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework’
• Matthew C Hause , F. Thom : ’An Integrated MDA Approach with SysML and UML’
• Matthias Brun, Jérôme Delatour, Yvon Trinquet : ’Code Generation from AADL to a Real-time Operating System:An Experimentation Feedback on the Use of Model Transformation’
• Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre-Yves Pillain, Jean-Charles Roger : ’AADL Execution Semantics Transformation for Formal Verification’
• Hugues Balp, Étienne Borde, Grégory Haïk, Jean-François Tilman : ’Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems’
• Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers :’Using AADL to Model a Protocol Stack’
• Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas : ’Modes in Asynchronous Systems’
• Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou and Olivier H. Roux : ’A Study of the AADL Mode Change Protocol’
• Peter H. Feiler : ’Efficient Embedded Runtime Systems Through Port, Communication Optimization’

Panel discussion around the various model transformation techniques (automatic or not), code generation from UML diagrams or AADL models, and more generally around a model-driven development process that integrates the joint use of UML/AADL or SysML/AADL
with Peter Feiler, Mamoun Filali, Sebastien Gérard, Stefan Van Baelen, Matthew C Hause

Réalisation Axome - Création de sites Internet