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