Rigorous Component-Based System Design Using the BIP Framework - Université Grenoble Alpes Accéder directement au contenu
Article Dans Une Revue IEEE Software Année : 2011

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu
  • Fonction : Auteur
  • PersonId : 857857
Saddek Bensalem
Marius Bozga
Jacques Combaz
  • Fonction : Auteur
  • PersonId : 928505
Mohamad Jaber
  • Fonction : Auteur
  • PersonId : 880501
Thanh-Hung Nguyen
  • Fonction : Auteur
  • PersonId : 857881
Joseph Sifakis
  • Fonction : Auteur
  • PersonId : 857859

Résumé

Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. The use of a single framework allows to maintain the overall coherency and correctness by comparing different architectural solutions and their properties. In this paper, we present the BIP (Behavior, Interaction, Priority) component framework which encompasses an expressive notion of composition for heterogeneous components by combining interactions and priorities. This allows description at different levels of abstraction from application software to mixed hardware/software systems. Then, we introduce a rigorous design flow that uses BIP as a unifying semantic model to derive from an application software, a model of the target architecture and a mapping, a correct implementation. Correctness of implementation is ensured by application of source-to-source transformations in BIP which preserve correctness of essential design properties. The design is fully automated and supported by a toolset including a compiler, the D-Finder verification tool and model transformers. We illustrate the use of BIP as a modeling formalism as well as crucial aspects of the design flow for ensuring correctness, through an autonomous robot case study.
Fichier principal
Vignette du fichier
SO_SWSI-2010-11-0193.R2_Bozga.pdf (190.7 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00722395 , version 1 (15-05-2024)
hal-00722395 , version 2 (17-05-2024)

Identifiants

Citer

Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, et al.. Rigorous Component-Based System Design Using the BIP Framework. IEEE Software, 2011, 28 (3), pp.41-48. ⟨10.1109/MS.2011.27⟩. ⟨hal-00722395v2⟩
367 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More