BZR is a reactive language, belonging to the synchronous languages family, whose main feature is to include discrete controller synthesis within its compilation.
It is 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. This property will be enforced by an automatically built controller, which will act on free controllable variables given by the programmer.
BZR is developed in the Ctrl-A team.
How to get it or try it
Technical requirementsRunning the BZR compiler requires the following external tools, on top of which it is built:
- Heptagon, a compiler for a synchronous reactive language, developed in the Synchronics project;
- A C or Java compiler (C and Java are target languages of Heptagon/BZR);
- Sigali, the controller synthesis tool, developed by the Espresso and Vertecs team at INRIA Rennes.
ContactPlease contact us for further information.
|GwenaŽl Delaval||Assistant Prof. at UGA||+33 4 76 61 54 31||web|
|Hervť Marchand||Researcher at INRIA||+33 2 99 84 75 09||web|
|Eric Rutten||Researcher at INRIA||+33 4 76 61 55 50||web|