|
|
|
 |
Description de l'événement |
|
International Conference : ERTS EMBEDDED REAL TIME SOFTWARE 2008
TOULOUSE, FRANCE - Palais des congres - Pierre Baudis
January 29, 30, 31, February 1, 2008
|
|
Programme – Friday February 1, 2008
|
|
08:00 – 08:30
|
Participants registration / Welcome Coffee
|
|
08:30 – 09:30
|
Keynote address
Embedded Systems in FP7 and the ARTEMIS JTI: State-of-Play
Kostas GLINOS – European Commission
Session Chair : Jean Claude LAPRIE- LAAS / CNRS, France
|
|
|
Session 8A: Principles of Architecture Description Languages
Session Chair: Bruce LEWIS - US Army
|
Session 8B: AUTOSAR Methodology
Session Chair: Werner DAMM - Offis
|
Session 8C: Testing Session Chair: Shigeharu TESHIMA Nagoya University
|
Session 8D : Human-Machine Interaction 2 Session Chair: Louis-Claude VRIGNAUD Continental Automotive France
|
|
9:40 – 10:05
|
From UML to AADL : A Need for an Explicit Execution Semantics Modelling with
MARTE Matthias BRUN, Jérôme DELATOUR - ESEO, France
Madeleine FAUGERE - THALES, France
Thomas VERGNAUD - CNES, France
|
Model-Based Design for AUTOSAR Software Components
Ulrich EISEMANN - dSPACE GmbH, Germany
|
Software Factory Testing Tools : an Analysis Framework
Emmanuel LEDINOT - Dassault Aviation, France
Michel NAKHLE -Communication & Systems -France
Philippe ROBIN - Trialog, France
|
HMI automated code generation
Mark GRANT, Ken MERRICK – Continental Automotive France
|
|
10:05 – 10:30
|
Towards a formal semantics for AADL execution model
Jean-Francois ROLLAND, Jean-Paul BODEVEIX, Mamoun FILALI -IRIT-UPS, France
David CHEMOUIL - CNES, France
Dave THOMAS - ASTRIUM, France
|
Developing Automotive Products using the EAST-ADL2,an AUTOSAR Compliant Architecture Description Language Philippe CUENOT - Continental Automotive France Henrik LÖON - Volvo Technology Coporation, Sweden
Chen DIJU - KTH- Royal Institute of Technology, Sweden
Patrick FREY - ETAS GmbH, Germany
Johansson ROLF - Mentor Graphics AB, Sweden
Mark Oliver REISER, Ramin TAVAKOLI-KALAGARI - TUB, Germany
Patrick SERVAT - CEA LIST, France
|
Statistical Testing of Synchronous Reactive Systems
Julien FAYOLLE, Marie-Claude GAUDEL, Sandrine-Dominique GOURAUD - Université Paris-Sud, France
Bruno MARRE - CEA LIST, France
|
Statistical Characteristics of Backward Glancing while Natural Driving on Express Way
Akihiko TAKAHASHI, Motoyuki AKA-MATSU - Natl. Inst. of Advanced Industrial Science and Technology, Japan
|
|
10:30 – 10:55
|
Enforcement of Quality Attributes for Net-centric Systems through Modelling and Validation with Architecture Description Languages Jörgen HANSSON, Peter FEILER, Aaron GREENHOUSE - Software Engineeringe Institute, Carnegie Mellon University, USA
|
AUTOSAR Methodology and Tools Applied on Two OEM Use Cases
Eliane FOURGEAU, Rosa GRAGOSSIAN, Eric LARRONDE -Geensys, France
Alain GILBERG, Bertrand DELORD, Linda TOSSA - PSA Peugeot Citroën, France
|
AGATHA / TTS: From UML Modeling to Test Case Generation and Execution Philippe ROBIN, Michel SALL, Nicolas François - TRIALOG, Paris, France Jean Yves PIERRON - CEA-LIST, France
|
Keeping the user in the loop in automotive software development Johan ENGSTRÖM - Volvo Technology AB, Sweden
|
|
10:55 – 11:25
|
Exhibition visit / Refreshment break
|
|
|
Session 9A: Tool Chains Session Chair : Pierre VIELCANET,CS
|
Session 9B: Feedback and Perspectives Session Chair : François VERNIERES Aerospace Valley
|
Session 9C: Formal Verification Session Chair : Jean-Paul BLANQUART Astrium Satellites
|
|
11:25 – 11:50
|
SCADE 6 a Model Based Solution for Safety Critical Software Development François
Xabvier DORMOY - Esterel Technologies, France
|
An Ontological Representation of the Characteristic Problems of Real-Time Systems
Antonio MONZON - EADS-CASA, Spain
Jose-luis FERNANDEZ-SANCHEZ - Technical University of Madrid, Spain
|
Equivalence Checking between Embedded C code and Corresponding StateflowTM Diagram Specification
Philippe BAUFRETON - Hispano-Suiza, France
Marc SEGELKEN - OFFIS, Germany
|
|
11:50 – 12:15
|
An End-to-End Model Based Tool Chain for Architecture Exploration Denis LAROUDIE - Geensys, France
|
On-Board Software Roadmap for Space Complex Applications Paul ARBERET - Centre National des études spatiales (CNES), France Jean-Loup TERRAILLON - ESA, Netherlands Alain ROSSIGNOL - ASTRIUM, France Christophe MORENO - TAS, France
|
The Formal Methods Group of WG-71/ SC-205 - Progress Report July 2007
Duncan BROWN - Rolls-Royce, UK
|
|
12:15 – 12:40
|
A Toolchain For Designing And Implementing Efficient, Flexible And Safety-Critical Applications.
Matthieu LEMERRE, Vincent DAVID, Jean-Sylvain CAMIER,
Damien CHABROL - CEA, LIST, France
|
Using Linux for Industrial Projects – a Return of Experiences
Christian CHARREYRE - CIO Informatique Industrielle, France
|
FBD-Based PLC Verification Demonstrated on Interlocking Software
Olivera PAVLOVIC, Ralf PINGER - Siemens AG, Transportation Systems, Germany
Maik KOLLMANN - Technical University of Braunschweig, Institute of Information Systems, Germany
|
|
12:40 – 14:10
|
Exhibition visit / Lunch sponsored by AONIX
|
|
|
Session 10A: AADL and Performance Analysis Session Chair: Christel SEGUIN - ONERA CERT
|
Session 10B: Object Orientation for Real-Time Session Chair: Alain ROSSIGNOL - ASTRIUM Satellites SAS
|
Session 10C: Certification of Automatic Code Generation
Session Chair: Emmanuel LEDINOT - Dassault Aviation
|
|
14:10 – 14:35
|
Simulation of System Architectures with AADL
Jean-François TILMAN - Geensyde, France
Amélie SCHYN - Axlog Ingénierie, France
Romain SEZESTRE - Geensys, France
|
Programming Languages for Hard Real-Time Embedded Systems Julien FORGET, Claire PAGETTI - ONERA, France
Marc POUZET - LRI, France
Frédéric BONIOL - ENSEEIHT, France David LESENS - Astrium Space Transportation, France
|
Certifying an Automated Code Generator Using Formal Tools : Preliminary Experiments in the GeneAuto Project
Nassima IZERROUKEN, Xavier THIRIOUX, Marc PANTEL, Martin STRECKER - IRIT, France
|
|
14:35 – 15:00
|
Using AADL to Build Critical Real-time Systems: Experiments in the IST-ASSERT Project
Jerome HUGUES, Laurent PAUTET, Bechir ZALILA - GET-Telecom Paris, UMR 5141 CNRS,
France Pierre DISSAUX - Ellidiss Technologies, France
Maxime PERROTIN - ESA, Netherlands
|
Static Data Flow Analysis for Realtime Java Runtime Error Detection
Fridtjof SIEBERT - Aicas, Germany
|
GeneAuto: An Automatic Code Generator for a safe subset of SimuLink/StateFlow
Marc PANTEL, Marcel GANDRIAU - FéRIA-IRIT/ENSEEIHT, University of Toulouse, France
Tonu NAKS, Andres TOOM - IB Krates, Estonia Indra WATI - Cril Technologies (Groupe Alyotech), France
|
|
15:00 – 15:25
|
Multi-Dimensional Model Based Engineering for Performance Critical Computer Systems Using the AADL Bruce LEWIS - US Army RDEC, USA Peter FEILER - Software Eng Institute, USA
|
Applying Java to the Domain of Hard Real-Time Systems
Kelvin NILSEN - Aonix, USA
|
Certification of Model-based Code Generators– Open Problems and Possible Solutions
Ingo STUERMER - Model Engineering Solutions, Germany
|
|
15:25 – 16:00
|
Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures
Pierre DISSAUX - Ellidiss Technologies, France
Frank SINGHOFF - University of Brest, France
|
Forecasting of Object-Oriented Faults
Stephanie GAUDAN - Thales Avionics, France
Gilles MOTET - INSA, France
|
Case Study of ED-12B/DO-178B Tool Qualification for Auto-Code Generation Toolset
Scott BEECHER - UTC/Pratt & Whitney, USA
|
|
16:00 – 16:30
|
Closing Session:
Gérard LADIER - Airbus and Congress Co-Chairman
Jean-Luc MATÉ - Continental Automotive France and Congress Co-Chairman
Jean-Claude LAPRIE - LAAS-CNRS and Programme Committee Chairman
|
|
16:30
|
END OF CONGRESS
|
|
|
Programme