Abstract
To develop software of spacecrafts’ telemetry and command, it’s needed to research extensible and reusable simulation system. This paper studies time series simulation of aerospace, presents the general model based on CCS-like, gives the calculi method of model, and proves the termination of computation. This paper analyzes the time process in the simulation of spacecrafts, simplifies the general model, designs the framework of the temporal configuration files and the control flow of temporal actions in programs, gives two key algorithms which implement this simplified model in simulation system, and implements the framework in a simulation system. And then, it describes the computation process by the example of the concrete temporal process of the spacecraft’s simulation. Finally, this paper gives the conclusion and point out the field in which this model can be used in the future.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Lippman, S.B., Lajoie, J.: C++ Primer, 4th edn. Addison-Wesley Professional, Boston (2005)
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press, Cambridge (2009)
Milner, R.: Communication and Concurrency. Prentice-Hall, New Jersey (1989)
Boudol, G.: The \(\pi \)-calculus in direct style. High. Order Symbolic Comput. 11(2), 177–208 (1998)
Kim, D., Ciesielski, S.K. et al.: Temporal parallel gate-level timing simulation. In: IEEE International High Level Design Validation & Test Workshop. IEEE (2008)
Haagensen, B., Maffeis, S., Phillips, I.: Matching Systems for Concurrent Calculi. Electron. Notes Theor. Comput. Sci. 194(2), 85–99 (2008)
Fei, Z., Yong, Z., Liu, Y., et al.: A temporal and fuzzy logic inference based method for power system fault diagnosis. J. North China Electric Power Univ. 41(1), 7–14 (2014)
Khan, A.I, Alam, M.M., Noor-ul-Qayyum, et al.: Validation of component based software development model using formal B-method. Int. J. Comput. Appl. 67(9), 24–39 (2013)
Voorhees, B.H.: Time Series Simulation: Computational Analysis Of One-Dimensional Cellular Automata. World Scientific, pp. 208–219 (1995)
Tang, X., Juan, X., Duan, B.: A memory-efficient simulation method of Grover’s search algorithm. Comput. Mater. Continua 57(2), 307–319 (2018)
Liu, L., Li, W., Jia, H.: Method of time series similarity measurement based on dynamic time warping. Comput. Mater. Continua 57(1), 97–106 (2018)
Vanegas-Useche, L.V., Abdel-Wahab, M.M., Parker, G.A.: Determination of the normal contact stiffness and integration time step for the finite element modeling of bristle-surface interaction. Comput. Mater. Continua 56(1), 169–184 (2018)
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
Zhou, T., Wang, J., Miao, Y. (2020). A Formal Method for Safety Time Series Simulation of Aerospace. In: Sun, X., Wang, J., Bertino, E. (eds) Artificial Intelligence and Security. ICAIS 2020. Lecture Notes in Computer Science(), vol 12239. Springer, Cham. https://doi.org/10.1007/978-3-030-57884-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-57884-8_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-57883-1
Online ISBN: 978-3-030-57884-8
eBook Packages: Computer ScienceComputer Science (R0)