Component-Based Design 
of Concurrent Software 
in BIP

Lecture slides

This afternoon I will be giving a lecture about BIP to a group of students from a course taught by Panagiotis Katsaros at the Aristotle University of Thessaloniki.

A current development version of BIP can be cloned from the Verimag GitLab:

git clone -b fixing-include-pv-exported-port-connectors                https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/bip/compiler.git

Once the repository is cloned, install it by issuing the following commands:

$ cd compiler/distribution
$ ./wrap.sh
$ source setenv.sh
$ env | grep BIP2

This will configure your current terminal window to use the BIP Reference Engine (there is also an optimised and a multi-threaded version of the engine). To configure all future terminal windows, either add the third command above (source <path_to_your_installation>/setenv.sh) to your .base_profile, or copy there the definitions of the corresponding BIP2 environment variables (see the last command above).

Additional information is available from the Verimag BIP Compiler page.

BIP examples used in the lecture

References:

[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] Simon Bliudze, Joseph Sifakis, Marius Dorel Bozga, and Mohamad Jaber. Architecture internalisation in BIP. In Proceedings of the 17th International ACM Sigsoft Symposium on Component-based Software Engineering (CBSE '14), page 169–178, New York, NY, USA, 2014. ACM. [ bib | DOI | .pdf ]
[3] 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 ]
[4] 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 ]
[5] 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 ]
[6] 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 *