This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
A Proposed Byzantine Fault-Tolerant Voting Architecture using Time-Triggered Ethernet
Technical Paper
2017-01-2111
ISSN: 0148-7191, e-ISSN: 2688-3627
This content contains downloadable datasets
Annotation ability available
Sector:
Language:
English
Abstract
Over the last couple decades, there has been a growing interest in incorporating commercial off-the-shelf (COTS) technologies and open standards in the design of human-rated spacecraft. This approach is intended to reduce development and upgrade costs, lower the need for new design work, eliminate reliance on individual suppliers, and minimize schedule risk. However, it has not traditionally been possible for COTS solutions to meet the high reliability and fault tolerance requirements of systems implementing critical spacecraft functions. Byzantine faults are considered particularly dangerous to such systems because of their ability to escape traditional means of fault containment and disrupt consensus between system components. In this paper, we discuss the design of a voting protocol using Time-Triggered Ethernet capable of achieving data integrity in the presence of a single Byzantine fault. Moreover, we explore how this capability can be combined with an exact-match voting strategy to realize a fault-tolerant computer system that can be used with different COTS processor boards, operating systems, and software frameworks.
Recommended Content
Authors
Citation
Loveless, A., Fidi, C., and Wernitznigg, S., "A Proposed Byzantine Fault-Tolerant Voting Architecture using Time-Triggered Ethernet," SAE Technical Paper 2017-01-2111, 2017, https://doi.org/10.4271/2017-01-2111.Data Sets - Support Documents
Title | Description | Download |
---|---|---|
Unnamed Dataset 1 | ||
Unnamed Dataset 2 | ||
Unnamed Dataset 3 | ||
Unnamed Dataset 4 | ||
Unnamed Dataset 5 | ||
Unnamed Dataset 6 | ||
Unnamed Dataset 7 |
Also In
References
- Rushby , J. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance NASA Langley Technical Report Server 1999
- McCabe , M. and Baggerman , C. Avionics architecture interface considerations between constellation vehicles 2009 IEEE/AIAA 28th Digital Avionics Systems Conference 1.E.2-1 1.E.2-10 2009 10.1109/DASC.2009.5347562
- Fletcher , M. Progression of an Open Architecture: from Orion to Altair and LSS Proc. Fault-Tolerant Spaceborne Computing Employing New Technologies Albuquerque, NM 2009
- Rushby , J. A Comparison of Bus Architectures for Safety-Critical Embedded Systems Computer Science Laboratory, SRI International Menlo Park, CA 2001
- Miner , P.S. , Malekpour , M.R. , and Torres-Pomales , W. Design of the Protocol Processor for the ROBUS-2 Communication System NASA/TM-2005-213934 2005
- Hodson , R.F. , Chen , Y. , Morgan , D.R. , Butler , A.M. , Sdhuh , J.M. , Petelle , J.K. , Gwaltney , D.A. , Coe , L.D. , Koelbl , T.G. , and Nguyen , H.D. Heavy Lift Vehicle (HLV) Avionics Flight Computing Architecture Study 2011
- Polsgrove , T. , Chapman , J. , Sutherlin , S. , Taylor , B. , Fabisinski , L. , Collins , T. , Dwyer Cianciolo , A. , Samareh , J. , Robertson , E. , Studak , B. , Vitalpur , S. , Lee , A. , and Rakow , G. Human Mars Lander Design for NASA’s Evolvable Mars Campaign 2016
- Butler , R.W. A Primer on Architectural Level Fault Tolerance 2008
- Driscoll , K. , Hall , B. , Sivencrona , H. , and Zumsteg , P. Byzantine Fault Tolerance, from Theory to Reality Anderson , S. , Felici , M. , and Littlewood , B. Computer Safety, Reliability, and Security Springer Berlin Heidelberg Berlin, Heidelberg 978-3-540-20126-7 235 248 2003
- Driscoll , K.R. , Hall , B. , and Schweiker , K. Application Agreement and Integration Services 2013
- Pease , M. , Shostak , R. , and Lamport , L. Reaching Agreement in the Presence of Faults J. ACM JACM 27 2 228 234 1980 10.1145/322186.322188
- Lamport , L. , Shostak , R. , and Pease , M. The Byzantine Generals Problem ACM Trans Program Lang Syst 4 3 382 401 1982 10.1145/357172.357176
- Singhal , M. and Shivaratri , N.G. Advanced Concepts in Operating Systems McGraw-Hill, Inc. New York, NY, USA 978-0-07-057572-1 1994
- Diamantopoulos , P. , Maneas , S. , Patsonakis , C. , Chondros , N. , and Roussopoulos , M. Interactive Consistency in practical, mostly-asynchronous systems ArXiv14107256 Cs 2014
- Stine , D. Digital Signatures for a Byzantine Resilient Computer System Masters Massachusetts Institute of Technology 1995
- Fischer , M.J. The Consensus Problem in Unreliable Distributed Systems (A Brief Survey) Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory Springer-Verlag, London, UK, UK 978-3-540-12689-8 127 140 1983
- Paulitsch , M. , Morris , J. , Hall , B. , Driscoll , K. , Latronico , E. , and Koopman , P. Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems Proceedings of the International Conference on Dependable Systems and Networks IEEE 978-0-7695-2282-1 346 355 2005 10.1109/DSN.2005.31
- Lala , J.H. and Harper , R.E. Architectural principles for safety-critical real-time applications Proc. IEEE 82 1 25 40 1994 10.1109/5.259424
- Hanaway , J.F. and Moorehead , R.W. Space shuttle avionics system 1989
- Kouba , C. , Buscher , D. , and Busa , J.L. The X-38 Spacecraft Fault-Tolerant Avionics System 2003
- Marchant , C.C. Ares I Avionics Introduction Seattle, WA, United States 2009
- Kopetz , H. The Fault Hypothesis for The Time-Triggered Architecture Building the Information Society Springer Boston, MA 221 233 2004 10.1007/978-1-4020-8157-6_20
- SAE International Aerospace Standard Time-Triggered Ethernet SAE Standard AS6802 Nov. 2016
- Lincoln , P. and Rushby , J. Formal Verification of an Interactive Consistency Algorithm for the Draper FTP Architecture Under a Hybrid Fault Model Proceedings of the Ninth Annual Conference on Computer Assurance Gaithersburg, MD 107 120 1994
- Azadmanesh , M.H. and Kieckhafer , R.M. Exploiting Omissive Faults in Synchronous Approximate Agreement IEEE Trans. Comput. 49 10 1031 1042 2000 10.1109/12.888039
- Obermaisser , R. Time-Triggered Communication CRC Press 978-1-4398-4661-2 19
- Powell , D. Failure Mode Assumptions and Assumption Coverage 1995
- Koopman , P. , Driscoll , K. , and Hall , B. Selection of Cyclic Redundancy Code and Checksum Algorithms to Ensure Critical Data Integrity Dep. Electr. Comput. Eng. 2015
- Koopman , P. 32-bit cyclic redundancy codes for Internet applications IEEE Comput. Soc 978-0-7695-1597-7 459 468 2002 10.1109/DSN.2002.1028931
- IEEE Standard for Ethernet IEEE Std 802.3-2012 2012
- Loveless , A.T. On TTEthernet for Integrated Fault-Tolerant Spacecraft Networks American Institute of Aeronautics and Astronautics 978-1-62410-334-6 2015 10.2514/6.2015-4526
- Kopetz , H. From a Federated to an Integrated Architecture for Dependable Embedded Systems 2004
- Miner , P.S. , Malekpour , M. , and Torres , W. A conceptual design for a Reliable Optical Bus (ROBUS) Proceedings. The 21st Digital Avionics Systems Conference 13D3-1 13D3-11 2 2002 10.1109/DASC.2002.1053014
- Hitt , E. and Mulcare , D. Fault-Tolerant Avionics 2001
- Butler , R.W. and White , A.L. SURE Reliability Analysis: Program and Mathematics 1988
- Butler , R.W. and Johnson , S.C. Techniques for Modeling the Reliability of Fault-Tolerant Systems with the Markov State-Space Approach 1995
- Johnson , S.C. and Boerschlein , D.P. ASSIST User Manual 1995
- Constantinescu , C. Trends and Challenges in VLSI Circuit Reliability IEEE Micro 23 4 14 19 2003 10.1109/MM.2003.1225959
- Siewiorek , D.P. The Theory and Practice of Reliable System Design Digital Press Bedford, MA 978-0-932376-13-8 1982
- Butler , R.W. and Elks , C.R. A Preliminary Transient-Fault Experiment on the SIFT Computer System 1987