Towards an architecture-centric approach dedicated to model-based virtual integration for embedded software systems

Abstract : Current embedded systems are increasingly more complex and heterogeneous, but they are expected to be more safe, reliable and adaptive. In consideration of all these aspects, their design is always a great challenge. Developing these systems with conventional design approaches and programming methods turns out to be difficult. In this paper, we mainly present the informative background and the general idea of an ongoing yet young research project, including the modelbased design and an architecture-centric approach, to address previous challenges. Our idea adopts a formal-methods-based model integration approach, dedicated to architecture-centric virtual integration for embedded software systems, in an early design phase. We thus expect to improve and enhance Correct By Construction in the design. The considered formal methods consist of timing specification, design by contracts, and semantics interoperability for models to be integrated in the system. The application domains of our approach include automotive and avionic systems.
Type de document :
Communication dans un congrès
CEUR Workshop Proceedings. Workshop on Architecture Centric Virtual Integration, Sep 2014, Valencia, Spain. Workshop on Architecture Centric Virtual Integration. 〈http://www.aadl.info/aadl/avci〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01094995
Contributeur : Jean-Pierre Talpin <>
Soumis le : dimanche 14 décembre 2014 - 19:07:07
Dernière modification le : mercredi 11 avril 2018 - 02:00:47

Identifiants

  • HAL Id : hal-01094995, version 1

Citation

Huafeng Yu, Jean-Pierre Talpin, Sandeep Shukla, Prachi Joshi, Shin'Ichi Shiraishi. Towards an architecture-centric approach dedicated to model-based virtual integration for embedded software systems. CEUR Workshop Proceedings. Workshop on Architecture Centric Virtual Integration, Sep 2014, Valencia, Spain. Workshop on Architecture Centric Virtual Integration. 〈http://www.aadl.info/aadl/avci〉. 〈hal-01094995〉

Partager

Métriques

Consultations de la notice

200