Matches in SemOpenAlex for { <https://semopenalex.org/work/W1505655177> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1505655177 abstract "Many incidents show that even if no failure occur, system can go wrong because of the interaction or logical design problem and lead to undesired result. These kinds of problem are derived from system design and it is necessary to analyze their existence during the functional design phase. Accident rehearsal means the development of the operational process of a specific system from initial states to final states. Its purpose is to determine whether an unexpected state or event is reachable from one specific initial state of the system. Based on this concept, model checking technique is used because of its ability to exhaustively and automatically check whether a system model meets a given specification. To find the problems of interaction and cooperation between functions, this paper proposes a functional model checking method for the requirement of complex system accident rehearsal after functional logic design. Time automata are used to system functional modeling and safety requirement is treated as property need to satisfy. With model checking tool UPPAAL, final results about whether these properties are satisfied are given and counterexamples can be gained to guide the finding of potential accident process and design improvement. At last, it illuminates how to apply this method to accident rehearsal with an actual escalator accident." @default.
- W1505655177 created "2016-06-24" @default.
- W1505655177 creator A5017727139 @default.
- W1505655177 creator A5028220765 @default.
- W1505655177 creator A5068087375 @default.
- W1505655177 creator A5077338558 @default.
- W1505655177 date "2014-08-01" @default.
- W1505655177 modified "2023-09-25" @default.
- W1505655177 title "Accident rehearsal method based on functional model checking" @default.
- W1505655177 cites W1548887781 @default.
- W1505655177 cites W2000947342 @default.
- W1505655177 cites W2001025521 @default.
- W1505655177 cites W2048340696 @default.
- W1505655177 cites W2101211404 @default.
- W1505655177 cites W2117283605 @default.
- W1505655177 cites W2134732423 @default.
- W1505655177 cites W2546438959 @default.
- W1505655177 cites W3126118053 @default.
- W1505655177 doi "https://doi.org/10.1109/icrms.2014.7107393" @default.
- W1505655177 hasPublicationYear "2014" @default.
- W1505655177 type Work @default.
- W1505655177 sameAs 1505655177 @default.
- W1505655177 citedByCount "0" @default.
- W1505655177 crossrefType "proceedings-article" @default.
- W1505655177 hasAuthorship W1505655177A5017727139 @default.
- W1505655177 hasAuthorship W1505655177A5028220765 @default.
- W1505655177 hasAuthorship W1505655177A5068087375 @default.
- W1505655177 hasAuthorship W1505655177A5077338558 @default.
- W1505655177 hasConcept C110251889 @default.
- W1505655177 hasConcept C111472728 @default.
- W1505655177 hasConcept C112505250 @default.
- W1505655177 hasConcept C115903868 @default.
- W1505655177 hasConcept C118615104 @default.
- W1505655177 hasConcept C121332964 @default.
- W1505655177 hasConcept C127413603 @default.
- W1505655177 hasConcept C138885662 @default.
- W1505655177 hasConcept C162838799 @default.
- W1505655177 hasConcept C189950617 @default.
- W1505655177 hasConcept C199360897 @default.
- W1505655177 hasConcept C200601418 @default.
- W1505655177 hasConcept C2779662365 @default.
- W1505655177 hasConcept C2780289543 @default.
- W1505655177 hasConcept C31352089 @default.
- W1505655177 hasConcept C33923547 @default.
- W1505655177 hasConcept C41008148 @default.
- W1505655177 hasConcept C48103436 @default.
- W1505655177 hasConcept C62520636 @default.
- W1505655177 hasConcept C64346931 @default.
- W1505655177 hasConcept C80444323 @default.
- W1505655177 hasConcept C98045186 @default.
- W1505655177 hasConceptScore W1505655177C110251889 @default.
- W1505655177 hasConceptScore W1505655177C111472728 @default.
- W1505655177 hasConceptScore W1505655177C112505250 @default.
- W1505655177 hasConceptScore W1505655177C115903868 @default.
- W1505655177 hasConceptScore W1505655177C118615104 @default.
- W1505655177 hasConceptScore W1505655177C121332964 @default.
- W1505655177 hasConceptScore W1505655177C127413603 @default.
- W1505655177 hasConceptScore W1505655177C138885662 @default.
- W1505655177 hasConceptScore W1505655177C162838799 @default.
- W1505655177 hasConceptScore W1505655177C189950617 @default.
- W1505655177 hasConceptScore W1505655177C199360897 @default.
- W1505655177 hasConceptScore W1505655177C200601418 @default.
- W1505655177 hasConceptScore W1505655177C2779662365 @default.
- W1505655177 hasConceptScore W1505655177C2780289543 @default.
- W1505655177 hasConceptScore W1505655177C31352089 @default.
- W1505655177 hasConceptScore W1505655177C33923547 @default.
- W1505655177 hasConceptScore W1505655177C41008148 @default.
- W1505655177 hasConceptScore W1505655177C48103436 @default.
- W1505655177 hasConceptScore W1505655177C62520636 @default.
- W1505655177 hasConceptScore W1505655177C64346931 @default.
- W1505655177 hasConceptScore W1505655177C80444323 @default.
- W1505655177 hasConceptScore W1505655177C98045186 @default.
- W1505655177 hasLocation W15056551771 @default.
- W1505655177 hasOpenAccess W1505655177 @default.
- W1505655177 hasPrimaryLocation W15056551771 @default.
- W1505655177 hasRelatedWork W1425613652 @default.
- W1505655177 hasRelatedWork W1483806673 @default.
- W1505655177 hasRelatedWork W1537387651 @default.
- W1505655177 hasRelatedWork W1827990282 @default.
- W1505655177 hasRelatedWork W1975479084 @default.
- W1505655177 hasRelatedWork W2116769849 @default.
- W1505655177 hasRelatedWork W2188057831 @default.
- W1505655177 hasRelatedWork W2330593560 @default.
- W1505655177 hasRelatedWork W2390333316 @default.
- W1505655177 hasRelatedWork W2409286631 @default.
- W1505655177 hasRelatedWork W2519747343 @default.
- W1505655177 hasRelatedWork W2531728244 @default.
- W1505655177 hasRelatedWork W2602300369 @default.
- W1505655177 hasRelatedWork W2893088271 @default.
- W1505655177 hasRelatedWork W2911681873 @default.
- W1505655177 hasRelatedWork W3008364008 @default.
- W1505655177 hasRelatedWork W3029781488 @default.
- W1505655177 hasRelatedWork W3153956962 @default.
- W1505655177 hasRelatedWork W3170963609 @default.
- W1505655177 hasRelatedWork W3117169254 @default.
- W1505655177 isParatext "false" @default.
- W1505655177 isRetracted "false" @default.
- W1505655177 magId "1505655177" @default.
- W1505655177 workType "article" @default.