Implementations of Correct-by-Construction Embedded Controllers

General Information:

  • Practical Laboratory in English
  • 5 ECTS-Credits
  • One presentations and one oral examination 

Students will work with different embedded platforms as targets for the implementations of formally-synthesized embedded controllers. Students will first use tools to design and generate embedded controllers for different case studies. This will be followed by a hardware-in-the-loop (HIL) simulation using our FPGA-based HIL simulator OP4200. Then, students work with different platforms ranging from FPGA, SoC to small-sized micorcontrollers to implement and run the synthesized controllers.



The content of the laboratory is divided in three task:

  • Working with tools like SCOTS and SENSE to synthesize symbolic controllers.
  • Simulate and test the controllers with the help of a real-time HIL Simulator.
  • Implement the controllers on FPGAs (Xilinx ZedBoard), SoCs (Rasperry Pi), and microcontrollers (Arduino).
  • (optional) Target one application for a complete design-implement flow: Autonomous navigation using small vehicles.


The module Modeling and Verification of Embedded Systems, Experience in VHDL, embedded systems and C/C++ programming.

Course Material: