IMBSA 2019 Tutorial

Presentation slides

I have just given a 40-minute tutorial on the Rigorous Component-based Design in BIP at IMBSA 2019 in the beautiful city of Thessaloniki.

I have very briefly presented the motivation, model and operational semantics of the BIP framework and spoken more extensively about our Theory of Architectures (design patterns for BIP) and RERD tool developed by the group of Prof. Panagiotis Katsaros at the Aristotle University of Thessaloniki.

The RERD tool supports the design flow we have developed with Prof. Katsaros during our collaboration on the ESA-funded CSSP project. This includes

  • user and system requirements specification in a pseudo-natural language, using ontology-based boilerplates
  • derivation of formal properties that allow discharging these requirements
  • instantiation of architectures enforcing these properties to generate a system model


[1] Simon Bliudze and Joseph Sifakis. The Algebra of Connectors — Structuring interaction in BIP. In Proceedings of the 7th ACM & IEEE International Conference on Embedded Software, EMSOFT 2007, page 11–20, Salzburg, Austria, October 2007. ACM SigBED. [ bib | DOI | .pdf ]
[2] Paul Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, and Joseph Sifakis. A general framework for architecture composability. In D. Giannakopoulou and G. Salaün, editors, 12th International Conference on Software Engineering and Formal Methods (SEFM 2014), number 8702 in LNCS, page 128–143, Switzerland, 2014. Springer International Publishing. [ bib | DOI | .pdf ]
[3] Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton Ivanov, Panagiotis Katsaros, and Joseph Sifakis. Architecture-based design: A satellite on-board software case study. In 13th International Conference on Formal Aspects of Component Software (FACS 2016), volume 10231 of Lecture Notes in Computer Science, page 260–279, 2016. [ bib | DOI | .pdf ]
[4] Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, and Joseph Sifakis. Early validation of system requirements and design through correctness-by-construction. Journal of Systems and Software, 145:52–78, November 2018. [ bib | DOI | .pdf ]
[5] Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen and Joseph Sifakis. Rigorous Component-Based System Design Using the BIP Framework. IEEE Software 2011. [ DOI ]

Leave a Reply

Your email address will not be published. Required fields are marked *