Giovanna Lani (WebLab-Deusto, University of Deusto)

Simulations

Door
Manage a school door with a presence sensor
Water Tank
Manage a water tank with two pumps and a variable amount of water demand
Wiper
Control a vehicle windshield wiper using rain and position sensors with manual and park inputs.
Wiper 2-Bit
Control a vehicle windshield wiper with two-bit direction commands, rain and position sensors, and manual and park inputs.

FPGA + Automatic Door (Basic Level)
Design and test a safe VHDL controller for the REDTAIL automatic door on a DE1-SoC.
FPGA + Wiper (Basic Level, SystemVerilog)
Design and test a rain-responsive SystemVerilog controller for the Deusto Wiper simulation on a DE1-SoC.
FPGA + Wiper (Basic Level, VHDL)
Design and test a rain-responsive VHDL controller for the Deusto Wiper simulation on a DE1-SoC.
FPGA + Wiper 2-Bit (Intermediate Level, SystemVerilog)
Design and test a stateful directional SystemVerilog controller for the Deusto Wiper 2-Bit simulation on a DE1-SoC.
FPGA + Wiper 2-Bit (Intermediate Level, VHDL)
Design and test a stateful directional VHDL controller for the Deusto Wiper 2-Bit simulation on a DE1-SoC.
STM32 + Automatic Door (Basic Level, Mbed OS)
Build and test an endpoint-safe Mbed controller for the REDTAIL automatic door on an STM32 NUCLEO-WB55RG.
STM32 + Wiper (Basic Level, Mbed OS)
Build and test a rain-responsive Mbed OS controller for the Deusto Wiper simulation on an STM32 NUCLEO-WB55RG.
STM32 + Wiper 2-Bit (Intermediate Level, Mbed OS)
Build and test a stateful directional Mbed OS controller for the Deusto Wiper 2-Bit simulation on an STM32 NUCLEO-WB55RG.