Modeling legacy code with BIP: How to reduce the gap between formal description and real-time implementation - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

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

(1) , (1) , (2) , (1) , (1)
1
2

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.
Not file

Dates and versions

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

Identifiers

Cite

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⟩
60 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More