Rigorous Component-Based System Design

Saddek Bensalem, Ananda Basu, Marius Bozga, Paraskevas Bourgos, and Joseph Sifakis.
In Francisco Duran, editor, 9th International Workshop on Rewriting Logic and its Applications WRLA 2012, Tallinn, Estonia. March 24-25, 2012. Pre proceedings, pages 1{6. Institute of Cybernetics at Tallinn University of Technology, March 2012.
Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at di fferent 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 to- wards efficient implementations for specifi c platforms.