Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045661552> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2045661552 endingPage "727" @default.
- W2045661552 startingPage "719" @default.
- W2045661552 abstract "Due to the complexity and size of railway interlocking systems, conventional verification and testing techniques are not able to provide sufficient safety assurance. This paper proposes an online observer for safety assurance of railway interlocking systems. The observer provides runtime checking of the states and behaviors of interlocking devices by using a topology-based mathematical model. Route signals, points, and track sections are interpreted in a topological space, and safety properties are expressed as topology theorems. Running synchronously with the interlocking task, the observer conducts safety checks on the route processes and point operations. A case study of an example Chinese railway interlocking system is presented to illustrate the proposed method and its strengths. It is anticipated that this method will provide a fresh means to verify safety properties of railway interlocking systems in addition to traditional testing and verification methods." @default.
- W2045661552 created "2016-06-24" @default.
- W2045661552 creator A5041241731 @default.
- W2045661552 creator A5043069455 @default.
- W2045661552 creator A5085999465 @default.
- W2045661552 date "2013-07-01" @default.
- W2045661552 modified "2023-09-25" @default.
- W2045661552 title "Novel Online Safety Observer for Railway Interlocking System" @default.
- W2045661552 cites W1867495292 @default.
- W2045661552 cites W1990252472 @default.
- W2045661552 cites W1999334168 @default.
- W2045661552 cites W2029720348 @default.
- W2045661552 cites W2038361485 @default.
- W2045661552 cites W2044892885 @default.
- W2045661552 cites W2047002789 @default.
- W2045661552 cites W2051356522 @default.
- W2045661552 cites W2056537003 @default.
- W2045661552 cites W2057735720 @default.
- W2045661552 cites W2060992531 @default.
- W2045661552 cites W2088918877 @default.
- W2045661552 cites W2101623441 @default.
- W2045661552 cites W2108963340 @default.
- W2045661552 cites W2123441109 @default.
- W2045661552 cites W2128719285 @default.
- W2045661552 cites W2135519054 @default.
- W2045661552 cites W2145025660 @default.
- W2045661552 cites W2146173586 @default.
- W2045661552 cites W2150189917 @default.
- W2045661552 cites W2152651705 @default.
- W2045661552 cites W2160974783 @default.
- W2045661552 cites W2164892954 @default.
- W2045661552 cites W3121413330 @default.
- W2045661552 cites W4296471858 @default.
- W2045661552 doi "https://doi.org/10.1061/(asce)te.1943-5436.0000554" @default.
- W2045661552 hasPublicationYear "2013" @default.
- W2045661552 type Work @default.
- W2045661552 sameAs 2045661552 @default.
- W2045661552 citedByCount "7" @default.
- W2045661552 countsByYear W20456615522018 @default.
- W2045661552 countsByYear W20456615522019 @default.
- W2045661552 countsByYear W20456615522020 @default.
- W2045661552 countsByYear W20456615522021 @default.
- W2045661552 countsByYear W20456615522022 @default.
- W2045661552 crossrefType "journal-article" @default.
- W2045661552 hasAuthorship W2045661552A5041241731 @default.
- W2045661552 hasAuthorship W2045661552A5043069455 @default.
- W2045661552 hasAuthorship W2045661552A5085999465 @default.
- W2045661552 hasConcept C111919701 @default.
- W2045661552 hasConcept C112805685 @default.
- W2045661552 hasConcept C119599485 @default.
- W2045661552 hasConcept C121332964 @default.
- W2045661552 hasConcept C127413603 @default.
- W2045661552 hasConcept C184720557 @default.
- W2045661552 hasConcept C200601418 @default.
- W2045661552 hasConcept C2778844933 @default.
- W2045661552 hasConcept C2780704645 @default.
- W2045661552 hasConcept C41008148 @default.
- W2045661552 hasConcept C42259789 @default.
- W2045661552 hasConcept C44154836 @default.
- W2045661552 hasConcept C62520636 @default.
- W2045661552 hasConcept C89992363 @default.
- W2045661552 hasConceptScore W2045661552C111919701 @default.
- W2045661552 hasConceptScore W2045661552C112805685 @default.
- W2045661552 hasConceptScore W2045661552C119599485 @default.
- W2045661552 hasConceptScore W2045661552C121332964 @default.
- W2045661552 hasConceptScore W2045661552C127413603 @default.
- W2045661552 hasConceptScore W2045661552C184720557 @default.
- W2045661552 hasConceptScore W2045661552C200601418 @default.
- W2045661552 hasConceptScore W2045661552C2778844933 @default.
- W2045661552 hasConceptScore W2045661552C2780704645 @default.
- W2045661552 hasConceptScore W2045661552C41008148 @default.
- W2045661552 hasConceptScore W2045661552C42259789 @default.
- W2045661552 hasConceptScore W2045661552C44154836 @default.
- W2045661552 hasConceptScore W2045661552C62520636 @default.
- W2045661552 hasConceptScore W2045661552C89992363 @default.
- W2045661552 hasIssue "7" @default.
- W2045661552 hasLocation W20456615521 @default.
- W2045661552 hasOpenAccess W2045661552 @default.
- W2045661552 hasPrimaryLocation W20456615521 @default.
- W2045661552 hasRelatedWork W1953212911 @default.
- W2045661552 hasRelatedWork W2004252952 @default.
- W2045661552 hasRelatedWork W2115042414 @default.
- W2045661552 hasRelatedWork W2377647784 @default.
- W2045661552 hasRelatedWork W2381281899 @default.
- W2045661552 hasRelatedWork W2899084033 @default.
- W2045661552 hasRelatedWork W2980094483 @default.
- W2045661552 hasRelatedWork W591878368 @default.
- W2045661552 hasRelatedWork W602925004 @default.
- W2045661552 hasRelatedWork W647283386 @default.
- W2045661552 hasVolume "139" @default.
- W2045661552 isParatext "false" @default.
- W2045661552 isRetracted "false" @default.
- W2045661552 magId "2045661552" @default.
- W2045661552 workType "article" @default.