Soheil Novinfard / Mbed OS Watchdog_nocoverage_modified

Lab6 - Step 2: Modify the Program to Increase the Watchdog Fault Coverage

Fork of Watchdog_sample_nocoverage by William Marsh

Files at this revision

API Documentation at this revision

Revision 6:aa0a8e69745f, committed 2018-03-08

Comitter:
novinfard
Date:
Thu Mar 08 14:44:03 2018 +0000
Parent:
5:9817756efc34
Commit message:
first commit

Changed in this revision

main.cpp Show annotated file Show diff for this revision Revisions of this file 
diff -r 9817756efc34 -r aa0a8e69745f main.cpp
--- a/main.cpp	Tue Feb 27 10:29:30 2018 +0000
+++ b/main.cpp	Thu Mar 08 14:44:03 2018 +0000
@@ -19,9 +19,9 @@
 Ticker tick;
 
 // Threads
-Thread threadT ; // timer thread 
-Thread threadLED1 ; // thread LED1
-Thread threadLED2 ; // thread LED2
+Thread threadT(osPriorityNormal, 2000) ; // timer thread 
+Thread threadLED1(osPriorityNormal, 2000) ; // thread LED1
+Thread threadLED2(osPriorityNormal, 2000) ; // thread LED2
 
 // ------------Fault Injection Button-------------
 //  Wait while the button is down
@@ -43,6 +43,7 @@
             if (evt.value.signals & 0x02) led1 = OFF ;
         } 
         waitButton() ;  // POSSIBLE FAULT HERE
+        wdt_kickA();
     }
 }
 
@@ -57,7 +58,8 @@
             if (evt.value.signals & 0x01) led2 = ON ;
             if (evt.value.signals & 0x02) led2 = OFF ;
         } 
-        // waitButton() ; // POSSIBLE FAULT HERE
+        //waitButton() ; // POSSIBLE FAULT HERE
+        wdt_kickB();
     }
 }
 
@@ -72,7 +74,7 @@
         Thread::wait(250) ;
         threadLED1.signal_set(0x2) ;
         threadLED2.signal_set(0x2) ;
-        // waitButton() ; // POSSIBLE FAULT HERE
+        //waitButton() ; // POSSIBLE FAULT HERE
     }
 }
 
@@ -85,8 +87,8 @@
 // ----------------------------------------------
 
 int main(void) {
-    wdt_32ms() ; // initialise watchdog - 32ms timeout
-    tick.attach_us(callback(&wdt_kick_all), 20000); // ticks every 20ms    
+    wdt_1sec() ; // initialise watchdog - 32ms timeout
+    //tick.attach_us(callback(&wdt_kick_all), 20000); // ticks every 20ms    
     
     // start threads
     threadT.start(&timer_thread) ; // start the timer thread