ESP-IDF Alarm with code
Budget: €30 – €60 EUR
Implement an alarm with infrared sensors (PIR) to detect the presence of intruders (GPIO12). If the alarm is armed, presence detection should generate an alarm signal. The alarm will be armed if there is a 1 in the GPIO14 and disarmed otherwise. The alarm signal will be the internal LED, but a buzzer can be connected to GPIO2 (be careful with the maximum currents it can give).
Use a push button to enter an alarm activation and deactivation code. Each digit will be entered by pressing the button as many times as the number indicates (10 times for 0), with a separation of less than one second between pressing and pressing. Each digit of the code will be separated by a pause of more than one second. Create a 3-digit code.
Deliver in a ZIP with the clean ESP-IDF project (no build files).
It was told that this should be done with three FMS.
In addition, in a different proyect, develop the SMV model of the alarm state machine with code, and write LTL specifications (LTLSPEC) to the SMV file itself to verify compliance with the coded alarm specification. There must be at least one safety property and one liveness property.
Use a push button to enter an alarm activation and deactivation code. Each digit will be entered by pressing the button as many times as the number indicates (10 times for 0), with a separation of less than one second between pressing and pressing. Each digit of the code will be separated by a pause of more than one second. Create a 3-digit code.
Deliver in a ZIP with the clean ESP-IDF project (no build files).
It was told that this should be done with three FMS.
In addition, in a different proyect, develop the SMV model of the alarm state machine with code, and write LTL specifications (LTLSPEC) to the SMV file itself to verify compliance with the coded alarm specification. There must be at least one safety property and one liveness property.