Software-Defined Watchdog Timers for Cyber-Physical Systems

Author(s): Benjamin Asch, Erling Jellum, Marten Lohstroh, and Edward A. Lee

Abstract
This paper introduces software-defined watchdogs, a programming model for handling faults that manifest as delayed or missing signals. The programming model is implemented as an extension to the polyglot coordination language LINGUA FRANCA, where it acts as an eager deadline for delayed inputs. The technique is compared against hardware-defined watchdogs and software watchdogs in other reactive languages.

Electronic Downloads

• https://ieeexplore.ieee.org/document/10693560

---

Citation Formats

• APA
  

                  
  Benjamin Asch, Erling Jellum, Marten Lohstroh, and Edward A. Lee. (2024). Software-Defined Watchdog Timers for Cyber-Physical Systems. In IEEE Embedd. Syst. Letters, 18(9).                      
                  
                  

• MLA
  

                  
  Benjamin Asch, Erling Jellum, Marten Lohstroh, and Edward A. Lee. "Software-Defined Watchdog Timers for Cyber-Physical Systems." 2024. IEEE Embedd. Syst. Letters, vol. 18, no. 9.                      
                  
                  

• Chicago
  

                  
  Benjamin Asch, Erling Jellum, Marten Lohstroh, and Edward A. Lee. "Software-Defined Watchdog Timers for Cyber-Physical Systems." 2024. In IEEE Embedd. Syst. Letters, vol. 18(9).                      
                  
                  

• BibTeX
  

                      
  @article{AschEtAl:24:Watchdogs,
  	author = {Benjamin Asch, Erling Jellum, Marten Lohstroh, and Edward A. Lee},
  	title = {Software-Defined Watchdog Timers for Cyber-Physical Systems},
  	journal = {IEEE Embedd. Syst. Letters},
  	volume = {18},
  	number = {9},
  	month = {September},
  	year = {2024},
  	abstract = {This paper introduces software-defined watchdogs, a programming model for handling faults that manifest as delayed or missing signals. The programming model is implemented as an extension to the polyglot coordination language LINGUA FRANCA, where it acts as an eager deadline for delayed inputs. The technique is compared against hardware-defined watchdogs and software watchdogs in other reactive languages.},
  	URL = {https://ieeexplore.ieee.org/document/10693560}}