Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783138789> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2783138789 abstract "The next generation of train-control safety computer is designed as double-redundant systems as safety-critical system. Due to the complexity of the safety computer logic, the active-standby switching between the two subsystems involves multiple state transition under several different conditions. The correctness of the switching process needs to be confirmed by formal verification. In this paper, the UML is used to establish the model and the NuSMV is used to formalize the model. An analysis of multiple-faults situation and the dual-hoststate is carried out. According to the result of model checking, an improvement was proposed to optimize the switching process." @default.
- W2783138789 created "2018-01-26" @default.
- W2783138789 creator A5064304208 @default.
- W2783138789 creator A5074773379 @default.
- W2783138789 creator A5086329948 @default.
- W2783138789 date "2017-10-01" @default.
- W2783138789 modified "2023-09-27" @default.
- W2783138789 title "Formal verification of active-standby switchingon safety computer in next generation train control system" @default.
- W2783138789 doi "https://doi.org/10.1109/mape.2017.8250817" @default.
- W2783138789 hasPublicationYear "2017" @default.
- W2783138789 type Work @default.
- W2783138789 sameAs 2783138789 @default.
- W2783138789 citedByCount "0" @default.
- W2783138789 crossrefType "proceedings-article" @default.
- W2783138789 hasAuthorship W2783138789A5064304208 @default.
- W2783138789 hasAuthorship W2783138789A5074773379 @default.
- W2783138789 hasAuthorship W2783138789A5086329948 @default.
- W2783138789 hasConcept C110251889 @default.
- W2783138789 hasConcept C111498074 @default.
- W2783138789 hasConcept C115903868 @default.
- W2783138789 hasConcept C127413603 @default.
- W2783138789 hasConcept C145644426 @default.
- W2783138789 hasConcept C149635348 @default.
- W2783138789 hasConcept C163707989 @default.
- W2783138789 hasConcept C199360897 @default.
- W2783138789 hasConcept C200601418 @default.
- W2783138789 hasConcept C2777904410 @default.
- W2783138789 hasConcept C41008148 @default.
- W2783138789 hasConcept C55439883 @default.
- W2783138789 hasConcept C75606506 @default.
- W2783138789 hasConcept C98045186 @default.
- W2783138789 hasConceptScore W2783138789C110251889 @default.
- W2783138789 hasConceptScore W2783138789C111498074 @default.
- W2783138789 hasConceptScore W2783138789C115903868 @default.
- W2783138789 hasConceptScore W2783138789C127413603 @default.
- W2783138789 hasConceptScore W2783138789C145644426 @default.
- W2783138789 hasConceptScore W2783138789C149635348 @default.
- W2783138789 hasConceptScore W2783138789C163707989 @default.
- W2783138789 hasConceptScore W2783138789C199360897 @default.
- W2783138789 hasConceptScore W2783138789C200601418 @default.
- W2783138789 hasConceptScore W2783138789C2777904410 @default.
- W2783138789 hasConceptScore W2783138789C41008148 @default.
- W2783138789 hasConceptScore W2783138789C55439883 @default.
- W2783138789 hasConceptScore W2783138789C75606506 @default.
- W2783138789 hasConceptScore W2783138789C98045186 @default.
- W2783138789 hasLocation W27831387891 @default.
- W2783138789 hasOpenAccess W2783138789 @default.
- W2783138789 hasPrimaryLocation W27831387891 @default.
- W2783138789 hasRelatedWork W156004984 @default.
- W2783138789 hasRelatedWork W167024964 @default.
- W2783138789 hasRelatedWork W1966629014 @default.
- W2783138789 hasRelatedWork W1970932506 @default.
- W2783138789 hasRelatedWork W1976661670 @default.
- W2783138789 hasRelatedWork W1977107444 @default.
- W2783138789 hasRelatedWork W2057165982 @default.
- W2783138789 hasRelatedWork W2059616149 @default.
- W2783138789 hasRelatedWork W2121485274 @default.
- W2783138789 hasRelatedWork W2156272518 @default.
- W2783138789 hasRelatedWork W2309127705 @default.
- W2783138789 hasRelatedWork W2380038888 @default.
- W2783138789 hasRelatedWork W2509521284 @default.
- W2783138789 hasRelatedWork W2553388654 @default.
- W2783138789 hasRelatedWork W2792098779 @default.
- W2783138789 hasRelatedWork W2795711359 @default.
- W2783138789 hasRelatedWork W2950439096 @default.
- W2783138789 hasRelatedWork W2273621212 @default.
- W2783138789 hasRelatedWork W2416062364 @default.
- W2783138789 hasRelatedWork W3045896271 @default.
- W2783138789 isParatext "false" @default.
- W2783138789 isRetracted "false" @default.
- W2783138789 magId "2783138789" @default.
- W2783138789 workType "article" @default.