Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata

Cited literature [52 references]  Display  Hide  Download
Contributor : Ananda Basu Connect in order to contact the contributor
Submitted on : Tuesday, October 19, 2010 - 2:18:01 PM
Last modification on : Friday, March 25, 2022 - 11:08:55 AM
Long-term archiving on: : Friday, October 26, 2012 - 11:40:58 AM


  • HAL Id : tel-00527491, version 1




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



Record views


Files downloads