Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC

Proceedings - 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015

Volumn , Issue , 2015, Pages 131-134

  Yang, Zhihua ^a   Xiao, Bo ^a   Chen, Yixiang ^a  

^a EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

AIR GROUNDS; INTEGRATED NETWORKS; MODELING AND VERIFICATIONS; SATELLITE OBSERVATIONS; SPATIAL-TEMPORAL CONSISTENCY; SPATIO-TEMPORAL CONSISTENCIES; TIME CHARACTERISTICS; TIMED AUTOMATA MODELS;

MODELING LANGUAGES;

EID: 84958169070     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2015.8     Document Type: Conference Paper

References (12)

1. M. Maamar, J. Liu and W. Liu, A new lightweight link quality based reputation model for Space-Air-Ground Integrated Wireless Sensor Network (SAGIWSN), Electronics, Computer and Applications, 2014 IEEE Workshop on. IEEE, 2014: 230-236.
2. P. Wolfowitz, Global Information Grid (GIG) Overarching Policy, US Department of Defense, directive, 2002 (8100.1).
3. R. Shen, Some Thoughts of (Chinaese) Integrated Space-Ground Network System, Engineering Science, 2006, 10: 003 (in Chinese).
4. H. Liu, J. Zhang and L. L. Cheng, Application examples of the network fixed point theory for space-air-ground integrated communication network, Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), 2010 International Congress on. IEEE, 2010: 989-993.
5. K. L. Heninger, Specifying software requirements for complex systems: New techniques and their application, Software Engineering, IEEE Transactions on, 1980 (1): 2-13.
6. S. Easterbrook, J. Callahan, Formal methods for verification and validation of partial specifications: A case study, Journal of Systems and Software, 1998, 40(3): 199-210.
7. G. M. Reed, A. W. Roscoe, A timed model for communicating sequential processes, Automata, Languages and Programming, Springer Berlin Heidelberg, 1986: 314-323.
8. R. Alur, D. L. Dill, A theory of timed automata, Theoretical computer science, 1994, 126(2): 183-235.
9. Y. Chen Stec: A location-triggered specification language for real-time systems, Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2012 15th IEEE International Symposium on. IEEE, 2012: 1-6.
10. H. Wu, Y. Chen and M. Zhang, On Denotational Semantics of Spatial-Temporal Consistency Language-STeC, Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on. IEEE, 2013: 113-120.
11. Y. Chen, Y. Zhang, A hybrid clock system related to STeC language, Software Security and Reliability-Companion (SEREC), 2014 IEEE Eighth International Conference on. IEEE, 2014: 199-203.
12. Y. Zhang, F. Mallet and Y. Chen, Timed Automata Semantics of Spatial-Temporal Consistency Language STeC, Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE, 2014: 201-208.