2009 Transmission &Amp; Distribution Conference &Amp; Exposition: Asia and Pacific 2009
DOI: 10.1109/td-asia.2009.5356920
|View full text |Cite
|
Sign up to set email alerts
|

Formal requirements specification in safety-critical railway signaling system

Abstract: Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be com… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
5
0

Year Published

2014
2014
2019
2019

Publication Types

Select...
4
2

Relationship

0
6

Authors

Journals

citations
Cited by 6 publications
(5 citation statements)
references
References 3 publications
0
5
0
Order By: Relevance
“…In order to guarantee maintenance each sub-system in the system, each layer and function unit of system can guarantee independence with other parts in design, function, data and fault all have undergone restrict definition and package, on change of sub-system or it has external disturbance, which can effectively shield disturbance or hit for normal operation of system. Diagram 2 Topology structure of regional control As it is indicated by diagram 2, regional interlock control model can realize centralized control on signal equipment of many stations, but if the master station is paralyzed or there is network fault between master station and controlled station, which will cause station in regions can not normally manage railway operation task and affect efficiency shortage [6] of railway transportation. Centralized control model is to set computer interlock control system in each station on the basis of interlock control model based on regional interlock control, monitoring computer in master station transmits operation command to each controlled station by redundant optical communication network, interlock system in controlled station implements operation command and feeds back state information in this station to master station for centralized display, realize centralized control by station signal equipment in station region as well as regional control model.…”
Section: Full Electronic Interlock System Frame Based On Intelligentmentioning
confidence: 99%
“…In order to guarantee maintenance each sub-system in the system, each layer and function unit of system can guarantee independence with other parts in design, function, data and fault all have undergone restrict definition and package, on change of sub-system or it has external disturbance, which can effectively shield disturbance or hit for normal operation of system. Diagram 2 Topology structure of regional control As it is indicated by diagram 2, regional interlock control model can realize centralized control on signal equipment of many stations, but if the master station is paralyzed or there is network fault between master station and controlled station, which will cause station in regions can not normally manage railway operation task and affect efficiency shortage [6] of railway transportation. Centralized control model is to set computer interlock control system in each station on the basis of interlock control model based on regional interlock control, monitoring computer in master station transmits operation command to each controlled station by redundant optical communication network, interlock system in controlled station implements operation command and feeds back state information in this station to master station for centralized display, realize centralized control by station signal equipment in station region as well as regional control model.…”
Section: Full Electronic Interlock System Frame Based On Intelligentmentioning
confidence: 99%
“…In this way, the movement properties of the trains can be automatically produced and verified. Jo et al [4] proposed an eclectic approach to incorporate Z (Zed) formal language and 'Statemate MAGNUM', which is a formal method tool, using Statechart. They also applied the proposed method to safety-critical railway signaling systems for the formal requirement specification and analyzed the specification.…”
Section: Introductionmentioning
confidence: 99%
“…Energy consumption model can be said to be one of the most important parts in cloud data center, when cloud data center is continually operating, we should make deep comprehension on users and administrators of cloud calculation, know their application way, so that make corresponding solution measures, so that it can reach target of optimization and energy conservation. At present, many servers of cloud data have the self-detection ability, they can measure some data components, but this single physical detection ability is obviously accords with future development idea of cloud data center, only quicker and effective energy conservation measures can make energy consumption modeling have cleanness [5,6] .…”
Section: Introductionmentioning
confidence: 99%