research-article

Achal: building highly reliable networked control systems

Authors:

Arpan Gujarati,

Malte Appel,

Bjørn B. BrandenburgAuthors Info & Claims

EMSOFT '19: Proceedings of the International Conference on Embedded Software Companion

Article No.: 9, Pages 1 - 2

https://doi.org/10.1145/3349568.3351545

Published: 13 October 2019 Publication History

Get Access

Abstract

In a highly reliable networked control system, active replication of critical system components is necessary for instantaneous recovery from crash or a network partition failure. However, due to Byzantine errors, the replicas can diverge and produce incorrect outputs. In this work, we target the specific problem of replica coordination in presence of environmentally-induced Byzantine errors, while addressing challenges and constraints specific to the CPS domain.

References

[1]

2005. Real-time CORBA Specification. https://www.omg.org/spec/RT/1.2/

Google Scholar

[2]

2015. Data Distribution Service Specification. https://www.omg.org/spec/DDS/

Google Scholar

[3]

2018. Apache Cassandra. https://cassandra.apache.org/

Google Scholar

[4]

Y. Amir, B. Coan, J. Kirsch, and J. Lane. 2008. Byzantine replication under attack. In DSN 2008.

Google Scholar

[5]

P. Aublin, S. B. Mokhtar, and V. Quema. 2013. RBFT: Redundant Byzantine Fault Tolerance. In ICDCS 2013.

Google Scholar

[6]

Alysson Bessani, Joao Sousa, and Eduardo E.P. Alchieri. 2014. State Machine Replication for the Masses with BFT-SMART. In DSN 2014.

Google Scholar

[7]

R. I. Davis and A. Burns. 2011. A survey of hard real-time scheduling for multi-processor systems. Comput. Surveys 43, 4 (2011), 1--44.

Digital Library

Google Scholar

[8]

K. Driscoll, B. Hall, H. Sivencrona, and P. Zumsteg. 2003. Byzantine Fault Tolerance, from Theory to Reality. In Computer Safety, Reliability, and Security. Vol. 2788. Springer Berlin Heidelberg, 235--248.

Google Scholar

[9]

A.L. Hopkins, T.B. Smith, and J.H. Lala. 1978. FTMP---A highly reliable fault-tolerant multiprocess for aircraft. Proc. IEEE 66, 10 (1978), 1221--1239.

Crossref

Google Scholar

[10]

C. L. Liu and James W. Layland. 1973. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment. J. ACM 20, 1 (1973), 46--61.

Digital Library

Google Scholar

[11]

M. Pease, R. Shostak, and L. Lamport. 1980. Reaching Agreement in the Presence of Faults. J. ACM 27, 2 (1980), 228--234.

Digital Library

Google Scholar

[12]

F. Smirnov, M. Glaß, F. Reimann, and J. Teich. 2016. Formal reliability analysis of switched ethernet automotive networks under transient transmission errors. In DAC 2016. Austin, Texas.

Digital Library

Google Scholar

Cited By

View all

Baik JJeong HKang K(2020)Poster: Network-Centric Approach Using Task Migration for Drive-by-Wire Vehicle Resilience2020 IEEE 28th International Conference on Network Protocols (ICNP)10.1109/ICNP49622.2020.9259350(1-2)Online publication date: 13-Oct-2020
https://doi.org/10.1109/ICNP49622.2020.9259350

Recommendations

Exploiting laziness for improving performance in data replication management
Consistent and automatic replica regeneration

Reducing management costs and improving the availability of large-scale distributed systems require automatic replica regeneration, that is, creating new replicas in response to replica failures. A major challenge to regeneration is maintaining ...
Quorum-based synchronization protocols for multimedia replicas

Multiple replicas of multimedia objects are distributed to peers in overlay networks. In quorum-based (QB) protocols, every replica may not be up-to-date and the up-to-date replica can be found in the version counter. Multimedia objects are ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

EMSOFT '19: Proceedings of the International Conference on Embedded Software Companion

October 2019

31 pages

ISBN:9781450369244

DOI:10.1145/3349568

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 October 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

ESWEEK '19

ESWEEK '19: Fifteenth Embedded Systems Week

October 13 - 18, 2019

New York, New York

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
106
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Baik JJeong HKang K(2020)Poster: Network-Centric Approach Using Task Migration for Drive-by-Wire Vehicle Resilience2020 IEEE 28th International Conference on Network Protocols (ICNP)10.1109/ICNP49622.2020.9259350(1-2)Online publication date: 13-Oct-2020
https://doi.org/10.1109/ICNP49622.2020.9259350

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Exploiting laziness for improving performance in data replication management

Consistent and automatic replica regeneration

Quorum-based synchronization protocols for multimedia replicas