Component-based Modeling of Heterogeneous Real-time Systems in BIP - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2008

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

Modélisation à base de Composants de Systèmes Temps réel Hétérogènes en BIP

Ananda Basu
  • Fonction : Auteur
  • PersonId : 880823

Résumé

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.
Fichier principal
Vignette du fichier
report.pdf (1.4 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00527491 , version 1 (19-10-2010)

Identifiants

  • HAL Id : tel-00527491 , version 1

Citer

Ananda Basu. Component-based Modeling of Heterogeneous Real-time Systems in BIP. Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2008. English. ⟨NNT : ⟩. ⟨tel-00527491⟩
484 Consultations
464 Téléchargements

Partager

Gmail Facebook X LinkedIn More