Rigorous System Design: the BIP Approach

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos and Joseph Sifakis.
Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, Lednice, Czech Republic.
Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at dierent 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.