Search - Proceeding of the 3rd European Congress on Embedded Real Time Software Access content directly

Filter your results

60 Results
Image document

Integration of quality of service in avionics architecture

G Bel , P. Bieber , F. Boniol , D Dalla Barba , G. Durrieu , et al.
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270445v1
Image document

A Model-based Approach towards Human-Machine-Interfaces

Rainer Holve , Silke Goronzy
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270478v1
Image document

Fully exploiting the potential of speech dialog in automotive applications

S Goronzy , R Kompe , R Holve
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270482v1
Image document

The convergence of embedded systems in aeronautics and in automotive industry via software components and standards.

P. Joussain
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270486v1
Image document

The SAE Architecture Analysis & Design Language (AADL) A Standard for Engineering Performance Critical Systems

Bruce Lewis
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270351v1
Image document

Eliminating Embedded Software Defects in a Virtual System Integration Laboratory

Ted Bennett , Paul Wennberg
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270350v1
Image document

Experimentation of Timed Observers for Avionics Models Validation

Philippe Dhaussy , J.C. Roger , H. Bonnin , E Saves , J. Honore , et al.
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270437v1
Image document

Model Style Guidelines for Embedded Code Generation

T Erkkinen
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270442v1
Image document

Testability Analysis for Graphically Described Algorithms of Reactive Systems

H V Do , C Robach , M Delaunay , J.-S Cruz
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270467v1
Image document

Testing Embedded Software using Simulated Hardware

Jakob Engblom , Guillaume Girard , Bengt Werner
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270472v1
Image document

Market Enabler for Retarget-able COTS Components in Embedded Domain

Philippe Robin , Sylvain Robert , Michel Sall , Sébastien Berthier
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270485v1
Image document

EDROOM: a free tool for the UML2 component based design and automatic code generation of tiny embedded real time system

A V Sanchez , O R Polo , O L Gomez , M K Revuelta , S Prieto , et al.
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270424v1
Image document

UML Inconsistencies Assessment

Roberto Toro , Jean-Pierre Seuma Vidal , Hugues Malgouyres , Gilles Motet
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270429v1
Image document

CMMI – AN ANSWER TO THE SOFTWARE CRISIS?

Bernard Guichoux , François Dubuc
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270473v1
Image document

Avionics standards, software and IMA

Brigitte Bauer
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270489v1
Image document

Open Source Software: Risk or Opportunity?

Sylvain Wallez
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270494v1
Image document

Bridging UML and Safety-Critical Software Development Environments

Alain Le Guennec , Bernard Dion
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270430v1
Image document

OTAWA, a Framework for Experimenting WCET Computations

Hugues Cassé , Pascal Sainrat
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270434v1
Image document

INSIDES – A new Virtual Prototyping Platform of Human Machine Interactions Systems for Automotive and Aerospace Applications

M Sabeur , D. Schulz , M Schabacker , S Vajna
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270479v1
Image document

Behavioural descriptions in architecture description languages Application to AADL

Jean-Paul Bodeveix , P Dissaux , M Filali , P Farail , P Gaufillet , et al.
3rd European Congress on Embedded Real Time Software (ERTS 2006), Jan 2006, Toulouse, France
Conference papers hal-02270356v1
Image document

Combining Model-Driven Design With Diverse Formal Verification

P Amey , B Dion
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270441v1
Image document

Software business models for AUTOSAR automotive world standard

Thomas Soulier
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270491v1
Image document

Formal and efficient verification techniques for Real-Time UML models

T Sadani , P de Saqui-Sannes , J.-P Courtiat
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270428v1
Image document

Modeling and Generating Tailored Distribution Middleware for Embedded Real-Time Systems

Thomas Vergnaud , Irfan Hamid , Khaled Barbaria , Elie Najm , Laurent Pautet , et al.
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270490v1
Image document

Some future challenges in the validation of control systems

E. Goubault , M. Martel , S. Putot
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270346v1
Image document

Toward model-based engineering for space embedded systems and software

J-P Blanquart , A Rossignol , D. Thomas
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270353v1
Image document

Eurostar E3000 Satellite On-Board Software Development of a product line towards multiple system needs

D. Breton , A Rossignol
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270493v1
Image document

TS2P an open source testbed & simulation software platform

E. Noulard , Y Dufrenne
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270496v1
Image document

Legal Aspects of Safety Designed Software Development, Especially under European Law

Meinhard Erben , Wolf Günther , Tobias Sedlmeier , Dieter Lederer , Klaus-Jürgen Amsler
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270499v1

Formal Verification Workbench for Airbus Avionics Software

Stephane Duprat , Denis Favre-Felix , Jean Souyris
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers hal-02270419v1