Verimag

Language Factory

Generating BIP Models from Other Languages

The Language Factory activity 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.

 Overview

Hardware/Software components are commonly designed and implemented according to programming models and/or using domain specific languages.

The Language Factory activity 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. As depicted in the figure above, the method involves the following three steps for a given application software written in a language L:

  • Translation of atomic components of the source language into BIP components. The translation focuses on the definition of adequate interfaces. It encapsulates and reuses data structures and functions of the application software,
  • Translation of coordination mechanisms between components of the application software into connectors and priorities in the target BIP model,
  • Generation of a BIP component modeling the operational semantics of L. This component plays the role of an engine coordinating the execution of the application software components.

This three step transformation from a language L to BIP have been successfully tested for:

[1M. Bozga, V. Sfyrla and J. Sifakis. Modeling Synchronous Systems in BIP. In Embedded Software EMSOFT’09 Proceedings

[2V. Sfyrla, G. Tsiligiannis, I. Safaka, M. Bozga and J. Sifakis Compositional Translation of Simulink Models into Synchronous BIP. In Symposium on Industrial Embedded Systems SIES’10 Proceedings, WIP track.

[3Y. Chkouri, A. Robert, M. Bozga and J. Sifakis Translating AADL into BIP - Application to the Verification of Real-Time Systems In Model-Based Architecting and Construction of Embedded Systems ACES MB’08 Workshop Proceedings

[4S. Bensalem, F. Ingrand and J. Sifakis. Autonomous Robot Software Design Challenge. In 6th IARP/IEEE-RAS/EURON Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, 2008

[5A. Basu, M. Gallien, C. Lesire, T. Nguyen, S. Bensalem, F. Ingrand and J. Sifakis. Incremental Component-Based Construction and Verification of a Robotic System. In European Conference on Artificial Intelligence ECAI’08 Proceedings, volume 178 of FAIA, pages 631-635, IOS Press

[6A. Basu, L. Mounier, M. Poulhiès, J. Pulou and J. Sifakis. Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks. In Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007) Proceedings, pages 257-260.


Contact | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 695248