Aspect-oriented interlock system security demand formalized modeling and verification method

A formalized modeling and aspect-oriented technology, which is applied in the fields of instrumentation, computing, and electrical digital data processing, can solve the problems of heavy modeling workload and increase the coupling between signal equipment classes, so as to improve efficiency and reduce construction costs. Model difficulty, clear structure effect
CN105678022AActive Publication Date: 2016-06-15CASCO SIGNAL
4 Cites 5 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
CASCO SIGNAL
Publication Date
2016-06-15

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
Patent Text Reader

Abstract

The invention relates to an aspect-oriented interlock system security demand formalized modeling and verification method. The method comprises the following steps: 1) establishing an object-oriented model of a signal device, wherein the model comprises a route class, an annunciator class, a zone class, a turnout class and corresponding subclasses; 2) establishing a station yard graph information extraction model, extracting corresponding device information, route information and topological information according to an input station yard graph source file and a corresponding data structure, and establishing mapping with the established object-oriented model; 3) performing aspect-oriented security demand formalized modeling; and 4) establishing a formalized model and an interface model of a universal application. Compared with the prior art, the method has the advantages that the modeling efficiency is improved, the security demand is easier to maintain, and the like.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to a formalized modeling method for safety requirements of an interlocking system, in particular to an aspect-oriented formalized modeling and verification method for safety requirements of an interlocking system. Background technique

[0002] The railway signaling system is an important basic equipment for the safe operation of trains. The interlocking system is the core equipment of the railway signaling system. According to EN50128:2011, its safety requirements reach the safety level of SIL4. Traditional design, development, and testing methods can only guarantee the correctness of its logic in terms of function, but cannot guarantee that its security requirements are met. Formal method is the process of adopting strict formal specification of mathematical language definition, formal refinement of mathematical argument and formal verification, so as to realize the correctness and security of system development. The importance ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More