Source-To-Source Architecture Transformation for Performance Optimization in BIP - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Industrial Informatics Année : 2010

Source-To-Source Architecture Transformation for Performance Optimization in BIP

Marius Bozga
Mohamad Jaber
  • Fonction : Auteur
  • PersonId : 880501
Joseph Sifakis
  • Fonction : Auteur
  • PersonId : 857859

Résumé

Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions and priorities. In this paper, we present a method that transforms the interactions of a component-based program in BIP and generates a functionally equivalent program. The method is based on the successive application of three types of source-to-source transformations: flattening of components, flattening of connectors, and composition of atomic components. We show that the system of the transformations is confluent and terminates. By exhaustive application of the transformations, any BIP component can be transformed into an equivalent monolithic component. From this component, efficient standalone C++ code can be generated. The method combines advantages of component-based description such as clarity, incremental construction, and reasoning with the possibility to generate efficient monolithic code. It has been integrated in the design methodology for BIP and it has been successfully applied to two non trivial examples described in this paper.

Dates et versions

hal-00722520 , version 1 (02-08-2012)

Identifiants

Citer

Marius Bozga, Mohamad Jaber, Joseph Sifakis. Source-To-Source Architecture Transformation for Performance Optimization in BIP. IEEE Transactions on Industrial Informatics, 2010, 6 (4), pp.708-718. ⟨10.1109/TII.2010.2069102⟩. ⟨hal-00722520⟩
67 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More