A modern control system has complex requirements ranging from complicated control loops to safety bounds and startup/shutdown sequences. To ease development, tools to validate the control system are required. A full scale incremental approach where a model is used to derive the final implementation from allows for validating the system at every intermediate step.
The thesis will consist of researching a modular toolchain that facilitates a structured and incremental approach to controller design, with implementations based on scenario-aware dataflow models. The goal of this toolchain is to enable control engineers to design a control system in their domain specific quantities and implement the designed control system with minimal knowledge of the target hardware platforms.