Abstract
Nowadays onboard software plays one of the key roles in the success of space missions. The flight control program is a classic example of mission critical software. The spacecraft’s control logic is implemented by onboard software both for normal operations and abnormal situations. Today software provides spacecraft with system integration, and fault tolerance features. Unfortunately, in contrast to aviation, the Russian space industry did not have standards which could help to distribute the best practices, languages, and methods among organizations involved in rocket and spacecraft development. The paper argues the necessity for standardization, and presents the proposed list and content of these standards.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Eickhoff, J.: Onboard Computers, Onboard Software and Satellite Operations. An Introduction. Springer-Verlag, Heidelberg (2012)
Kozlov, D.I., Anshakov, G.P., Mostovoy, Y.A.: Control of Earth Observation Satellites: Computer Technologies. Mashinostroenie, Moscow (1998). (in Russian)
Akhmetov, R., Makarov, V., Sollogub, A.: Principles of the earth observation satellites control in contingencies. Inf. Control Syst. 1, 16–22 (2012)
Mostovoy, Y.A.: A Control of Complex Technical Systems: Construction of Earth Observation Satellites Software. Technospere, Moscow (2016)
Tyugashev, A.A.: Visual builder of rules for spacecraft onboard real-time knowledge base. In: Czarnowski, I., Caballero, A., Howlett, R., Jain, L. (eds.) Intelligent Decision Technologies. Smart Innovation, Systems and Technologies, vol. 57, pp. 189–205. Springer, Cham (2016)
Holzmann, G.: Mars code. Commun. ACM 57(2), 64–73 (2014)
Kirilin, A.N., Akhmetov, R.N., Sollogub, A.V., Makarov, V.P.: Metody obespecheniya zhivuchesty nizkoorbitalnykh avtomaticheskykh KA zondirovaniya Zemly. Mashinostroenie, Moscow (2010). (in Russian)
Khartov, V.V.: Autonomnoe upravlenie kosmicheskymi apparatami svyazi, retranslyacii i navigacii. Aviakosmicheskoe priborostroenie (Aerosp. Instrum.-Making) 6, 12–23 (2006). (in Russian)
Tyugashev, A.A.: Language and toolset for visual construction of programs for intelligent autonomous spacecraft control. IFAC - PapersOnLine 49(5), 120–125 (2016)
Koltashev, A.A.: Effectivnaya technologiya upravleniya cyclom zhizni bortovogo programmnogo obespechenia sputnikov svyazi i navigacii. Aerosp. Instrum.-Making 12, 20–25 (2006). (in Russian)
Tyugashev, A.A., Ermakov, I.E., Ilyin, I.I.: Ways to get more reliable and safe software in aerospace industry. In: Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012), pp. 121–129. Nizhni Novgorod, Russia (2012)
Kalentyev, A.A., Tyugahsev, A.A.: CALS technologies in lifecycle of complex control programs. Samara Scientific center of Russian Academy of sciences, Samara (2006). (in Russian)
Tyugashev, A.A.: Integrated environment for designing real-time control algorithms. J. Comput. Syst. Sci. Int. 45(2), 87–300 (2006)
Holzmann, G.: Reliable software development: analysis aware design. TACAS 1, 1–2 (2011)
Holzmann, G.: Using SPIN model checking for flight software verification. In: IEEE Aerospace Conference Proceedings, vol. 1, pp. 105–112. IEEE Press (2002)
Tyugashev, A., Zheleznov, D., Nikishchenkov, S.: A technology and software toolset for design and verification of real-time control algorithms. Russian Electr. Eng. 88(3), 154–158 (2017)
Space.com Information Portal Mars Rover Curiosity Software Upgrade. http://www.space.com/17034-mars-rover-curiosity-software-upgrade.html. Accessed 11 Jun 2019
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Tyugashev, A., Kovalev, A., Pjatkov, V. (2020). Role and Future of Standards in Development of Intelligent and Dependable Control Software in Russian Space Industry. In: Kotenko, I., Badica, C., Desnitsky, V., El Baz, D., Ivanovic, M. (eds) Intelligent Distributed Computing XIII. IDC 2019. Studies in Computational Intelligence, vol 868. Springer, Cham. https://doi.org/10.1007/978-3-030-32258-8_50
Download citation
DOI: https://doi.org/10.1007/978-3-030-32258-8_50
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32257-1
Online ISBN: 978-3-030-32258-8
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)