Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL

System Architecture Virtual Integration: An Industrial Case Study

Peter H. Feiler, Jörgen Hansson, Dionisio de Niz et al. · Figshare · 2009 · 57 citations · Full text

Engineering, Aerospace Engineering, Systems Engineering +17

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior

Lei Bu, Qixin Wang, Xin Chen et al. · ACM SIGBED Review · 2011 · 51 citations

Engineering, Computer Science, Systems Engineering +17

A Topology-Based Model for Railway Train Control Systems

Haifeng Wang, Félix Schmid, Lei Chen et al. · IEEE Transactions on Intelligent Transportation Systems · 2013 · 36 citations

Engineering, Systems Engineering, Systems Modeling +16

Verifying simulink diagrams via a hybrid hoare logic prover

Liang Zou, Naijun Zhany, Shuling Wang et al. · Embedded Software · 2013 · 35 citations

Computing, Computer Science, Systems Engineering +17

Hybrid MARTE statecharts

Jing Liu, Ziwei Liu, Jifeng He et al. · Frontiers of Computer Science · 2013 · 23 citations · Full text

Engineering, Systems Engineering, Model-based Systems Engineering +2