faults invariants
RSS faults invariantsSort by: Relevance | Date
Adaptive Correctness Monitoring for Wireless Sensor Networks Using Hierarchical Distributed Run-Time Invariant Checking
White Paper The developers of WSNs can specify "Invariants" that must be satisfied by the WSNs. It presents a framework, Hierarchical SEnsor Network Debugging (H- SEND), for lightweight checking of invariants. This... [11 Apr 2008]
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques
White Paper In addition, SafeDrive tracks invariants using simple wrappers for the host system API and restores them when recovering from a violation. SafeDrive recovered from all 44 crashes due to injected faults... [18 May 2007]
