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.


Published in:
IEEE Software, 28, 3, 41-48
Year:
2011
Publisher:
Institute of Electrical and Electronics Engineers
ISSN:
0740-7459
Laboratories:




 Record created 2011-12-05, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)