Hot standby control logic safety analysis method for safety computer platform

A technology of safety computer and control logic, applied in the field of rail transit, can solve problems such as low efficiency and error-prone manual analysis, achieve the effect of improving efficiency and accuracy, and solving difficult problems of safety analysis

Active Publication Date: 2017-08-11
SHANGHAI ELECTRIC THALES TRANSPORTATION AUTOMATION SYST CO LTD
View PDF3 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The purpose of the present invention is to provide a safe computer platform hot standby control logi...

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
  • Hot standby control logic safety analysis method for safety computer platform
  • Hot standby control logic safety analysis method for safety computer platform
  • Hot standby control logic safety analysis method for safety computer platform

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0036] The present invention will be further described below in conjunction with accompanying drawing.

[0037] see figure 1 , safety computer platform hot standby control logic security analysis method of the present invention, comprises the following steps:

[0038] Step 1: Establish a normal behavior model based on CPN.

[0039] Build a CPN model A of the normal behavior of a component N ,Such as figure 2 As shown in , transition 1 (normal behavior 1) and transition 2 (normal behavior 2) respectively indicate that the component will continuously check whether the input streams i1 and i2 meet the transition conditions of the current state, and judge whether to fire (Fire) these two transitions. At this time, the input flow information must be referenced and judged by all transitions at the same time, and only one transition will be emitted in a time step, which is the asynchronous characteristic of Petri nets. The place Sn is used to store the color representing the cur...

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 discloses a hot standby control logic safety analysis method for a safety computer platform. The method comprises the steps of establishing a CPN (Colored Petri Nets)-based normal behavior model; establishing a CPN-based fault behavior model; establishing a CPN-based comprehensive behavior model; and carrying out dangerous fault combination detection on a CPN-based CBM (Comprehensive Behavior Model) model. According to the method, the practical problems of low efficiency and easy error of manual analysis are overcome.

Description

technical field [0001] The invention relates to the field of rail transit, in particular to a logic safety analysis method for hot standby control of a safety computer platform. Background technique [0002] In order to balance and give consideration to both safety and availability, the on-board safety computer platform of the train control system (hereinafter referred to as "safety platform") is mostly designed as a hot-standby redundant safety structure such as a two-by-two out-of-two structure. Comparing key data to ensure consistent output, and the main purpose of introducing "two times" on this basis is to realize hot standby function through active and standby state control to improve availability. However, introducing the dynamic structure "two times" to the static structure "two out of two" may bring new hidden dangers and reduce the existing security. For example, when the two trains in hot standby are in the "dual-master" state due to the design defect of the hot ...

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
IPC IPC(8): G06F11/07G06F11/20
CPCG06F11/0796G06F11/2033G06F11/2038
Inventor 周果
Owner SHANGHAI ELECTRIC THALES TRANSPORTATION AUTOMATION SYST CO LTD
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