Paper Info
Title
Modeling and Verification of Spatio-Temporal Intelligent Transportation Systems
Abstract
Describing spatio-temporal behaviors of cyber-physical systems attracts more and more attention in the filed of intelligent transportation systems and biological systems. The major problem is expressiveness and verifiability for modeling and analysis of spatio-temporal behaviors. In order to verify spatial and spatio-temporal behaviors, in this paper, we propose a methodology to model the evolution of spatial scene snapshots and verify the spatio-temporal models. Firstly, we define a novel Topograph through inducing Bigraph in topological space to characterize cyber-physical systems and verify the model against patterns specified with S4u formulas. Secondly, for spatio-temporal verification, we extend Topograph in dense time, named Temporal Topograph, to describe the evolution of spatial objects, which are verified against spatio-temporal specification language. We evaluate the applicability of the approach on CBTC-based intelligent transportation systems.
Year
DOI
Venue
2020
10.1109/TrustCom50675.2020.00081
2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
Keywords
DocType
ISSN
Bigraph,Temporal Topograph,S4_u,Spatio-Temporal Specification Language,Mobility Authority
Conference
2324-898X
ISBN
Citations 
PageRank 
978-1-6654-0393-1
0
0.34
References 
Authors
0
7
Name
Order
Citations
PageRank
Tengfei Li122.73
Xiaohong Chen246.55
Haiying Sun324.78
Jing Liu469.92
Jiajia Yang500.68
Chenchen Yang619814.78
Junfeng Sun7139.16