2009 | OriginalPaper | Buchkapitel
Component-Based Construction of Real-Time Systems in BIP
verfasst von : Joseph Sifakis
Erschienen in: Computer Aided Verification
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
BIP is a framework for the component-based construction of real-time systems. It considers that systems can be obtained as the composition of 3-layer components. For a component,
The lower layer describes its
behavior
, a set of transitions with triggers and actions (atomic state transformations). A trigger consists of an enabling condition on data and a
port
through which synchronization is sought.
The intermediate level is the set of
interactions
between transitions of the behavior level. An interaction is a set of synchronizing ports and associated actions. Interactions are specified by using
connectors
expressing synchronization constraints on ports.
The upper level is a set of
priority
rules implementing scheduling policies for interactions.
The framework supports a system construction methodology which is based on a parameterized binary
composition
operator on components. The product of two components consists in composing their corresponding layers, separately. Parameters are used to define new interactions as well as new priorities between the composed components.