Joint Colloquium Distinguished Lecture Series

Component-based Construction of Heterogeneous Real-time Systems in BIP

photo of Joseph Sifakis Wednesday, June 11, 2008
306 Soda Hall (HP Auditorium)
2:00 - 3:00 pm

Joseph Sifakis
CNRS Research Director, Founder of VERIMAG Laboratory, and Director (1993-2006)

Abstract:

We present a framework for the component-based construction of real-time systems. The framework is based on the BIP (Behavior, Interaction, Priority)semantic model, characterized by a layered representation of components. Compound components are obtained as the composition of atomic components specified by their behavior and interface, by using connectors and dynamic priorities. Connectors describe structured interactions between atomic components, in terms of two basic protocols: rendezvous and broadcast. Dynamic priorities are used to select amongst possible interactions - in particular, to express scheduling policies.

BIP supports a methodology for incremental construction within a three-dimensional space: Behavior×Interaction×Priority. The separation between behavior and architectural constraints expressed by interactions and priorities, eases compositional verification of systems through a separate analysis of their atomic components and their architectural constraints.

The BIP framework has been implemented in a language and a toolset. The BIP language offers primitives and constructs for modelling and composing atomic components described as state machines, extended with data and functions in C. The BIP toolset includes an editor and a compiler for generating from BIP programs, C++ code executable on a dedicated platform. It allows simulation and verification of BIP programs by using model checking or compositional techniques for some properties such as deadlock-freedom.

We provide several examples illustrating the use of BIP for modeling heterogeneous systems. Further information is available at: http://www-verimag.imag.fr/~async/bip.php

Biography:

Dr. Sifakis, the 2007 recipient of the ACM Turing Award, is the founder of Verimag Laboratory, a leading research center for embedded systems in Grenoble, France, where he was director from 1993-2006. He is currently the Research Director of Centre National de la Recherche Scientifique, and Director of the CARNOT Institute on Intelligent Software and Systems in Grenoble. Dr. Sifakis is a member of the editorial board of several journals, and the scientific coordinator of the Artist2 and ArtistDesign European Networks of Excellence on Embedded Systems Design. He is co-founder with Edmund Clarke, Robert Kurshan, and Amir Pnueli of the International Conference on Computer Aided Verification (CAV). He earned a degree in electrical engineering from the Technical University of Athens and a Ph.D. in computer science from the University of Grenoble.


  Return to EECS Joint Colloquium