Rigorous Component-Based System Design Using the BIP Framework
Basu, Ananda; Bensalem, Saddek; Bozga, Marius; Combaz, Jacques; Jaber, Mohamad; Nguyen, Thanh-Hung; Sifakis, Joseph
2011

Files

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.

Details

Title Rigorous Component-Based System Design Using the BIP Framework
Author(s) Basu, Ananda ; Bensalem, Saddek ; Bozga, Marius ; Combaz, Jacques ; Jaber, Mohamad ; Nguyen, Thanh-Hung ; Sifakis, Joseph
Published in IEEE Software
Volume 28
Issue 3
Pages 41-48
Date 2011
Publisher Institute of Electrical and Electronics Engineers
ISSN 0740-7459
DOI https://doi.org/10.1109/MS.2011.27
Laboratories RISD
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > RISD - Rigorous System Design Laboratory
Peer-reviewed publications
Work outside EPFL
Journal Articles
Published
Record creation date 2011-12-05

PDF