Hencher is a method and a tool to guide its users in modelling embedded control system.
The main features of the tool are as follows:
– Wizard for editing a control system, charaterized by : inputs variables (from sensors), internal and state internal variables (for controlled devices) , output variables (to actuators)
– Wizard for editing vairiables and their types
– Generation of a B model skeleton corresponding to the control system
– Wizard for the stepwire refinement of the B model (based on horizontal and vertical refinements)

Contact : christian)dot(attiogbe)@(univ-nantes.fr – AeLoS Team – LS2N