 |
Description de l'événement |
|
International Conference : ERTS2006: Embedded Real Time Software
TOULOUSE - Centre de Congrès Pierre Baudis
25/01/2006 - 27/01/2006
|
|
 CD-2006-01 - European Congress ERTS 2006 (Embedded Real Time Software)
|
Sous-titre : 25-27 January 2006, Toulouse
Editeur : SIA - 25/01/2006
|
R-2006-01-1B2 - Toward model-based engineering for space embedded systems and software
|
Editeur : SIA - 25/01/2006
Auteur : J-P. BLANQUART, A. ROSSIGNOL - EADS Astrium, Toulouse (France)
D. THOMAS - LESIA-INSA, Toulouse (France)
|
| R-2006-01-1B3 - Behavioural descriptions in architecture description languages: Application to AADL
|
Editeur : SIA - 25/01/2006
Auteur : Mamoun FILALI, Jean-Paul BODEVEIX, François VERNANDA– FéRIA, France
Pierre DISSAUX– TNI-Europe, France
Pierre GAUFILLET – Airbus, France
|
| R-2006-01-2A2 - Formal verification workbench for airbus avionics software
|
Editeur : SIA - 25/01/2006
Auteur : Stéphane DUPRAT – Atos Origin
Jean SOUYRIS, Denis FAVRE -Felix – Airbus, France
|
| R-2006-01-6A4 - A methodology for model based development of application software modules exemplified by radar based parking systems
|
Editeur : SIA - 25/01/2006
Auteur : Andy YAP – MB-technology, Germany
Helmut KELLER – DaimlerChrysler, Germany
|
| R-2006-01-6B2 - How OEMs and suppliers can tackle the network dimensioning problem
|
Editeur : SIA - 25/01/2006
Auteur : Kai RICHTER, Marek JERSAK – SymTAVision, Germany
Rolf ERNST– Institute of Computer and Communication Network Engineering, Germany
|
| R-2006-01-6B3 - Using network calculus to optimize the AFDX network
|
Editeur : SIA - 25/01/2006
Auteur : Fabrice FRANCES – ENSICA and TéSA, France
Christian FARBOUL– TéSA and ENSEEIHT/IRIT, France
Jérôme GRIEU - ENSEEIHT/IRIT, France
|
| R-2006-01-6B4 - Network for multimedia applications
|
Editeur : SIA - 25/01/2006
Auteur : Jean-Yves BEREBGER, Christian BICHET – NSI, France
Francine JEREMIE – Renault, France
|
| R-2006-01-7A1 - The TOPCASED project: a Toolkit in OPen source for Critical Aeronautic SystEm Design
|
Editeur : SIA - 25/01/2006
Auteur : Pierre GAUFILLET, Patrick FARAIL – Airbus - France
Agusti CANALS, Christophe LE CAMUS – CS, France
David SCIAMMA – Anyware Technologies, France
Pierre MICHEL – FéRIA-ONERA, France
Xavier CREGUT, Marc PANTEL – FéRIA-IRIT-ENSEEIHT, France
|
| R-2006-01-7A2 - Development of safety critical applications in the automotive domain
|
Editeur : SIA - 25/01/2006
Auteur : Sylvain SAUVAGE – Trialog, France
Amar BOUALI – Esterel Technologies, France
|
| R-2006-01-7A3 - Computerized system validation: Regulatory compliance and process safety in the pharmaceutical industry
|
Editeur : SIA - 25/01/2006
Auteur : Yves SAMSON – Kereon, Switzerland
|
| R-2006-01-7A4 - ISAAC, a framework for integrated safety analyses of functional, geometrical and human aspects
|
Editeur : SIA - 25/01/2006
Auteur : C. SEGUIN, P. BIEBER, C. CASTEL, L. SAGASPE – ONERA-Toulouse, France
Ove AKERLUND – Prover, Sweden
E. BOEDE, A. LUDKE, T. PEIKENKAMP– OFIS
M. BOLZANO – IRST, Italy
M. BRETSCHNEIDER, M. FORTE DA CRUZ, M. FRISK, S. METGE
et autres
|
| R-2006-01-7B1 - Testability analysis for graphically described algorithms of reactive systems
|
Editeur : SIA - 25/01/2006
Auteur : Huy VU DO, Chantal ROBACH – LCIS-ESISAR, France
Michel DELAUNAY– LSR-IMAG, France
Jean-Sébastien CRUZ – Aerospatiale Matra Missiles, France
|
| R-2006-01-2A3 - Incremental validation of real-time systems
|
Editeur : SIA - 25/01/2006
Auteur : David DOOSE, Zoubir MAMMERI – IRIT, France
|
| R-2006-01-2B1 - AUTOSAR and SysML – a natural fit ?
|
Editeur : SIA - 25/01/2006
Auteur : Andreas KORFF- ARTiSAN Software Tools GmbH
|
| R-2006-01-2B2 - Modelling distributed integrated modular systems using the UML™ and the SysML™
|
Editeur : SIA - 25/01/2006
Auteur : Matthew HAUSE, Francis THOM – ARTiSAN Software Tools, UK
|
| R-2006-01-2B3 - EDROOM: a free tool for the UML2 component based design and automatic code generation of tiny embedded real time system.
|
Editeur : SIA - 25/01/2006
Auteur : Aitor Viana SANCHEZ, Oscar RODRIGUEZ POLO, Oscar LOPEZ, Martín KNOBLAUCH REVUELTA, Sebastian SANCHE PIETRO, Daniel, MEZIAT LUNA
University of Alcala, Spain
|
| R-2006-01-3A1 - B-RAIL: Risk analysis and specification
|
Editeur : SIA - 25/01/2006
Auteur : Jean-Louis BOULANGER – UTC, France
|
| R-2006-01-3A2 - Vital software: Formal method and coded processor
|
Editeur : SIA - 25/01/2006
Auteur : Daniel DOLLÉ – Siemens Transportation Systems, France
|
| R-2006-01-3A3 - Formal verification of manual code: some industrial needs and recommendations
|
Editeur : SIA - 25/01/2006
Auteur : Emmanuel LEDINOT, Dillon PARIENTE – Dassault Aviation, France
|
| R-2006-01-3B1 - Formal and efficient verification techniques for Real-Time UML models
|
Editeur : SIA - 25/01/2006
Auteur : Tarek SADANI, Pierre de SAQUI-SANNES – ENSICA and LAAS- CNRS, France
Jean-Pierre COURTIAT – LAAS-CNRS, France
|
| R-2006-01-3B2 - UML inconsistencies assessment
|
Editeur : SIA - 25/01/2006
Auteur : Jean-Pierre SEUMA VIDAL, Roberto LOPEZ TORO, Gilles MOTET, Hugues MALGOUYRES
LESIA / INSA, France
|
| R-2006-01-3B3 - Bridging UML and safety-critical software development environments
|
Editeur : SIA - 25/01/2006
Auteur : Bernard DION, Alain LE GUENNEC – Esterel Technologies, France
|
| R-2006-01-1A1 - Some future challenges in the validation of control systems
|
Editeur : SIA - 25/01/2006
Auteur : Eric GOUBAULT, Matthieu MARTEL, Sylvie PUTOT – CEA/Saclay, France
|
| R-2006-01-4A1 - Experiences in using model checking to verify real time properties of a landing gear control system
|
Editeur : SIA - 25/01/2006
Auteur : Virginie WIELS, Frédéric BONIOL – ONERA/CERT, France
Emmanuel LEDINOT – Dassault Aviation, France
|
| R-2006-01-4A2 - Formal verification techniques in a model-based development process based on targetlink generated C-code
|
Editeur : SIA - 25/01/2006
Auteur : Guido SANDMANN, Udo BROCKMEYER – OSC-Embedded Systems, Germany
Michael BEINE – dSPACE, Germany
|
| R-2006-01-4B1 - Verifying timing properties of safety-critical embedded software by abstract interpretation
|
Editeur : SIA - 25/01/2006
Auteur : Christian FERDINAND, Reinhold HECKMANN – AbsInt Angewandte Informatik, Germany
|
| R-2006-01-4B2 - OTAWA, a framework for experimenting WCET computations
|
Editeur : SIA - 25/01/2006
Auteur : Hugues CASSÉ, Pascal SAINRAT – IRIT, France
|
| R-2006-01-5A1 - Towards the verification of model transformations
|
Editeur : SIA - 25/01/2006
Auteur : David CHEMOUIL – CNES, France
Martin STRECKER, Jean-Paul BODEVEIX, Mamoun FILALI, Nicolas LALEVEEE – FéRIA, France
|
| R-2006-01-5A2 - AutoMoDe – A transformation based approach for the model-based design of embedded automotive software
|
Editeur : SIA - 25/01/2006
Auteur : Ulrich FREUND – ETAS, Germany
Peter BRAUN – Validas, Germany
Andreas BAUER, Jan ROMBERG – Technical University of Munich, Germany
Dirk ZIEGENBEIN – Robert Bosch, Germany
|
| R-2006-01-5B1 - Experimentation of timed observers for validation of an avionics software
|
Editeur : SIA - 25/01/2006
Auteur : Hugues BONNIN, Eric SAVES, Julien HONNORE – CS-SI, France
Philippe DHAUSSY, Jean Charles ROGER – ENSIETA, France
|
| R-2006-01-5B2 - Real-time guarantees on full-duplex switched ethernet for military applications
|
Editeur : SIA - 25/01/2006
Auteur : Ahlem Mifdaoui, Fabrice Frances – ENSICA, France
Christian Fraboul – ENSEEIHT/IRIT, France
|
| R-2006-01-6A1 - Model driven engineering for embedded real-time systems
|
Editeur : SIA - 25/01/2006
Auteur : Yann TANGUY, Sébastien GÉRARD, Ansgar RADERMACHER, François TERRIER
CEA-List, France
|
| R-2006-01-6A2 - Combining model-driven design with diverse formal verification
|
Editeur : SIA - 25/01/2006
Auteur : Bernard DION – Esterel Technologies, France
Peter AMEY – Praxis HIS, UK
|
| R-2006-01-6A3 - Model style guidelines for embedded code generation
|
Editeur : SIA - 25/01/2006
Auteur : T. ERKKINEN, Emmanuel ROY - The MathWorks, France
|
| R-2006-01-7B2 - Object Oriented Framework for Test Automation
|
Editeur : SIA - 25/01/2006
Auteur : Dietmar PETERS – Siemens VDO Automotive, Germany
|
| R-2006-01-7B3 - Automated functional test case generation from data flow specifications using structural coverage criteria
|
Editeur : SIA - 25/01/2006
Auteur : Virginie WIELS, Christel SEGUIN, Guy DURRIEU – ONERA-Toulouse, France
Bruno MARRE, Benjamin BLANC – CEA-List, France
Odile LAURENT – Airbus, France
Abdesselam LAKEHAL, Ioannis PARISSIS – LSR-IMAG, France
|
| R-2006-01-7B4 - Testing embedded software using simulated hardware
|
Editeur : SIA - 25/01/2006
Auteur : Jakob ENGBLOM, Bengt WERNER – Virtutech, Sweden
|
| R-2006-01-8A1 - CMMI – An answer to the software crisis?
|
Editeur : SIA - 25/01/2006
Auteur : Bernard GUICHOUX, François DUBUC
EADS SPACE Transportation, France
|
| R-2006-01-8A2 - Shift towards a cohesive design based management of automotive embedded systems requirements
|
Editeur : SIA - 25/01/2006
Auteur : Eric LARRONDE, Lionel BURGAUD, Eliane FOURGEAU
TNI-Software, France
|
| R-2006-01-8A3 - How train transportation design challenges can be addressed with simulation-based virtual prototyping for distributed systems
|
Editeur : SIA - 25/01/2006
Auteur : Eliane FOURGEAU, Franck CORBIER, Laurent KISLIN
TNI-Software, France
|
| R-2006-01-8B1 - A model-based approach towards human-machine-interfaces
|
Editeur : SIA - 25/01/2006
Auteur : Rainer HOLVE, Silke GORONZY – 3Soft, Germany
|
| R-2006-01-8B3 - Physical browsing – a novel HCI paradigm for people on the move
|
Editeur : SIA - 25/01/2006
Auteur : Heikki AILISTO, Lauri POHJANHEIMO, Heikki KERANEN, Petteri ALAUHTA - VTT Electronics, Finland
|
| R-2006-01-8B4 - Fully exploiting the potential of speech dialog in automotive applications
|
Editeur : SIA - 25/01/2006
Auteur : Silke GORONZY, Ralf KOMPE, Rainer HOLVE - 3Soft, Germany
|
| R-2006-01-9A1 - MERCED – Market Enabler for Retargetable cots Components in Embedded Domain
|
Editeur : SIA - 25/01/2006
Auteur : Philippe ROBIN, Michel SALL – Trialog, France
|
| R-2006-01-9B1 - The Ideal RTOS
|
Editeur : SIA - 25/01/2006
Auteur : Jean-Philippe BOUFFLERS, Colin WALLS – Mentor Graphics, UK
|
| R-2006-01-9B2 - Managing the complexity of emerging EE-Architectures
|
Editeur : SIA - 25/01/2006
Auteur : Thomas SCHARNHORST, Bernd KUNKEL, Gabriel SCHWAB– Volkswagen, Germany
|
| R-2006-01-9B3 - Avionics standards, software and IMA
|
Editeur : SIA - 25/01/2006
Auteur : Brigitte Bauer – Thales Avionics, France
|
| R-2006-01-9B4 - Modeling and generating tailored distribution middleware for embedded real-time syst
|
Editeur : SIA - 25/01/2006
Auteur : Thomas VERGNAUD, Khaled BARBARIA, Irfan HAMID, Laurent PAUTET, Sylvie VIGNES, Elie NAJM
ENST-INFRES, France
|
| R-2006-01-10A1 - Software business models for AUTOSAR automotive world standard
|
Editeur : SIA - 25/01/2006
Auteur : Thomas SOULIER – Siemens VDO Automotive, France
|
| R-2006-01-10A2 - Eurostar 3000 satellite on-board software - Development of a product line towards multiple system needs
|
Editeur : SIA - 25/01/2006
Auteur : Alain ROSSIGNOL, Didier BRETON – EADS Astrium, France
|
| R-2006-01-11A2 - FLOSS, COTS, and Safety: A business perspective
|
Editeur : SIA - 25/01/2006
Auteur : Franco GASPERONI – AdaCore, France
|
| R-2006-01-11A3 - TS2P an open source Test-bed & Simulation Software Platform
|
Editeur : SIA - 25/01/2006
Auteur : Eric NOULARD – BT Consulting & Systems Integration, France
Yves DUFRENNE – EADS Astrium, France
|
| R-2006-01-11B1 - Identification model of the object-oriented technology’s risks, for an avionics’ certification
|
Editeur : SIA - 25/01/2006
Auteur : Stéphanie GAUDAN, Eric JENN, Stéphane LERICHE – Thales Avionics, France
Gilles MOTET – INSA, France
|
| R-2006-01-11B2 - Certification & object orientation: The new Ada answer
|
Editeur : SIA - 25/01/2006
Auteur : Cyrille COMAR – AdaCore, France
|
| R-2006-01-11B3 - Legal aspects of safety designed software development, especially under European law
|
Editeur : SIA - 25/01/2006
Auteur : Wolf GUNTHER – KANZLEI DR. ERBEN, Germany
|
| R-2006-01-1B1 - The SAE architecture analysis & design language, (AADL) an emerging standard for engineering performance critical systems.
|
Editeur : SIA - 25/01/2006
Auteur : Bruce LEWIS – AADL Standardization Committee and US Army Aviation and Missile Command, USA
|
| R-2006-01-8B2 - INSIDES a new virtual prototyping platform of human machine interactions systems for automotive and aerospace applications
|
Editeur : SIA - 25/01/2006
Auteur : Moh SABEUR, Dirk SCHULZ– Princess Interactive, Germany
|
| R-2006-01-9A2 - The convergence of embedded systems in aeronautics and in automotive industry via software components and standards
|
Editeur : SIA - 25/01/2006
Auteur : Philippe JOUSSAIN – Embedded Touch, France
|
| R-2006-01-11A1 - Open source software: risk or opportunity?
|
Editeur : SIA - 25/01/2006
Auteur : Sylvain WALLEZ – Anyware Technologies, France
|
| R-2006-01-6B1 - Integration of quality of service in avionics architecture
|
Editeur : SIA - 25/01/2006
Auteur : Boris SIDORUK, Gérard BEL, Frédéric BONIOL, Pierre BIEBER - Daniel DALLA BARBA, Guy DURRIEU - ONERA-Toulouse, France
|
| R-2006-01-1A2 - Virtual prototyping for validation of functional architectures
|
Editeur : SIA - 25/01/2006
Auteur : Guillaume FRANÇOIS, Axel KASKE, Markus MAIER – ETAS SAS, France
|
| R-2006-01-1A3 - Eliminating embedded software defects in a virtual system simulator
|
Editeur : SIA - 25/01/2006
Auteur : Ted BENNETT, Paul WENNBERG – Triakis Corporation, USA
|
