Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems — A case study

In the paper, a teaching methodology for the design of controllers for cyber-physical system (CPS) is presented. The proposed approach is supported both by special tools (for modelling, verifying, and implementing of designed CPS) and programmable platforms (FPGA-based boards and Arduino devices). The latter ones allow for laboratory prototyping during classes and give flexibility for exercising different implemen-tation strategies. The proposed approach was fully validated during courses on “Discrete process control” and “Designing of integrated cyber-physical systems” offered at the University of Zielona Gora (Poland), and students' assessment of the usage of two design tools - IOPT- Tools and Active-HDL were analysed.