Managing complexity of automotive electronics using the East-ADL
The complexity of embedded automotive systems calls for a more rigorous approach to
system development compared to current state of practice. A critical issue is the …
system development compared to current state of practice. A critical issue is the …
Towards improving dependability of automotive systems by using the east-adl architecture description language
The complexity of embedded automotive systems calls for a more rigorous approach to
system development compared to current state of practice. A critical issue is the …
system development compared to current state of practice. A critical issue is the …
Mde benefits for distributed, real time and embedded systems
F Terrier, S Gérard - IFIP Working Conference on Distributed and Parallel …, 2006 - Springer
Embedded systems envelopment are currently being challenged to provide global solutions
that reconcile three conflicting agendas: enrichment/refinement of system functionalities …
that reconcile three conflicting agendas: enrichment/refinement of system functionalities …
Orccad, a framework for safe robot control design and implementation
D Simon, R Pissard-Gibollet, S Arias - 1st National Workshop on …, 2006 - inria.hal.science
Robotic systems are typical examples of hybrid systems where continuous time aspects,
related to control laws, must be carefully merged with discrete-time aspects related to control …
related to control laws, must be carefully merged with discrete-time aspects related to control …
A component-based methodology for embedded system prototyping
While industrial competition is intensifying and thus encourages engineers to directly match
projected systems with user requirements, time to market is now also shorter. Designers are …
projected systems with user requirements, time to market is now also shorter. Designers are …
UML for real-time: which native concepts to use?
S Gerard, F Terrier - UML for real: design of embedded real-time systems, 2003 - Springer
Engineers are increasingly facing the hard problem of developing more sophisticated real-
time systems while time to market and cost constraints are constantly growing. The necessity …
time systems while time to market and cost constraints are constantly growing. The necessity …
Validation and automatic test generation on UML models: the AGATHA approach
D Lugato, C Bigot, Y Valot, JP Gallois, S Gérard… - International Journal on …, 2004 - Springer
UML-based methodologies take more and more space in the software development domain.
In addition, the need to validate applications as early as possible in the development cycle is …
In addition, the need to validate applications as early as possible in the development cycle is …
A two-aspect approach for a clearer behavior model
Moving from code-oriented to model-oriented development facilitates significantly
management of increasingly complex software. As explained in [1], clear separation of …
management of increasingly complex software. As explained in [1], clear separation of …
Testing model transformations: A case for test generation from input domain models
B Baudry - Model‐Driven Engineering for Distributed Real …, 2013 - Wiley Online Library
Model transformation is a key mechanism when building distributed real‐time systems
(DRES) with model‐driven development (MDD). This chapter discusses software testing …
(DRES) with model‐driven development (MDD). This chapter discusses software testing …
7.4. 1 An Architecture Description Language for Developing Automotive ECU‐Software
U Freund, O Gurrieri, J Küster, H Lonn… - INCOSE …, 2004 - Wiley Online Library
The significance of embedded software systems in the automotive domain has increased
dramatically during the last ten years. In contrast, today's development methods and tools …
dramatically during the last ten years. In contrast, today's development methods and tools …