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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01837005
Contributor : Léna Le Roy <>
Submitted on : Thursday, July 12, 2018 - 3:51:53 PM
Last modification on : Thursday, March 7, 2019 - 2:34:09 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

60