Rigorous Component-Based System Design Using the BIP Framework

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.

[1]  Joseph Sifakis,et al.  Incremental component-based construction and verification using invariants , 2010, Formal Methods in Computer Aided Design.

[2]  Matthieu Herrb,et al.  G/sup en/oM: a tool for the specification and the implementation of operating modules in a distributed robot architecture , 1997, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97.

[3]  Steve Vestal,et al.  The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[4]  Jeff Magee,et al.  Dynamic structure in software architectures , 1996, SIGSOFT '96.

[5]  Rajive L. Bagrodia,et al.  Process Synchronization: Design and Performance Evaluation of Distributed Algorithms , 1989, IEEE Trans. Software Eng..

[6]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[7]  Joseph Sifakis,et al.  From high-level component-based models to distributed implementations , 2010, EMSOFT '10.

[8]  Alan Burns,et al.  Real-Time Systems and Programming Languages , 2009 .

[9]  Joseph Sifakis,et al.  D-Finder: A Tool for Compositional Deadlock Detection and Verification , 2009, CAV.

[10]  Joseph Sifakis,et al.  Causal semantics for the algebra of connectors , 2008, Formal Methods Syst. Des..

[11]  Joseph Sifakis,et al.  Incremental Component-Based Construction and Verification of a Robotic System , 2008, ECAI.

[12]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[13]  Joseph Sifakis,et al.  Compositional verification for component-based systems and application , 2010, IET Softw..

[14]  Joseph Sifakis,et al.  A Notion of Glue Expressiveness for Component-Based Systems , 2008, CONCUR.

[15]  David Garlan,et al.  Acme: an architecture description interchange language , 1997, CASCON.

[16]  Nicolas Halbwachs,et al.  Synchronous Programming of Reactive Systems , 1992, CAV.