Abstract
The improved Byzantine fault tolerance algorithm has been applied to the full digital simulation environment of the China Space Station, achieving a full digital simulation platform that supports multi-processor fault-tolerant for the first time. Based on special needs of China Space Station’s multi-processor architecture, 3 key technologies have been implemented: Firstly, improve the classic Byzantine fault-tolerant algorithm to achieve multi-processor fault-tolerance, even if dual-processor failures occur during the operation of 4 processors, the system can still run safely and stably; Secondly, “Process + Shared Memory” is used to realize the unified management and isolation of data, avoiding the problems of data mutual exclusion and low transmission efficiency in multi-processor simulation; Thirdly, based on the characteristics of data exchange, a new synchronization method has been designed to solve the problem of multi-processor synchronization under fault-tolerant architecture. Ultimately, Implemented a fully digital simulation platform under a multi-processor fault-tolerant architecture of China Space Station, get rid of hardware dependencies. Finally, the application effectiveness of simulation platform is introduced.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Li, X.F., Cheng, L., et al.: The integrated digital flight control support system for circumlunar return and reentry spacecraft. Sci Sin Tech. J. 45(3), 284–292 (2015)
Lamport, L., Shostak, R., Pease, M.: The Byzantine generals problem. ACM Trans. Programm. Lang. Syst. 4(3), 382–401 (1982). https://doi.org/10.1145/357172.357176
Castro, M., Liskov, B.: Practical Byzantine fault tolerance and proactive recovery. ACM Trans. on Comput. Syst. 20(4), 398–461 (2002)
Fan, J., Yi, L.T., Shu, J.W.: Research on the technologies of Byzantine system. J. Softw. 24(6), 1346–1360 (2013)
Clement, A., Kapritsos, M., Lee, S., et al.: Upright cluster services. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles. New York: ACM Press, pp. 277−290 (2009)
Kotla, R., Alvisi, L., Dahlin, M., Clement, A., Wong, E.: Zyzzyva: speculative Byzantine fault tolerance. ACM SIGOPS Oper. Syst. Rev. 41(6), 45–58 (2007). https://doi.org/10.1145/1323293.1294267
Luu, L., Narayanan, V., Zheng, C., et al.: A secure sharding protocol for openblockchains. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security. ACM, pp. 17–30(2016)
Kokoris-Kogias, E., Jovanovic, P., Gasser, L., et al.: A secure, scale-out, decentralized ledger via sharding. In: 2018 IEEE Symposium on Security and Privacy, pp. 583–598. 2018 IEEE Symposium on Security and Privacy, San Francisco, CA, USA (2018)
Gilad, Y., Hemo, R., Micali, S., et al.: Algorand: scaling byzantine agreements for cryptocurrencies. In: Proceedings of the 26th Symposium on Operating Systems Principles, pp.51–68 (2017)
Shi, Q.F., Liang, J., Lang, P F, et al.: GNC system architecture research for aerospace vehicle based on Byzantine failure mode. Comput. Measur. Control, 25(5), 29−31, 55 (2017)
Xiao, A.B., Hu, M.M., et al.: Reliability analysis of the computer with quad-modular redundancy Byzantine fault tolerant. Aerosp. Contr. Appl. 40(3), 41–46 (2014)
Zhou, X.F., Zhao. W.H., et al.: On precise synchronizing algorithm in multi-module redundancy embedded electronic system of aerospace. Aerosp. Contr. Appl. 39(6), 45−48,57 (2013)
Acknowlegement
This work is supported by the National Natural Science Foundation of China (62192730, 62192735,U21B2015).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Wang, J., Li, J., Yu, H., Li, X., Zhong, R., Dong, X. (2024). Research and Application of Multi-processor Fault-Tolerant Algorithms for China Space Station Full Digital Simulation Platform. In: Wang, Y., Zou, J., Xu, L., Ling, Z., Cheng, X. (eds) Signal and Information Processing, Networking and Computers. ICSINC 2023. Lecture Notes in Electrical Engineering, vol 1187. Springer, Singapore. https://doi.org/10.1007/978-981-97-2120-7_25
Download citation
DOI: https://doi.org/10.1007/978-981-97-2120-7_25
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-97-2119-1
Online ISBN: 978-981-97-2120-7
eBook Packages: EngineeringEngineering (R0)