Modeling legacy code with BIP: How to reduce the gap between formal description and real-time implementation - CEA - Commissariat à l’énergie atomique et aux énergies alternatives
Communication Dans Un Congrès Année : 2017

Modeling legacy code with BIP: How to reduce the gap between formal description and real-time implementation

Résumé

To reduce the gap between high-level functional descriptions and real-time multitasking implementation, this paper proposes a set of modeling and code generation principles. Modeling principles are based on integration of a specific BIP concurrent component. This component follows a specific behavioral pattern based on periodic activation of data consumption, data processing and data production. It acts as a periodic task at execution stage. The pattern proposes two variants for eventtriggered and time-triggered platforms. The approach has been tested on three case studies, showing the interest of formalization for behavioral verification. The proposed pattern allows real-time validation and offers classical advantages of high-level modeling.
Fichier non déposé

Dates et versions

cea-01837005 , version 1 (12-07-2018)

Identifiants

Citer

B.L. Nabec, B.B. Hedia, Jean-Philippe Babau, M. Jan, H. Guesmi. Modeling legacy code with BIP: How to reduce the gap between formal description and real-time implementation. 2016 Forum on Specification and Design Languages (FDL), Sep 2016, Bremen, Germany. ⟨10.1109/FDL.2016.7880385⟩. ⟨cea-01837005⟩
82 Consultations
0 Téléchargements

Altmetric

Partager

More