Component-based Modeling of Heterogeneous Real-time Systems in BIP

Abstract : We present the BIP component framework for component-based construction of real-time systems from heterogeneous components. BIP stands for Behavior, Interaction and Priority, the three main elements for building components. It considers that systems can be obtained by composition of 3-layered components, where the lowest layer represents behavior as a set of transitions with triggers and actions; the intermediate level is the set of the interactions between the transitions of the behavior level, and the upper level is a set of dynamic priority rules. BIP has a rigorous formal semantics, and supports a system construction methodology based on a parameterized composition operator on components. The use of a layered composition operator allows incremental construction. The system construction process can be viewed as a sequence of transformations in a three-dimensional space of Behavior X Interaction X Priority, and provides a basis for the study of property preserving transformations between subclasses of systems such as untimed/timed, asynchronous/synchronous. We also provide a distributed semantics for systems in BIP, using a partial state model, and show the use of an auxiliary predicate called Oracle to preserve observational equivalence with respect to the centralized semantics. We present an implementation of BIP as a tool chain that allows modeling, static analysis and execution of BIP descriptions on a dedicated engine. Three different implementations for the engine have been provided, a centralized enumerative engine, a centralized symbolic engine and a distributed engine. We illustrate the use of the tool chain for two major application domains, Software Componentization, and Modeling mixed hw/sw systems.
Type de document :
Thèse
Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2008. English
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00527491
Contributeur : Ananda Basu <>
Soumis le : mardi 19 octobre 2010 - 14:18:01
Dernière modification le : mercredi 20 octobre 2010 - 09:38:16
Document(s) archivé(s) le : vendredi 26 octobre 2012 - 11:40:58

Fichier

Identifiants

  • HAL Id : tel-00527491, version 1

Collections

Citation

Ananda Basu. Component-based Modeling of Heterogeneous Real-time Systems in BIP. Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2008. English. <tel-00527491>

Partager

Métriques

Consultations de
la notice

398

Téléchargements du document

283