|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Model-based Approach towards Human-Machine-Interfaces
Rainer Holve
,
Silke Goronzy
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270478v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Model Style Guidelines for Embedded Code Generation
T Erkkinen
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270442v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Testing Embedded Software using Simulated Hardware
Jakob Engblom
,
Guillaume Girard
,
Bengt Werner
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270472v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
UML Inconsistencies Assessment
Roberto Toro
,
Jean-Pierre Seuma Vidal
,
Hugues Malgouyres
,
Gilles Motet
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270429v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
CMMI – AN ANSWER TO THE SOFTWARE CRISIS?
Bernard Guichoux
,
François Dubuc
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270473v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Avionics standards, software and IMA
Brigitte Bauer
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270489v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Open Source Software: Risk or Opportunity?
Sylvain Wallez
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270494v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Bridging UML and Safety-Critical Software Development Environments
Alain Le Guennec
,
Bernard Dion
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270430v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
OTAWA, a Framework for Experimenting WCET Computations
Hugues Cassé
,
Pascal Sainrat
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270434v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Combining Model-Driven Design With Diverse Formal Verification
P Amey
,
B Dion
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270441v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Software business models for AUTOSAR automotive world standard
Thomas Soulier
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270491v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
TS2P an open source testbed & simulation software platform
E. Noulard
,
Y Dufrenne
Conference ERTS'06, Jan 2006, Toulouse, France
Conference papers
hal-02270496v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
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
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|