Rigorous System Design: The BIP Approach

Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of detail, from application software to its implementation. This is essential for ensuring the overall coherency and correctness. The paper introduces a rigorous design flow based on the BIP (Behavior, Interaction, Priority) component framework. This design flow relies on several, tool-supported, source-to-source transformations allowing to progressively and correctly transform high level application software towards efficient implementations for specific platforms.


Published in:
Mathematical and Engineering Methods in Computer Science, 1-19
Presented at:
7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011
Year:
2012
Publisher:
Berlin Heidelberg, Springer
ISBN:
978-3-642-25929-6
Note:
Revised Selected Papers
Laboratories:




 Record created 2013-11-26, last modified 2018-09-13

Publisher's version:
Download fulltext
PDF

Rate this document:

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