• DocumentCode
    1458364
  • Title

    Rigorous Component-Based System Design Using the BIP Framework

  • Author

    Basu, Ananda ; Bensalem, Saddek ; Bozga, Marius ; Combaz, Jacques ; Jaber, Mohamad ; Nguyen, Thanh-Hung ; Sifakis, Joseph

  • Author_Institution
    Verimag Lab., France
  • Volume
    28
  • Issue
    3
  • fYear
    2011
  • Firstpage
    41
  • Lastpage
    48
  • Abstract
    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.
  • Keywords
    control engineering computing; mobile robots; object-oriented programming; systems analysis; BIP component framework; autonomous robot; behavior-interaction-priority component; rigorous component-based system design; semantic model; system design property; Adaptation model; Application software; Programming; Semantics; Synchronization; System analysis and design; autonomous robots; code generation; component-based design; correctness; deadlock-freedom; design flow; invariant generation; model transformation; model-based design;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/MS.2011.27
  • Filename
    5719588
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1458364