Petri Net-Based Modeling and Verification of Automatic Train Speed Control System

Rong Hua; You Fu; Jian Zhi Yu; Cong Liu

doi:10.4028/www.scientific.net/AMM.571-572.395

Paper Titles

A Short-Delay Multipath Mitigation Algorithm Based on Variable Step-Size LMS Adaptive Filtering
p.368

Joint Resources Assignment Scheme Based on Graph Coloring Theory and Harmony Search Theory for Cognitive Radio Networks
p.376

Locality-Route Pre-Configuration Mechanism for Latency Optimization in NoCs
p.381

Multi-Level Complex Network Control System Based on Cloud Services Platform
p.389

Petri Net-Based Modeling and Verification of Automatic Train Speed Control System
p.395

The Study of Network Information System Security Strategy Based on Trusted Cloud Computing
p.400

A Modeling Approach Based on Weighted LDA for Quality of Experience Measurement in Mobile Network Scenarios
p.404

A Microblogging Opinion Leader Recognition Algorithm Based on MapReduce
p.410

Access Control Management of Cloud Storage System Based on NSSC in Mobile Network
p.416

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 571-572Petri Net-Based Modeling and Verification of...

Petri Net-Based Modeling and Verification of Automatic Train Speed Control System

Abstract:

How to provide dependability based on safety is a challenge faced by train control system. Formal approaches are important for modeling and verification of automatic speed control Systems. In the paper, a formal model of automatic speed control Systems based on Petri nets (ASCS-nets) is presented. And the transformation approaches from automatic train speed control system to ASCS-nets are given. Correctness verification of automatic train speed control system is implemented based on ASCS-nets model.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 571-572)

Pages:

395-399

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.571-572.395

Citation:

Cite this paper

Online since:

June 2014

Authors:

Rong Hua*, You Fu, Jian Zhi Yu, Cong Liu

Keywords:

Correction Verification, Modeling and Verification, Petri Nets, Train Control System

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Kim Seongho. Application of Petri networks and Fuzzy Logic to Advanced Traffic Management system [D]. Polytechnic University , (1994).

Google Scholar

[2] Dong H, Ning B, Cai B, et al. Automatic train control system development and simulation for high-speed railways[J]. IEEE circuits and systems magazine, 2010, 10(2): pp.6-18.

DOI: 10.1109/mcas.2010.936782

Google Scholar

[3] Platzer A, Quesel J D. European train control system: A case study in formal verification[M]/Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2009: pp.246-265.

DOI: 10.1007/978-3-642-10373-5_13

Google Scholar

[4] Bohn J, Damm W, Klose J, et al. Modeling and validating train system applications using statemate and live sequence charts[C]. In Proc. IDPT. (2002).

Google Scholar

[5] C. A. Petri. Kommunikation mit automaten. Bonn: Institute fur Instrumentelle Mathematik, Schriften des IIM Nr. 3, 1962. Also, English translation: Communication with automata New York, Griffiss Air Force Base. Tech. Rep. RADC-TR-65-377, Vol. 1, Suppl. 1, (1966).

Google Scholar

[6] Murata T. Petri nets: Properties, analysis and applications [J]. Proceedings of the IEEE, 1989, 77(4): pp.541-580.

Google Scholar