Automatic Recovery of the TTP/A Sensor/Actuator Network

Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field studies show that the probability of transient failures to occur is much higher then the probability for permanent failures. After the occurrence of a transient failure, a system is in principle able to correctly execute its algorithms, however, the global system state may be unsynchronized. One approach to cope with transient failures is the implementation of automatic recovery, i. e., the system is able to reach correct operation from a faulty system state. In this paper we discuss the automatic recovery of the TTP/A field-bus protocol if the slave nodes are forced to an arbitrary position in the TDMA scheme. The analysis will be verified by using model checking techniques.

• Type: Conference
• Year: 2003
• Where: WISES
• Authors: Wilfried Steiner, Wilfried Elmenreich
• Keywords: Automatic Recovery, Media Access Protocols, Transient Failures, WISES 2003, WISES 2008