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

Active Publication Date: 2016-06-15
CASCO SIGNAL
View PDF4 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

If you want to add corresponding security requirements to each signal device class, you need to modify each class of the signal device model, and for some security requirements that span multiple device types, you need to It is described in multiple device classes, which increases the coupling between signal device classes, and the workload of modeling is very large

Method used

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
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Aspect-oriented interlock system security demand formalized modeling and verification method
  • Aspect-oriented interlock system security demand formalized modeling and verification method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0020] The following will clearly and completely describe the technical solutions in the embodiments of the present invention with reference to the drawings in the embodiments of the present invention. Obviously, the described embodiments are part of the embodiments of the present invention, not all of them. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts shall fall within the protection scope of the present invention.

[0021] In this embodiment, an interlocking application system based on a Boolean expression is taken as an example, and a formalized model for safety verification of an interlocking system based on aspect-oriented modeling of safety requirements is established.

[0022] 1. The process of establishing the mapping between the station map information extraction module and the signal equipment object-oriented model includes:

[0023] 1) Obtain all kinds of equ...

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

PUM

No PUM Login to view more

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.

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

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/50
CPCG06F30/3323G06F30/367
Inventor 周庭梁罗娟王燕芩李卫娟张程朱迎春
Owner CASCO SIGNAL
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap