Titre :

TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm

Auteur(s) :

Guesmi, Hela [Auteur]
ETAS GmbH Stuttgart
Ben Hedia, Belgacem [Auteur]
Département d'Architectures, Conception et Logiciels Embarqués-LIST [DACLE-LIST]
Bliudze, Simon [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Bensalem, Saddek [Auteur]
VERIMAG [VERIMAG - IMAG]
Lenabec, Briag [Auteur]
Département d'Architectures, Conception et Logiciels Embarqués-LIST [DACLE-LIST]

Titre de la revue :

Innovations in Systems and Software Engineering

Pagination :

117 - 142

Éditeur :

Springer Verlag

Date de publication :

2018-06

ISSN :

1614-5046

Mot(s)-clé(s) en anglais :

Correct-by-construction transformation
Model-to-model transformation
Time-triggered paradigm
Component-based design
Formal methods

Discipline(s) HAL :

Informatique [cs]/Systèmes embarqués
Informatique [cs]/Système multi-agents [cs.MA]
Informatique [cs]/Modélisation et simulation
Informatique [cs]/Langage de programmation [cs.PL]
Informatique [cs]/Génie logiciel [cs.SE]

Résumé en anglais : [en]

In order to combine advantages of Real-Time Operating Systems (RTOS) implementing the Time-Triggered (TT) execution model and model-based design frameworks, we aim at proposing a correct-by-design methodology that derives ...
Lire la suite >In order to combine advantages of Real-Time Operating Systems (RTOS) implementing the Time-Triggered (TT) execution model and model-based design frameworks, we aim at proposing a correct-by-design methodology that derives correct TT implementations from high-level models. This methodology consists of two main steps; (1) transforming the high-level model into an intermediate model which respects the TT communication principles and where all communications between components are simple send/receive interactions, and (2) transforming the obtained intermediate model into the programming language of the target platform. In this paper, we focus on the presentation of the transformational methodology of the first step of this design flow. This methodology produces a correct-by-construction TT model by starting from a high-level model of the application software in Behaviour, Interaction , Priority (BIP). BIP is a component-based framework with formal semantics that rely on multi-party interactions for synchronizing components. Commonly in TT implementations, tasks interact with each other through a communication medium. Our methodology transforms, depending on a user-defined task mapping, high-level BIP models where communication between components is strongly synchronized, into TT model that integrates a communication medium. Thus, only inter-task communications and components participating in such interactions are concerned by the transformation process. We also provide correctness proofs of the transformation and apply it on an industrial case study.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL