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 Welcome   Partners   Committees   Programme at a glance   Wednesday, January 30 Programme   Friday, February 1 Programme   Thursday January 31, Programme   Special Event Open Source     Venue and Access   Hotel accommodation   Sponsors   Exhibition   Social Event - Cocktail Dinner   Accompanying-person Programme   Eurobot   ERTS Main Topics   Press Room   Proceedings   40th Anniversary of Software Engineering   CD-2008-01 - ERTS EMBEDDED REAL TIME SOFTWARE 2008 Sous-titre : January 29, 30, 31 & February 1 Editeur : SIA - 01/02/2008 R-2008-01-01 - A System Development Process with EventB Rodin Platform Date édition : 29/01/2008 Auteur : Jean-Raymond Abrial - Swiss Federal Institute of Technology, Zurich R-2008-01-1A01 - TOPPROCESS : A Process Model Driven Approach Applied in TOPCASED for Embedded Real-Time Software Date édition : 29/01/2008 Auteur : Angel Garcia, Jean-Nol Guyot, Boris Libert - Tectosages, Verniolle, France Benoît Combemale, Xavier Crégut - IRIT – University of Toulouse R-2008-01-1A03 - Enabling of AUTOSAR system design using Eclipse-based tooling Date édition : 29/01/2008 Auteur : H. Heinecke, M. Rudorfer, P. Hoser, C. Ainhauser, O. Scheickl - BMW R-2008-01-1A04 - Built-in Interoperability and Scalability of an Eclipse-based AUTOSAR Tool Platform Date édition : 29/01/2008 Auteur : S. Eberle, E. Fourgeau - Geensys, Boulogne-Billancourt R-2008-01-7O01 - Technology Changes In Aeronautical Systems Date édition : 29/01/2008 Auteur : Jim Krodel - Pratt & Whitney Aircraft Engines R-2008-01-7O02 - Towards functional safety in automotive electronics Date édition : 29/01/2008 Auteur : J-M. Astruc - Siemens VDO Automotive N. Becker - PSA R-2008-01-7O03 - Systems safety in a few nutshells Date édition : 29/01/2008 Auteur : Pascal Traverse - Airbus R-2008-01-1A05 - Scilab/Scicos: an Open Source Platform for Embedded Real Time Systems Development Date édition : 29/01/2008 Auteur : Claude GOMEZ , Simone MANNORI - INRIA/Scilab Consortium R-2008-01-1A06 - How to and How not to use Open Source Software Date édition : 29/01/2008 Auteur : Oliver Fendt - Siemens R-2008-01-1A02 - The MeMVaTEx methodology: from requirements to models in automotive application design Date édition : 29/01/2008 Auteur : A. Albinet - Siemens S. Begoc, O. Casse, I. Dal - Monditech FLakhal, D. Louar, Y.Sorel - INRIA R-2008-01-1A08 - Solutions To Automate Collaborative Requirements Management Date édition : 29/01/2008 Auteur : A. Larronde-Larretche Eric, B. Burgaud Lionel, C. Fourgeau Eliane - Geensys , Boulogne-Billancourt / Toulouse R-2008-01-1A07 - A multi-model process for managing project complexity Date édition : 29/01/2008 Auteur : A. Patrice BOULLE - SYSALYS, Verrières le Buisson B. Marie-Line Valentin - Airbus C. Anthony Inard - EUROCONTROL, Brétigny-sur-Orge R-2008-01-1B01 - DisCo Space-Oriented Middleware:Architecture of a Distributed Runtime Environment for Complex Spacecraft On-board Applications Date édition : 29/01/2008 Auteur : M. Prochazka, S. Fowell - SciSys Ltd, Bristol, U.K. L. Planche - EADS Astrium , Toulouse R-2008-01-7A01 - Experience of an efficient and actual MDE process : design and verification of ATC onboard systems Date édition : 29/01/2008 Auteur : E. Bonnafous, E.Saves, E. Gilbert, J.Honoré - CS-SI , Toulouse R-2008-01-1B02 - Architecture for Multiprocessor Systems for Distributed Computing Date édition : 29/01/2008 Auteur : R Natarajan, Anurag R - Tata R-2008-01-1B03 - High Availability Train To Wayside Communication System For Subway Application Using 802.11X Date édition : 29/01/2008 Auteur : AS. CHAZEL, R. DELAJUDIE, S. EL-FASSI, JY DANIC - Siemens R-2008-01-7A-03 - IMA Systems Development and Configuration: From UML Binary. A Proposal of UML Profile to be used with the ARINC 653 Standard. Editeur : SIA - 29/01/2008 Auteur : I. Lafoz, M. A. Mozas, O. Charrier, EADS-CASA C. Fernández de la Hoz , Les Ulis (Paris), France R-2008-01-1B05 - Ensuring Timed Validity of Distributed Real Time Data Date édition : 29/01/2008 Auteur : Tanguy Le Berre, Philippe Qu´einnec, G´erard Padiou - Université de Toulouse INP-IRIT R-2008-01-1C01 - Simulator-based testing environment for avionics software: a feasibility study Date édition : 29/01/2008 Auteur : S. Flores - Atos P. Le Meur, J.F. Renneson - Airbus R-2008-01-1C02 - Automating the Porting of Linux to the VirtualLogix Hypervisor using Semantic Patches Date édition : 29/01/2008 Auteur : François Armand - VirtualLogix Paris Jean Berniolles, Julia L. Lawall - DIKU, University of Copenhagen Gilles Muller - Ecole des Mines de Nantes R-2008-01-2A01 - A Model-Driven Process for Self-Adaptive Software Date édition : 29/01/2008 Auteur : Franck Chauvel , Isabelle Borne - VALORIA & University of South Brittany Vannes Olivier Barais, Jean-Marc Jézéquel - IRISA & Université de Rennes 1 Rennes R-2008-01-7B01 - Timing Requirement Description Diagrams for Real-Time System Verification Editeur : SIA - 29/01/2008 Auteur : B. Fontan - LAAS CNRS P. de Saqui-Sannes - University of Toulouse, ISAE L. Apvrille - institut TELECOM, TELECOM ParisTech R-2008-01-7B02 - Timing Analysis using the MARTE Profile in the Design of Rail Automation Systems Editeur : SIA - 29/01/2008 Auteur : M. Hagner, M. Huhn, A. Zechner Technische Universität Braunschweig - Institute for Programming and Reactive Systems R-2008-01-7B03 - Integrating System-Level and Code-Level Timing Analysis for Dependable System Development Editeur : SIA - 29/01/2008 Auteur : C. Ferdinand, R. Heckmann, F. Martin - AbsInt Angewandte Informatik GmbH M. Jersak, K. Richter - Symtavision GmbH R-2008-01-7C01 - Application Area for Multiple Software Product Lines in Automotive Development Editeur : SIA - 29/01/2008 Auteur : Uwe BEHER – ESG Elektroniksystem– und Logistik-GmbH, Germany Mike HEIDRICH – Fraunhofer ESK, Germany² Günter BÖNISCH – Continental AG,Germany R-2008-01-7C02 - A Walk Through EMS2010 Modular Software Development Editeur : SIA - 29/01/2008 Auteur : Jean-Marc DRESSLER – Renault, France R-2008-01-7C03 - Modularity and Associated Tools as a Mean to Master Quality of Complex Embedded Systems Editeur : SIA - 29/01/2008 Auteur : Robert BONETTO – RENAULT, France Jean Claude MICHON – FCF, France R-2008-01-8A01 - From UML to AADL : A Need for an Explicit Execution Semantics Modelling with MARTE Editeur : SIA - 29/01/2008 Auteur : Matthias BRUN, Jérôme DELATOUR – ESEO, France Madeleine FAUGERE – THALES, France Thomas VERGNAUD – CNES, France R-2008-01-8A02 - Towards a formal semantics for AADL execution model Editeur : SIA - 29/01/2008 Auteur : Jean-Francois ROLLAND, Jean-Paul BODEVEIX, Mamoun FILALI – IRIT-UPS, France David CHEMOUIL – CNES, France Dave THOMAS – ASTRIUM, France R-2008-01-8A03 - Enforcement of Quality Attributes for Net-centric Systems through Modelling and Validation with Architecture Description Languages Editeur : SIA - 29/01/2008 Auteur : Jörgen HANSSON, Peter FEILER, Aaron GREENHOUSE – Software Engineeringe Institute, Carnegie Mellon - USA R-2008-01-8B01 - Model-Based Design for AUTOSAR Software Components Editeur : SIA - 29/01/2008 Auteur : Ulrich Eisemann - dSPACE GmbH, Paderborn, Germany R-2008-01-8B03 - AUTOSAR methodology and tools applied on two OEM use-cases Editeur : SIA - 29/01/2008 Auteur : Eliane FOURGEAU, Rosa GRAGOSSIAN, Eric LARRONDE – Geensys, France Alain GILBERG, Bertrand DELORD, Linda TOSSA – PSA Peugeot Citroën, France R-2008-01-8C01 - Software Factory Testing Tools : an Analysis Framework Editeur : SIA - 29/01/2008 Auteur : Emmanuel LEDINOT – Dassault Aviation, France Michel NAKHLE – Communication & Systems, France Philippe ROBIN – Trialog, France R-2008-01-8C02 - Statistical Testing of Synchronous Reactive Systems Editeur : SIA - 29/01/2008 Auteur : Julien FAYOLLE, Marie-Claude GAUDEL, Sandrine-Dominique GOURAUD – Université Paris-Sud, France Bruno MARRE – CEA LIST, France R-2008-01-8C03 - AGATHA / TTS: From UML Modeling to Test Case Generation and Execution Editeur : SIA - 29/01/2008 Auteur : Philippe ROBIN, Michel SALL, Nicolas François – TRIALOG, Paris, France Jean Yves PIERRON – CEA-LIST, France R-2008-01-9A01 - SCADE 6 a Model Based Solution for Safety Critical Software Development Editeur : SIA - 29/01/2008 Auteur : François Xabvier DORMOY – Esterel Technologies, France R-2008-01-9A02 - An End-to-End Model Based Tool Chain for Architecture Exploration Editeur : SIA - 29/01/2008 Auteur : Denis LAROUDIE – Geensys, France R-2008-01-9A03 - A Toolchain For Designing And Implementing Efficient, Flexible And Safety-Critical Applications Editeur : SIA - 29/01/2008 Auteur : Matthieu LEMERRE, Vincent DAVID, Jean-Sylvain CAMIER, Damien CHABROL – CEA, LIST, France R-2008-01-9B01 - An Ontological Representation of the Characteristic Problems of Real-Time Systems Editeur : SIA - 29/01/2008 Auteur : Antonio MONZON – EADS-CASA, Spain Jose-luis FERNANDEZ-SANCHEZ – Technical University of Madrid, Spain R-2008-01-9B03 - Using Linux for Industrial Projects – a Return of Experiences Editeur : SIA - 29/01/2008 Auteur : Christian CHARREYRE – CIO Informatique Industrielle, France R-2008-01-9C01 - Equivalence Checking between Embedded C code and Corresponding StateflowTM Diagram Specification Editeur : SIA - 29/01/2008 Auteur : Philippe BAUFRETON – Hispano-Suiza, France Marc SEGELKEN – OFFIS, Germany R-2008-01-9C02 - The Formal Methods Group of WG-71/ SC-205 – Progress Report July 2007 Editeur : SIA - 29/01/2008 Auteur : Duncan BROWN – Rolls-Royce, UK R-2008-01-10A01 - Simulation of System Architectures with AADL Editeur : SIA - 29/01/2008 Auteur : Jean-François TILMAN – Geensyde, France Amélie SCHYN – Axlog Ingénierie, France Romain SEZESTRE – Geensys, France R-2008-01-10A02 - Using AADL to Build Critical Real-time Systems: Experiments in the IST-ASSERT Project Editeur : SIA - 29/01/2008 Auteur : Jerome HUGUES, Laurent PAUTET, Bechir ZALILA – GET-Telecom Paris, UMR 5141 CNRS, France Pierre DISSAUX – Ellidiss Technologies, France Maxime PERROTIN – ESA, Netherlands R-2008-01-10A03 - Multi-Dimensional Model Based Engineering for Performance Critical Computer Systems Using the AADL Editeur : SIA - 29/01/2008 Auteur : Bruce LEWIS – US Army RDEC, USA Peter FEILER – Software Eng Institute, USA R-2008-01-10B01 - Programming Languages for Hard Real– Time Embedded Systems Editeur : SIA - 29/01/2008 Auteur : Julien FORGET, Claire PAGETTI – ONERA, France Marc POUZET – LRI, France Frédéric BONIOL – ENSEEIHT, France David LESENS – Astrium Space Transportation, France R-2008-01-2B02 - An Architectural Approach to Autonomics and Self-management of Automotive Embedded Electronic Systems Date édition : 29/01/2008 Auteur : D.J. Chen, M. Persson - Royal Institute of Technology Stockholm R. Anthony - University of Greenwich London D. Scholle - Enea AB Kista Sweden V. Friesen - Daimler AG Ulm A. Rettberg - University of Paderborn Germany R-2008-01-2B03 - COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models Date édition : 29/01/2008 Auteur : I. Perseil, L. Pautet - TELECOM Paristech – LTCI CNRS R-2008-01-2B04 - Integration of formal fault analysis in ASSERT: Case studies and lessons learnt Date édition : 29/01/2008 Auteur : JP.Blanquart - Astrium Satellites Toulouse F.Tardy - Dassault Aviation J.Lucotte - INSA Lyon P.Bieber , G.Durrieu - ONERA Toulouse R-2008-01-2C01 - Development of the Drive Dozing Prevention Technique Using a Sensor Installed in the Seat for Detecting the Driver’s Condition Date édition : 29/01/2008 Auteur : S.Kaneko - University of Tokyo M.Enokizono - Oita Univesity Japan T.Kamei - Shimane Institute of Health Science, Izumo, Japan E.Fujita - Deltatooling , Higashihiroshima, Japan R-2008-01-2C02 - Real time inference of driver's intent via analyses of pressure distribution on the seat Date édition : 29/01/2008 Auteur : M. Itoh - University of Tsukuba Japan R-2008-01-2C04 - Cost-efficient design and production of flexible and re-usable near real-time tactical human-machine interfaces Date édition : 29/01/2008 Auteur : C. Huntzinger, M. Le Berre, V. Verbeque - THALES O. Grisvard - ENST Bretagne Brest R-2008-01-3A02 - EDONA: an Open Integration Platform for Automotive Systems Development Tools Date édition : 29/01/2008 Auteur : F. Ougier - Renault F. Terrier - CEA LIST R-2008-01-3B01 - Simulation and Validation Strategy on Real-Time Autocoded Onboard Software for Formation Flying In-Orbit Ranging Demonstration Date édition : 29/01/2008 Auteur : Olivier Bompis - CS-SI Toulouse Pierre-Yves Guidotti, Michel Delpech, Bernard Pontet - CNES Toulouse R-2008-01-3B02 - Technology evolution of aircraft simulator for real equipments validation Date édition : 29/01/2008 Auteur : Jean-Marie CALLUAUD, Jean CASTERES, Stéphane GAUDAIRE - Airbus R-2008-01-3C01 - A Component Driven Development Process From The System Design To The Final Implementation Date édition : 29/01/2008 Auteur : G. Veran, G. Garcia - Thales Alenia Space R-2008-01-10B02 - Static Data Flow Analysis for Realtime Java Runtime Error Detection Editeur : SIA - 29/01/2008 Auteur : idtjof SIEBERT – Aicas, Germany R-2008-01-10B03 - Applying Java to the Domain of Hard Real– Time Systems Editeur : SIA - 29/01/2008 Auteur : Kelvin NILSEN – Aonix, USA R-2008-01-10B04 - Forecasting of Object-Oriented Faults Editeur : SIA - 29/01/2008 Auteur : Stephanie GAUDAN – Thales Avionics, France Gilles MOTET – INSA, France R-2008-01-10C01 - Certifying an Automated Code Generator Using Formal Tools : Preliminary Experiments in the GeneAuto Project Editeur : SIA - 29/01/2008 Auteur : Nassima IZERROUKEN, Xavier THIRIOUX, Marc PANTEL, Martin STRECKER – IRIT, France R-2008-01-10C02 - .GeneAuto: An Automatic Code Generator for a safe subset of SimuLink/StateFlow Editeur : SIA - 29/01/2008 Auteur : 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 R-2008-01-10C03 - Certification of Model-based Code Generators– Open Problems and Possible Solutions Date édition : 29/01/2008 Auteur : Ingo STUERMER – Model Engineering Solutions, Germany R-2008-01-11A01 - Technology Changes in Aeronautical Systems Editeur : SIA - 29/01/2008 Auteur : Jim KRODEL – Pratt & Whitney Aircraft Engines, USA R-2008-01-11A02 - Formal Methods, Object Oriented Technology, Model, Airborne Software, Software Technology, Software Approval Editeur : SIA - 29/01/2008 Auteur : Jean-Marc ASTRUC – Continental Automotive France Jean-Marc ASTRUC – Continental Automotive France R-2008-01-11A03 - System Safety in a Few Nutshells Editeur : SIA - 29/01/2008 Auteur : Pascal TRAVERSE – Airbus, France R-2008-01-4A01 - Supporting a Multi-formalism Model Driven Development Process with Model Transformation, a TOPCASED Implementation Editeur : SIA - 29/01/2008 Auteur : Xavier Dumas, Tristan Faure, Sébastien Gabel, Julien Honoré, Maurice Heitz – CS Systèmes d’Information, France Iulian Ober – Université de Toulouse, IRIT, France David Lesens – EADS Astrium Space Transportation, France> R-2008-01-4A02 - FIACRE: an Intermediate Language for Model Verification in the TOPCASED Environment Editeur : SIA - 29/01/2008 R-2008-01-2A02 - Introducing Simulation and Model Animation in the MDE Topcased Toolkit Date édition : 29/01/2008 Auteur : B. Combemale, X. Crégut, M. Pantel - IRIT- ENSEEIHT, Toulouse J.-P. Giacometti - Airbus P. Michel - ONERA R-2008-01-2A03 - Model-driven Engineering Metrics for Real Time Systems Date édition : 29/01/2008 Auteur : M. Monperrus, J. Champeau, B. Hoeltzener - ENSIETA Brest J-M. Jezequel - INRIA/IRISA Rennes R-2008-01-2A04 - ASSERT: a step towards reliable and scientific system and software engeneering Date édition : 29/01/2008 Auteur : Dr Eric Conquet - ESA European Space Agency R-2008-01-2B01 - Towards Adaptive Fault Tolerance in Embedded Systems Date édition : 29/01/2008 Auteur : Thomas PAREAUD, Jean-Charles FABRE, Marc-Olivier KILLIJIAN - LAAS-CNRS Toulouse R-2008-01-3C02 - Modelling Automotive Function Nets with Views for Features, Variants, and Modes Date édition : 29/01/2008 Auteur : J. Hartmann, S. Kriebel, L. Rothhardt - BMW H. Grönniger, H. Krahn - Institute for Software Systems Engineering, TU Braunschweig R-2008-01-4A03 - An Open Embededd Experimentation: “Transformation from an SDL Profiled UML Model to a FIACRE Model” Editeur : SIA - 29/01/2008 Auteur : Agusti CANALS, Hugues BONNIN, Sébastien GABEL, Christophe Le CAMUS – CS Communication & Systems, France Rodrigo SAAD – LAAS CNRS, France R-2008-01-4B01 - Pushing the Limits of CAN – Scheduling Frames with Offsets Provides a Major Performance Boost Editeur : SIA - 29/01/2008 Auteur : Nicolas NAVET, Lionel HAVET – INRIA – LORIA, France Mathieu GRENIER – INRIA – INPL, France R-2008-01-4B02 - Configuring the Communication on FlexRay : The Case of the Static Segment Editeur : SIA - 29/01/2008 Auteur : Lionel Havet, Nicolas Navet – INRIA – LORIA, France Mathieu GRENIER – INRIA – INPL, France R-2008-01-4B03 - Evaluation Of A Real-Time Monitoring Framework Editeur : SIA - 29/01/2008 Auteur : Thomas ROBERT, Matthieu ROY, Jean-Charles FABRE LAAS-CNRS, University of Toulouse, Fra R-2008-01-4C01 - Engine Management Software Dynamic Architecture Versus Integration Editeur : SIA - 29/01/2008 Auteur : Denis CLARAZ – Continental Automotive France Michael NIEMETZ – Continental Automotive AG, Germany R-2008-01-4C02 - Impact of Runtime Architectures on Control System Stability Editeur : SIA - 29/01/2008 Auteur : Denis CLARAZ – Continental Automotive France Michael NIEMETZ – Continental Automotive AG, Germany R-2008-01-4C03 - A High Availability Vital Computer for Railway Applications: Architecture & Safety Principles Editeur : SIA - 29/01/2008 Auteur : Sylvain BARO -DSF – Siemens Transportation Systems, France R-2008-01-5A01 - A New Business Model Experienced between an Automotive and a Software / Services Company Editeur : SIA - 29/01/2008 Auteur : Guillaume DEVAUCHELLE, Gilles LE CALVEZ, Daniel FRAYSSINET, Bernard COURNIL – VALEO, France Olivier PAYRAUD, Pierre-Henri GABRIEL – IBM, France R-2008-01-5A02 - Free Software and Leveraged Service Organizations Editeur : SIA - 29/01/2008 Auteur : Franco GASPERONI – AdaCore, France R-2008-01-6B01 - Proving Temporal Properties at Code Level for Basic Operators of Control / Command Progra Editeur : SIA - 29/01/2008 Auteur : David DELMAS – Airbus, France Stéphane DUPRAT – Atos Origin, France Benjamin MONATE, Patrick BAUDIN – CEA-LIST, France R-2008-01-6B02 - Software Analysis :A Point of View of a Car Manufacturer Date édition : 29/01/2008 Auteur : Frédéric MONDOT – RENAULT France R-2008-01-6B03 - Combining a High-Level Design Tool for Safety-Critical Systems with a Tool for WCET Analysis on Executables Editeur : SIA - 29/01/2008 Auteur : Christian FERDINAND, Reinhold HECKMANN, Florian MARTIN – AbsInt Angewandte Informatik GmbH, Germany Thierry Le SERGENT, Daniel LOPES, Xavier FORNARI – Esterel Technologies, France R-2008-01-6B04 - Industrial Applicability of Advanced Model/Code-based V&V Techniques for Verifying Program Properties in Embedded Applications Editeur : SIA - 29/01/2008 Auteur : Chris HOTE – The MathWorks Inc, USA Marc LALO, Patrick MUNIER – The MathWorks Inc., France Daniel PILAUD – Casserousse, France R-2008-01-6C01 - Model Weaving Support for Migrating Software Artefacts from AUTOSAR 2.0 to AUTOSAR 2.X Editeur : SIA - 29/01/2008 Auteur : Juan M.VARA MESA – Kybele Research Group, Rey Juan Carlos University, Spain Marcos DIDONET DEL FABRO, Frédéric JOUAULT, Jean BEZIVIN – ATLAS Group, France R-2008-01-6C02 - Migration Strategy of In-House Automotive Real-Time Applicative Software in AUTOSAR Standard Editeur : SIA - 29/01/2008 Auteur : Pierre-Henry DEZAUX – PSA Peugeot Citroen, France R-2008-01-6C03 - Systematic use of the AUTOSAR Standardized Application Interfaces Editeur : SIA - 29/01/2008 Auteur : Stefan VOGET – Continental, Germany Michael GOLM – Siemens CR, USA Artem OZHIGIN – SIEMENS, Russian Federation R-2008-01-6C04 - Automotive Real Time Development Using a Timing-augmentated AUTOSAR Specification Editeur : SIA - 29/01/2008 Auteur : Oliver SCHEICKL, Michael RUDORFER – BMW Car IT GmbH, Germany R-2008-01-5B01 - Constraint-based Design of Avionics Platform – Preliminary Design Explo Editeur : SIA - 29/01/2008 Auteur : Frédéric MINOT – AIRBUS, France Jean-Paul BODEVEIX, Mamoun FILALI – IRIT, France David DOOSE, Charles CASTEL, Cédric PRALET, Pierre BIEBER – ONERA, France R-2008-01-5B02 - Comparison of functional integration methods from aviation and automotive industries Editeur : SIA - 29/01/2008 Auteur : Norbert NEUENDORF, René KNORR – ESG Elektroniksystem, Germany R-2008-01-5C01 - IMA for Space : status and considerations Editeur : SIA - 29/01/2008 Auteur : Paul ARBERET – Centre national des études Spatiales (CNES), France Juan MIRO – ESA, Netherlands R-2008-01-5C02 - Impact of an IMA Software Architecture on Legacy Avionic Software Editeur : SIA - 29/01/2008 Auteur : Thomas BRIXEL – EADS Deutschland GmbH, Germany R-2008-01-6A01 - Software Dependability Modeling using an Industry-Standard Architecture Description Language Editeur : SIA - 29/01/2008 Auteur : Ana-Elena RUGINA, Karama KANOUN, Mohamed KAÂNICHE – LAAS-CNRS, France Peter FEILER, Carnegie MELLON – Software Engineering Institute, USA R-2008-01-6A02 - Modelling Wireless Sensor Network Architectures using AADL Editeur : SIA - 29/01/2008 Auteur : Amitabha GHOSH – University of Southern California, USA< Luis PEREIRA, Ting YAN – Innovation Center, Eaton Corporation, USA Hui CAO – Dept. of Computer Science & Engineering, USA R-2008-01-6A03 - Model Driven Engineering and Dependability Analyses: The Topcased Approach Date édition : 29/01/2008 R-2008-01-6A04 - Code Generation Strategies from AADL Architectural Descriptions Targeting the HI Domain Editeur : SIA - 29/01/2008 Auteur : Jérome HUGUES, Bechir ZALILA Julien DELANGE, Laurent PAUTET – GET Télécom Paris, France R-2008-01-9C-01 - FBD-based PLC Verification Demonstrated on Interlocking Software Editeur : SIA - 01/02/2008 Auteur : O. Pavlović, R. Pinger, M. Kollmann