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.

 

Content:

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.

Preconditions:

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

Course Material:

Soon.