Abstract
As the scale and complexity of space information systems are continuously expanding, it is necessary to guarantee the system security and control the development cost as early as possible. According to the spatiotemporal characteristics of complex space information systems, this paper has proposed a formal method for modeling and analyzing the requirements of space information systems. First, a Space Information System Description Language, shorted as SISDL, is designed to formally describe system requirements. Then the corresponding tool for modeling system requirements by analyzing specific requirement document is developed. The well-built model is graphically displayed and used to check the existing errors in the requirement document. Finally, a ground information system of a specific satellite has been taken as an example for verification. The experimental results show that the method could effectively model the system requirements, and could improve the quality of the requirement document by analyzing the ambiguity in the requirement document.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Wang Zhencao. An Application of System Testing [J]. Information Technology & Standardization, 2007(07):49–51.
Dion R. Process improvement and the corporate balance sheet [J]. IEEE software, 1993, 10(4):28–35.
Boehm, Turner R. Balancing Agility and Discipline: A Guide for the Perplexed [J]. Lecture Notes in Computer Science, 2004,108(7):316–325.
Sheldon F, Kavi K, Tausworth R. Reliability measurement: From theory to practice [J]. IEEE Software, 1992(4):13–20.
Meditskos G, Bassiliades N. Structural and Role-Oriented Web Service Discovery with Taxonomies in OWL-S [J]. IEEE Transactions on Knowledge & Data Engineering, 2010, 22(2):278–290.
Booch G,Rumbaugh J,Jacobson I.The unified modeling language user guide [M].Beijing: Science Press, 2006.12–26.
Lao Huaikou, Chen Yihai. Software formal specification language-Z [M]. Beijing: Tsinghua University Press, 2012.4–11.
Abrial J. The B-book: assigning programs to meanings [M]. Qiu Zhongyan Transl. Beijing: Publishing House of Electronics Industry, 2004.427–430.
Russo A. Modeling in event-b-system and software engineering by Jean-Raymond Abrial [J]. ACM SIGSOFT Software Engineering Notes, 2011,36(2):38–39.
Leveson N. Guest editor’s introduction: formal methods in software engineering [J]. IEEE Transactions on Software Engineering, 1990,16(9):929–931.
Liu S, Offutt A, Ho-Stuart C. SOFL: A Formal Engineering Methodology for Industrial Applications [J]. IEEE Transactions on Software Engineering, 1998, 24(1):24–45.
Liu S. Formal Engineering for Industrial Software Development – An Introduction to the SOFL Specification Language and Method [C]. International Conference on Formal Engineering Methods. Springer Berlin Heidelberg, 2004(3308):7–8.
Terence Parr. The Definitive ANTLR4 Reference [M]. Zhang Bo Transl. Beijing: China Machine Press, 2017.3–124.
Acknowledgements
Fund Project: supported by Gusu Innovation Talent Foundation of Suzhou Under Grant ZXT2017002.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Yin, H., Hu, Y., Liu, L. (2019). Research on Formal Modeling and Analysis of Complex Space Information Systems. In: Wang, L., Wu, Y., Gong, J. (eds) Proceedings of the 5th China High Resolution Earth Observation Conference (CHREOC 2018). CHREOC 2018. Lecture Notes in Electrical Engineering, vol 552. Springer, Singapore. https://doi.org/10.1007/978-981-13-6553-9_13
Download citation
DOI: https://doi.org/10.1007/978-981-13-6553-9_13
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-6552-2
Online ISBN: 978-981-13-6553-9
eBook Packages: EngineeringEngineering (R0)