Professor Joseph Sifakis will host a Research Seminar on January 19, 2011 at 3:30 pm at the ISDE/ISIS School of Engineering location at 1025 16th Avenue South in Suite 213.

Rigorous system design requires the use of a single powerful component framework allowing the representation of the designed system at different levels of abstraction, from application software to its implementation. Such a framework allows to maintain overall coherency and correctness of the design flow by comparing different architectural solutions and their properties.

The presentation includes three parts.

We present the BIP (Behavior, Interaction, Priority) component framework which encompasses an expressive notion of composition for heterogeneous components by combining interactions and priorities. This allows description at different levels of abstraction from application software to mixed hardware/software systems.
We introduce a rigorous design flow using BIP as a unifying semantic model to derive correct implementations from an application software, a model of the target architecture and a mapping. Correctness of implementations is ensured by application of source-to-source transformations in BIP which preserve essential design properties. The design is fully automated and supported by a toolset including a compiler, the D-Finder verification tool and model transformers.
We illustrate the use of BIP as a modeling formalism as well as crucial aspects of the design flow for ensuring correctness through an autonomous robot case study.

More information about BIP is available at:

http://www-verimag.imag.fr/Rigorous-Design-of-Component-Based.html