The proposed solution superimposes several layers of monitoring and control while ensuring that system requirements are respected by construction. The proposed approach covers the supervisory control’s development process from the design as formal automata models to the implementation as executable code.
In the long term, the proposed solution helps reduce the engineering effort and gives a common framework for all the engineers during the requirements definition stage.
Virtual mock-ups of supervisors
Demonstrator within WP9 (HIL experiment) of PROMOTiON
Automated software tool to generate a supervisor code