Important changes to repositories hosted on mbed.com
Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.
To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.
It is also possible to export all your personal repositories from the account settings page.
Fork of Watchdog_sample_nocoverage by
main.cpp@6:1823c11fe758, 2018-03-09 (annotated)
- Committer:
- dhenis
- Date:
- Fri Mar 09 23:05:45 2018 +0000
- Revision:
- 6:1823c11fe758
- Parent:
- 3:32a940251192
1
Who changed what in which revision?
User | Revision | Line number | New contents of line |
---|---|---|---|
Manel_Marin | 0:5ce3cfc57999 | 1 | #include "mbed.h" |
WilliamMarshQMUL | 3:32a940251192 | 2 | #include "rtos.h" |
WilliamMarshQMUL | 1:159a09ac60ba | 3 | #include "wdt.h" |
dhenis | 6:1823c11fe758 | 4 | |
WilliamMarshQMUL | 2:c31a1758ac38 | 5 | // Sample program using the Watchdog |
WilliamMarshQMUL | 2:c31a1758ac38 | 6 | // --------------------------------- |
WilliamMarshQMUL | 3:32a940251192 | 7 | // * Three threads co-operate to flash two LEDs |
WilliamMarshQMUL | 3:32a940251192 | 8 | // * A simple way to inject a fault, by pressing a button |
WilliamMarshQMUL | 3:32a940251192 | 9 | // * The watchdog is configured with a 32ms timeout |
dhenis | 6:1823c11fe758 | 10 | |
WilliamMarshQMUL | 3:32a940251192 | 11 | #define ON 1 |
WilliamMarshQMUL | 3:32a940251192 | 12 | #define OFF 0 |
WilliamMarshQMUL | 3:32a940251192 | 13 | DigitalOut led_red(LED_RED, ON); |
WilliamMarshQMUL | 3:32a940251192 | 14 | DigitalIn button(PTD0, PullUp); |
WilliamMarshQMUL | 3:32a940251192 | 15 | DigitalOut led1(PTC12, OFF); |
WilliamMarshQMUL | 3:32a940251192 | 16 | DigitalOut led2(PTC13, OFF); |
dhenis | 6:1823c11fe758 | 17 | // Ticker for reading analog |
dhenis | 6:1823c11fe758 | 18 | AnalogIn ain(A0) ; |
dhenis | 6:1823c11fe758 | 19 | |
dhenis | 6:1823c11fe758 | 20 | char vstring[] = "X.XX\r\n" ; |
dhenis | 6:1823c11fe758 | 21 | |
dhenis | 6:1823c11fe758 | 22 | Serial pc(USBTX, USBRX); // tx, rx, for debugging |
WilliamMarshQMUL | 3:32a940251192 | 23 | // This ticker is used to feed the watch dog |
WilliamMarshQMUL | 3:32a940251192 | 24 | Ticker tick; |
dhenis | 6:1823c11fe758 | 25 | int oke = 0; |
WilliamMarshQMUL | 3:32a940251192 | 26 | // Threads |
dhenis | 6:1823c11fe758 | 27 | Thread threadT(osPriorityNormal, 1000) ; // timer thread |
dhenis | 6:1823c11fe758 | 28 | Thread threadLED1(osPriorityNormal, 1000) ; // thread LED1 |
dhenis | 6:1823c11fe758 | 29 | Thread threadLED2(osPriorityNormal, 1000) ; // thread LED2 |
dhenis | 6:1823c11fe758 | 30 | |
WilliamMarshQMUL | 3:32a940251192 | 31 | // ------------Fault Injection Button------------- |
WilliamMarshQMUL | 3:32a940251192 | 32 | // Wait while the button is down |
WilliamMarshQMUL | 3:32a940251192 | 33 | // Use this to simulate a STUCK fault |
WilliamMarshQMUL | 3:32a940251192 | 34 | // ----------------------------------------------- |
WilliamMarshQMUL | 3:32a940251192 | 35 | void waitButton() { |
dhenis | 6:1823c11fe758 | 36 | oke =1; |
dhenis | 6:1823c11fe758 | 37 | while (!button) { |
dhenis | 6:1823c11fe758 | 38 | }; |
WilliamMarshQMUL | 3:32a940251192 | 39 | } |
WilliamMarshQMUL | 2:c31a1758ac38 | 40 | |
dhenis | 6:1823c11fe758 | 41 | |
WilliamMarshQMUL | 3:32a940251192 | 42 | // ---Thread for controlling LED 1---------------- |
WilliamMarshQMUL | 3:32a940251192 | 43 | // Turn LED1 on/off in response to signals |
WilliamMarshQMUL | 3:32a940251192 | 44 | // ----------------------------------------------- |
WilliamMarshQMUL | 3:32a940251192 | 45 | void led1_thread() { // method to run in thread |
WilliamMarshQMUL | 3:32a940251192 | 46 | osEvent evt ; |
WilliamMarshQMUL | 3:32a940251192 | 47 | while (true) { |
WilliamMarshQMUL | 3:32a940251192 | 48 | evt = Thread::signal_wait(0x0); // wait for any signal |
dhenis | 6:1823c11fe758 | 49 | |
dhenis | 6:1823c11fe758 | 50 | wdt_kickA(); |
dhenis | 6:1823c11fe758 | 51 | |
WilliamMarshQMUL | 3:32a940251192 | 52 | if (evt.status == osEventSignal) { |
WilliamMarshQMUL | 3:32a940251192 | 53 | if (evt.value.signals & 0x01) led1 = ON ; |
WilliamMarshQMUL | 3:32a940251192 | 54 | if (evt.value.signals & 0x02) led1 = OFF ; |
dhenis | 6:1823c11fe758 | 55 | |
WilliamMarshQMUL | 3:32a940251192 | 56 | } |
dhenis | 6:1823c11fe758 | 57 | |
dhenis | 6:1823c11fe758 | 58 | // waitButton() ; // POSSIBLE FAULT HERE |
dhenis | 6:1823c11fe758 | 59 | |
dhenis | 6:1823c11fe758 | 60 | |
WilliamMarshQMUL | 3:32a940251192 | 61 | } |
WilliamMarshQMUL | 3:32a940251192 | 62 | } |
dhenis | 6:1823c11fe758 | 63 | |
WilliamMarshQMUL | 3:32a940251192 | 64 | // ---Thread for controlling LED 2---------------- |
WilliamMarshQMUL | 3:32a940251192 | 65 | // Turn LED2 on/off in response to signals |
WilliamMarshQMUL | 3:32a940251192 | 66 | // ----------------------------------------------- |
WilliamMarshQMUL | 3:32a940251192 | 67 | void led2_thread() { // method to run in thread |
WilliamMarshQMUL | 3:32a940251192 | 68 | osEvent evt ; |
WilliamMarshQMUL | 3:32a940251192 | 69 | while (true) { |
WilliamMarshQMUL | 3:32a940251192 | 70 | evt = Thread::signal_wait(0x0); // wait for any signal |
dhenis | 6:1823c11fe758 | 71 | wdt_kickB(); |
dhenis | 6:1823c11fe758 | 72 | |
WilliamMarshQMUL | 3:32a940251192 | 73 | if (evt.status == osEventSignal) { |
WilliamMarshQMUL | 3:32a940251192 | 74 | if (evt.value.signals & 0x01) led2 = ON ; |
WilliamMarshQMUL | 3:32a940251192 | 75 | if (evt.value.signals & 0x02) led2 = OFF ; |
dhenis | 6:1823c11fe758 | 76 | //wdt_kickA(); |
dhenis | 6:1823c11fe758 | 77 | |
dhenis | 6:1823c11fe758 | 78 | } |
dhenis | 6:1823c11fe758 | 79 | |
dhenis | 6:1823c11fe758 | 80 | waitButton() ; // POSSIBLE FAULT HERE |
dhenis | 6:1823c11fe758 | 81 | |
WilliamMarshQMUL | 3:32a940251192 | 82 | } |
WilliamMarshQMUL | 3:32a940251192 | 83 | } |
dhenis | 6:1823c11fe758 | 84 | |
WilliamMarshQMUL | 3:32a940251192 | 85 | // ---Thread for timing -------------------------- |
WilliamMarshQMUL | 3:32a940251192 | 86 | // Send signals to the other threads |
WilliamMarshQMUL | 3:32a940251192 | 87 | // ----------------------------------------------- |
WilliamMarshQMUL | 3:32a940251192 | 88 | void timer_thread() { // method to run in thread |
WilliamMarshQMUL | 3:32a940251192 | 89 | while (true) { |
dhenis | 6:1823c11fe758 | 90 | |
dhenis | 6:1823c11fe758 | 91 | |
WilliamMarshQMUL | 3:32a940251192 | 92 | Thread::wait(250) ; |
WilliamMarshQMUL | 3:32a940251192 | 93 | threadLED1.signal_set(0x1) ; |
WilliamMarshQMUL | 3:32a940251192 | 94 | threadLED2.signal_set(0x1) ; |
dhenis | 6:1823c11fe758 | 95 | |
WilliamMarshQMUL | 3:32a940251192 | 96 | Thread::wait(250) ; |
WilliamMarshQMUL | 3:32a940251192 | 97 | threadLED1.signal_set(0x2) ; |
WilliamMarshQMUL | 3:32a940251192 | 98 | threadLED2.signal_set(0x2) ; |
dhenis | 6:1823c11fe758 | 99 | |
dhenis | 6:1823c11fe758 | 100 | //tick.attach_us(callback(&wdt_kick_all), 20000); // ticks every 20ms |
dhenis | 6:1823c11fe758 | 101 | |
dhenis | 6:1823c11fe758 | 102 | |
dhenis | 6:1823c11fe758 | 103 | // waitButton() ; // POSSIBLE FAULT HERE |
WilliamMarshQMUL | 3:32a940251192 | 104 | } |
WilliamMarshQMUL | 3:32a940251192 | 105 | } |
dhenis | 6:1823c11fe758 | 106 | |
WilliamMarshQMUL | 3:32a940251192 | 107 | // -----------MAIN------------------------------- |
WilliamMarshQMUL | 3:32a940251192 | 108 | // Configure watchdog. Start threads. |
WilliamMarshQMUL | 3:32a940251192 | 109 | // Show start up with RED for 1sec |
WilliamMarshQMUL | 3:32a940251192 | 110 | // Remember the watchdog is running |
WilliamMarshQMUL | 3:32a940251192 | 111 | // - 1024ms to set it once |
WilliamMarshQMUL | 3:32a940251192 | 112 | // - then must feed it every 32ms |
WilliamMarshQMUL | 3:32a940251192 | 113 | // ---------------------------------------------- |
dhenis | 6:1823c11fe758 | 114 | |
Manel_Marin | 0:5ce3cfc57999 | 115 | int main(void) { |
dhenis | 6:1823c11fe758 | 116 | |
dhenis | 6:1823c11fe758 | 117 | wdt_1sec() ; // initialise watchdog - 32ms timeout |
dhenis | 6:1823c11fe758 | 118 | //wdt_32ms(); |
dhenis | 6:1823c11fe758 | 119 | |
dhenis | 6:1823c11fe758 | 120 | |
dhenis | 6:1823c11fe758 | 121 | //tick.attach_us(callback(&wdt_kick_all), 20000); // ticks every 20ms |
WilliamMarshQMUL | 1:159a09ac60ba | 122 | |
WilliamMarshQMUL | 3:32a940251192 | 123 | // start threads |
WilliamMarshQMUL | 3:32a940251192 | 124 | threadT.start(&timer_thread) ; // start the timer thread |
WilliamMarshQMUL | 3:32a940251192 | 125 | threadLED1.start(&led1_thread) ; // start the LED1 control thread |
WilliamMarshQMUL | 3:32a940251192 | 126 | threadLED2.start(&led2_thread) ; // start the LED2 control thread |
WilliamMarshQMUL | 1:159a09ac60ba | 127 | |
WilliamMarshQMUL | 1:159a09ac60ba | 128 | // show start-up |
WilliamMarshQMUL | 3:32a940251192 | 129 | led_red = OFF; |
WilliamMarshQMUL | 3:32a940251192 | 130 | Thread::wait(1000) ; |
WilliamMarshQMUL | 3:32a940251192 | 131 | led_red = ON; |
Manel_Marin | 0:5ce3cfc57999 | 132 | } |