10:30-12:30 Room Guillaumet Thursday 2 February 2012
> Session 4B - Hardware/Software Co-Design
Session Chair: Guy Estaves - Thales Alenia Space, France
4B.1 COMPONENT-BASED TECHNOLOGIES FOR HW/SW CO-DESIGN
Ana Rodriguez - GMV, Spain
Francisco Ferrero - GMV, Spain
4B.2 Improving architecture efficiency of SoftCore processors
Bertrand Le Gal - IMS Laboratory - UMR CNRS 5218, France
Christophe Jego - IMS Laboratory - UMR CNRS 5218, France
4B.3 A Simulator based on QEMU and SystemC for Robustness Testing of a Networked Linux-based Fire Detection and Alarm System
Massimiliano D'Angelo - ALES S.r.l., Italy
Alberto Ferrari - ALES S.r.l, Italy
Ommund Ogaard - Autronica Fire and Security, Norway
Claudio Pinello - United Technologies Research Center, United States
Alessandro Ulisse - ALES S.r.l, Italy
4B.4 SoCKET: A HW/SW Co-Design Flow: Presentation & feedbacks from aeronautic and space application domains
Vincent Lefftz - Astrium SAS, France
Pierre Moreau - Airbus Operations SAS, France
13:30-15:30 Room Guillaumet Thursday 2 February 2012
> Session 5B - SysML in Use in Model Based Engineering
Session Chair: Bruce Lewis - US Army, USA
5B.1 DesyreML: a SysML profile for heterogeneous embedded systems
Alberto Ferrari - ALES S.r.l., Italy
Leonardo Mangeruca - ALES S.r.l., Italy
Orlando Ferrante - ALES S.r.l. & University of Rome La Sapienza, Italy
Alessandro Mignogna - ALES S.r.l. & Scuola Superiore Sant’Anna, Italy
5B.2 MADES: A SysML/MARTE high level methodology for real-time and embedded systems
Imran Rafiq Quadri - Softeam, France
Andrey Sadovykh - Softeam, France
Leandro Soares Indrusiak - University of York, United Kingdom
5B.3 Combining SysML and AADL for the Design, Validation and Implementation of Critical Systems
Pierre De Saqui-Sannes - LAAS/ISAE, France
Jerome Hugues - ISAE, France
5B.4 SysML for embedded automotive Systems : lessons learned
Jean-Denis Piques - VALEO - Engine and Electrical Systems, France
Eric Andrianarison - VALEO - Group Electronic Expertise and Development Services, France
16:00 -17:00 Room Guillaumet Thursday 2 February 2012
> Session 6B - Case studies
Session Chair: Jean-Paul Blanquart - Astrium Satellites, France
6B.1 Modeling and Validation of a Data Process Unit Control for Space Applications
Hai Wan - Key Lab of ISS of MOE, TNList, School of Software, Tsinghua University, China
Congdi Huang - Key Lab of ISS of MOE, TNList, School of Software, Tsinghua University, China
Yuhui Wang - Key Lab of ISS of MOE, TNList, School of Software, Tsinghua University, China
Fei He - Key Lab of ISS of MOE, TNList, School of Software, Tsinghua University, China
Ming Gu - Key Lab of ISS of MOE, TNList, School of Software, Tsinghua University, China
Marius Bozga - Verimag/CNRS, France
6B.2 Customization principles of an aeronautics SLM environment and an illustration
on an aeronautics use cases: the doors management System and the flight control system
Philippe Baufreton - SAGEM, France
Gérard Cristau - THALES R&T, France
Odile Laurent - AIRBUS FRANCE, France
Fabien Paganelli - SAGEM, France
Nikolaos Priggouris - HAI, Greece
Stéphane Bonnet - CNRS, France
Ivo Viglietti - ALENIA SIA, Italy
10:30-12:30 Room Guillaumet Friday 3 February 2012
> Session7B - Model Based Process
Session Chair: Marie-Line Valentin - Airbus, France
7B.1 Increasing intersystem functionalities validations efficiency thanks to Model Based Design
Pedro Moreno-Lahore - RENAULT, France, Metropolitan
Yves Touzeau - RENAULT, France, Metropolitan
Olivier Guetta - RENAULT, France, Metropolitan
7B.2 Model-Based Engineering approach for system architecture exploration
Julien Delange - European Space Agency, Netherlands
Christophe Honvault - European Space Agency, Netherlands
James Windsor - European Space Agency, Netherlands
7B.3 Use of modelling methods and tools in an industrial embedded system project : works and feedback
Anthony Fernandes Pires - Atos Origin, France
Stéphane Duprat - Atos Origin, France
Tristan Faure - Atos Origin, France
Cédrik Besseyre - Airbus, France
Jack Beringuier - Atos Origin, France
Jean-François Rolland - Atos Origin, France
7B.4 Formal Model Driven Engineering for Space Onboard Software
David Lesens - EADS Astrium Space Transportation, France
Eric Conquet - ESA, France
Francois-Xavier Dormoy - Esterel Technologies, France
Iulia Dragomir - IRIT, France
Piotr Nienaltowski - Altran-Praxis, United Kingdom
Iulian Ober - IRIT, France
14:40-16:10 Room Guillaumet Friday 3 February 2012
> Session 8B - Model Based Testing
Session Chair: Fabrice Derepas - CEA, France
8B.1 ISO 26262 Compliant Automatic Requirements-Based Testing for TargetLink models and generated code
Udo Brockmeyer - BTC Embedded Systems AG, Germany
Adrian Valea - BTC Embedded Systems AG, Germany
Markus Gros - dSPACE SARL, France
8B.2 DIVERSITY–TG: Automatic Test Case Generation from Matlab/Simulink models
Diane Bahrami - CEA, LIST, LISE Laboratory, France
Alain Faivre - CEA, LIST, LISE Laboratory, France
Arnault Lapitre - CEA, LIST, LISE Laboratory, France
8B.3 Application of Model-Based Testing on a Railway Project
Mathieu Steiner - ALL4TEC, France
Anthony Faucogney - ALL4TEC, France
Valérie Bouquet - ALL4TEC, France