Home > Archives > RSD (Archive) > Research Topics > Modeling Component-Based Systems

Language Embedding

Generating BIP Models from Other Languages

Language embedding concerns the use of BIP as an unifying semantic model for structural representation of such different programming models or domain specific languages. We have developed a general method for generating BIP models from languages with well-defined operational semantics.

Sommaire

Overview, p1
Synchronous Systems in BIP, p2
MATLAB/Simulink to BIP, p3
AADL to BIP, p4
GeNoM to BIP, p5
NesC/TinyOS in BIP, p6
C to BIP, p7
DOL to BIP, p8

1 2 3 4 5 6 7 8

C to BIP

We provide a translation process from any C code to a BIP model. The translator accepts any C code as input and currently support a reasonable subset of the C language. Any C function can be translated to a BIP atomic component. A set of function are considered as interaction points and all corresponding calls are modeled by BIP ports. This translation is used as a building block for other factories (MIND project and DOL)