Home > Research > Publications & Outputs > Application-level diagnostic and membership pro...

Research

Associated organisational units

Links

Text available via DOI:

Keywords

View graph of relations

Application-level diagnostic and membership protocols for generic time-triggered systems

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

Standard

Application-level diagnostic and membership protocols for generic time-triggered systems. / Serafini, M.; Bokor, P.; Suri, Neeraj et al.
In: IEEE Transactions on Dependable and Secure Computing, Vol. 8, No. 2, 01.03.2011, p. 177-193.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Harvard

Serafini, M, Bokor, P, Suri, N, Vinter, J, Ademaj, A, Brandstätter, W, Tagliabo, F & Koch, J 2011, 'Application-level diagnostic and membership protocols for generic time-triggered systems', IEEE Transactions on Dependable and Secure Computing, vol. 8, no. 2, pp. 177-193. https://doi.org/10.1109/TDSC.2010.23

APA

Serafini, M., Bokor, P., Suri, N., Vinter, J., Ademaj, A., Brandstätter, W., Tagliabo, F., & Koch, J. (2011). Application-level diagnostic and membership protocols for generic time-triggered systems. IEEE Transactions on Dependable and Secure Computing, 8(2), 177-193. https://doi.org/10.1109/TDSC.2010.23

Vancouver

Serafini M, Bokor P, Suri N, Vinter J, Ademaj A, Brandstätter W et al. Application-level diagnostic and membership protocols for generic time-triggered systems. IEEE Transactions on Dependable and Secure Computing. 2011 Mar 1;8(2):177-193. Epub 2011 Jan 17. doi: 10.1109/TDSC.2010.23

Author

Serafini, M. ; Bokor, P. ; Suri, Neeraj et al. / Application-level diagnostic and membership protocols for generic time-triggered systems. In: IEEE Transactions on Dependable and Secure Computing. 2011 ; Vol. 8, No. 2. pp. 177-193.

Bibtex

@article{c8111e578dbe4c1a958a0165fd9f3dff,
title = "Application-level diagnostic and membership protocols for generic time-triggered systems",
abstract = "We present online tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults, and network partitions. Compared to existing diagnostic and membership protocols for TT systems, our protocols do not rely on the single-fault assumption and also tolerate non-fail-silent (Byzantine) faults. They run 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 configurations where functions with different criticality levels are integrated. All protocols are formally verified using model checking. Using actual automotive and aerospace parameters, we also experimentally demonstrate the transient fault handling capabilities of the protocols. {\textcopyright} 2011 IEEE.",
keywords = "Diagnosis, membership, time-triggered systems, transient faults, Application level, Membership protocols, Middleware components, Network partitions, Node isolation, System configurations, System levels, Time triggered, Time-triggered systems, Tt systems, Fault tree analysis, Middleware, Model checking, Online systems, Quality assurance, Reliability, Network protocols",
author = "M. Serafini and P. Bokor and Neeraj Suri and J. Vinter and A. Ademaj and W. Brandst{\"a}tter and F. Tagliabo and J. Koch",
year = "2011",
month = mar,
day = "1",
doi = "10.1109/TDSC.2010.23",
language = "English",
volume = "8",
pages = "177--193",
journal = "IEEE Transactions on Dependable and Secure Computing",
issn = "1545-5971",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "2",

}

RIS

TY - JOUR

T1 - Application-level diagnostic and membership protocols for generic time-triggered systems

AU - Serafini, M.

AU - Bokor, P.

AU - Suri, Neeraj

AU - Vinter, J.

AU - Ademaj, A.

AU - Brandstätter, W.

AU - Tagliabo, F.

AU - Koch, J.

PY - 2011/3/1

Y1 - 2011/3/1

N2 - We present online tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults, and network partitions. Compared to existing diagnostic and membership protocols for TT systems, our protocols do not rely on the single-fault assumption and also tolerate non-fail-silent (Byzantine) faults. They run 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 configurations where functions with different criticality levels are integrated. All protocols are formally verified using model checking. Using actual automotive and aerospace parameters, we also experimentally demonstrate the transient fault handling capabilities of the protocols. © 2011 IEEE.

AB - We present online tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults, and network partitions. Compared to existing diagnostic and membership protocols for TT systems, our protocols do not rely on the single-fault assumption and also tolerate non-fail-silent (Byzantine) faults. They run 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 configurations where functions with different criticality levels are integrated. All protocols are formally verified using model checking. Using actual automotive and aerospace parameters, we also experimentally demonstrate the transient fault handling capabilities of the protocols. © 2011 IEEE.

KW - Diagnosis

KW - membership

KW - time-triggered systems

KW - transient faults

KW - Application level

KW - Membership protocols

KW - Middleware components

KW - Network partitions

KW - Node isolation

KW - System configurations

KW - System levels

KW - Time triggered

KW - Time-triggered systems

KW - Tt systems

KW - Fault tree analysis

KW - Middleware

KW - Model checking

KW - Online systems

KW - Quality assurance

KW - Reliability

KW - Network protocols

U2 - 10.1109/TDSC.2010.23

DO - 10.1109/TDSC.2010.23

M3 - Journal article

VL - 8

SP - 177

EP - 193

JO - IEEE Transactions on Dependable and Secure Computing

JF - IEEE Transactions on Dependable and Secure Computing

SN - 1545-5971

IS - 2

ER -