Implementations of Correct-by-Construction Embedded Controllers
- 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.