Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - A tunable add-on diagnostic protocol for time-triggered systems
AU - Serafini, M.
AU - Suri, Neeraj
AU - Vinter, J.
AU - Ademaj, A.
AU - Brandstätter, W.
AU - Tagliabò, F.
AU - Koch, J.
PY - 2007/6/25
Y1 - 2007/6/25
N2 - We present a tunable diagnostic protocol for generic time-triggered (TT) systems to detect crash and send/receive omission faults. Compared to existing diagnostic and membership protocols for TT systems, it does not rely on the single-fault assumption and tolerates malicious faults. It runs at the application level and can be added on top of any TT system (possibly as a middleware component) without requiring modifications at the system level. The information on detected faults is accumulated using a penalty/reward algorithm to handle transient faults. After a fault is detected, the likelihood of node isolation can be adapted to different system configurations, including those where functions with different criticality levels are integrated. Using actual automotive and aerospace parameters, we experimentally demonstrate the transient fault handling capabilities of the protocol. © 2007 IEEE.
AB - We present a tunable diagnostic protocol for generic time-triggered (TT) systems to detect crash and send/receive omission faults. Compared to existing diagnostic and membership protocols for TT systems, it does not rely on the single-fault assumption and tolerates malicious faults. It runs at the application level and can be added on top of any TT system (possibly as a middleware component) without requiring modifications at the system level. The information on detected faults is accumulated using a penalty/reward algorithm to handle transient faults. After a fault is detected, the likelihood of node isolation can be adapted to different system configurations, including those where functions with different criticality levels are integrated. Using actual automotive and aerospace parameters, we experimentally demonstrate the transient fault handling capabilities of the protocol. © 2007 IEEE.
KW - Algorithms
KW - Fault tolerant computer systems
KW - Information retrieval
KW - Middleware
KW - Real time systems
KW - Aerospace parameters
KW - Diagnostic protocols
KW - Time-triggered systems
KW - Program diagnostics
U2 - 10.1109/DSN.2007.12
DO - 10.1109/DSN.2007.12
M3 - Conference contribution/Paper
SN - 0769528554
SP - 164
EP - 173
BT - 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07)
PB - IEEE
ER -