https://os.mbed.com/cookbook/WatchDog-Timer This link has demonstrated a way to implement Watchdog Timer on Mbed. This library is the library version of that code.

Revision:
2:1b576cfa3f49
Parent:
0:dece639e483e
diff -r 7d0312e56c87 -r 1b576cfa3f49 WatchdogTimer.h
--- a/WatchdogTimer.h	Fri Feb 09 11:29:05 2018 +0000
+++ b/WatchdogTimer.h	Fri Feb 09 11:32:52 2018 +0000
@@ -4,7 +4,7 @@
 class WatchdogTimer {
 public:
     void kick();
-    void kick(float s); 
+    void kick(float timeInSecond); 
 
 };