Research Topics
 System Support
Contact/Visit us

A language for the control of adaptive and reconfigurable computing systems

BZR is a reactive language, belonging to the synchronous languages family, equipped with a behavioral contract mechanisms, where assumptions can be described, as well as an"enforce" property part: the semantics of this latter is that the property should be enforced by controlling the behaviour of the node equipped with the contract.

It is developed in relation with the research topic on Model-based Control of Adaptive and Reconfigurable Systems. It is currently applied in different directions:

How to get it or try it

Participants at INRIA Grenoble

Eric RuttenResearcher at INRIA+33 4 76 61 55 50mail web
Gwenaƫl DelavalAssistant Prof. at UJF+33 4 76 61 54 31mailweb