Title :
Rigorous Component-Based System Design Using the BIP Framework
Author :
Basu, Ananda ; Bensalem, Saddek ; Bozga, Marius ; Combaz, Jacques ; Jaber, Mohamad ; Nguyen, Thanh-Hung ; Sifakis, Joseph
Author_Institution :
Verimag Lab., France
Abstract :
An autonomous robot case study illustrates the use of the behavior, interaction, priority (BIP) component framework as a unifying semantic model to ensure correctness of essential system design properties.
Keywords :
control engineering computing; mobile robots; object-oriented programming; systems analysis; BIP component framework; autonomous robot; behavior-interaction-priority component; rigorous component-based system design; semantic model; system design property; Adaptation model; Application software; Programming; Semantics; Synchronization; System analysis and design; autonomous robots; code generation; component-based design; correctness; deadlock-freedom; design flow; invariant generation; model transformation; model-based design;
Journal_Title :
Software, IEEE
