Chapter

Mathematical and Engineering Methods in Computer Science

Volume 7119 of the series Lecture Notes in Computer Science pp 1-19

Rigorous System Design: The BIP Approach

  • Ananda BasuAffiliated withVerimag Laboratory, Université Joseph Fourier Grenoble, CNRS
  • , Saddek BensalemAffiliated withVerimag Laboratory, Université Joseph Fourier Grenoble, CNRSCEA-Leti
  • , Marius BozgaAffiliated withVerimag Laboratory, Université Joseph Fourier Grenoble, CNRS
  • , Paraskevas BourgosAffiliated withVerimag Laboratory, Université Joseph Fourier Grenoble, CNRS
  • , Joseph SifakisAffiliated withVerimag Laboratory, Université Joseph Fourier Grenoble, CNRS

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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 [1]. 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.