Rigorous Component-Based System Design Using the BIP Framework

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.

Saved in:
Bibliographic Details
Published inIEEE software Vol. 28; no. 3; pp. 41 - 48
Main Authors Basu, A, Bensalem, B, Bozga, M, Combaz, J, Jaber, M, Nguyen, T, Sifakis, J
Format Journal Article
LanguageEnglish
Published Los Alamitos IEEE 01.05.2011
IEEE Computer Society
Institute of Electrical and Electronics Engineers
Subjects
Adaptation model
Analysis
Application software
autonomous robots
Case studies
code generation
component-based design
Computer Science
Connectors
correctness
deadlock-freedom
Design
design flow
Designers
Embedded Systems
invariant generation
Laboratories
Language
model transformation
model-based design
Programming
Robots
Semantics
Software
Software Engineering
Studies
Synchronization
System analysis and design
Systems design
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:0740-7459
1937-4194
DOI:10.1109/MS.2011.27