Matches in SemOpenAlex for { <https://semopenalex.org/work/W2984239327> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2984239327 abstract "A state/event fault tree (SEFT) is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems. Such systems are ubiquitous in all areas of everyday life, and safety and reliability analyses are increasingly required for these systems. SEFTs combine elements from the traditional fault tree with elements from state-based techniques. In the context of the real-time safety-critical systems, SEFTs do not describe the time properties and important time-dependent system behaviors that can lead to system failures. Further, SEFTs lack the precise semantics required for formally modeling time behaviors. In this paper, we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata (TA), and use the model checker UPPAAL to verify system requirements' properties. The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems. Finally, we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step." @default.
- W2984239327 created "2019-11-22" @default.
- W2984239327 creator A5007953029 @default.
- W2984239327 creator A5073745545 @default.
- W2984239327 creator A5084212238 @default.
- W2984239327 date "2019-01-01" @default.
- W2984239327 modified "2023-09-26" @default.
- W2984239327 title "Qualitative analysis for state/event fault trees using formal model checking" @default.
- W2984239327 doi "https://doi.org/10.21629/jsee.2019.05.13" @default.
- W2984239327 hasPublicationYear "2019" @default.
- W2984239327 type Work @default.
- W2984239327 sameAs 2984239327 @default.
- W2984239327 citedByCount "2" @default.
- W2984239327 countsByYear W29842393272020 @default.
- W2984239327 countsByYear W29842393272022 @default.
- W2984239327 crossrefType "journal-article" @default.
- W2984239327 hasAuthorship W2984239327A5007953029 @default.
- W2984239327 hasAuthorship W2984239327A5073745545 @default.
- W2984239327 hasAuthorship W2984239327A5084212238 @default.
- W2984239327 hasBestOaLocation W29842393271 @default.
- W2984239327 hasConcept C107094494 @default.
- W2984239327 hasConcept C110251889 @default.
- W2984239327 hasConcept C111498074 @default.
- W2984239327 hasConcept C112505250 @default.
- W2984239327 hasConcept C115903868 @default.
- W2984239327 hasConcept C121332964 @default.
- W2984239327 hasConcept C127413603 @default.
- W2984239327 hasConcept C151730666 @default.
- W2984239327 hasConcept C154945302 @default.
- W2984239327 hasConcept C163707989 @default.
- W2984239327 hasConcept C198008173 @default.
- W2984239327 hasConcept C199360897 @default.
- W2984239327 hasConcept C200601418 @default.
- W2984239327 hasConcept C2776436953 @default.
- W2984239327 hasConcept C2777904410 @default.
- W2984239327 hasConcept C2779343474 @default.
- W2984239327 hasConcept C2779662365 @default.
- W2984239327 hasConcept C2779791154 @default.
- W2984239327 hasConcept C41008148 @default.
- W2984239327 hasConcept C47822265 @default.
- W2984239327 hasConcept C62520636 @default.
- W2984239327 hasConcept C75606506 @default.
- W2984239327 hasConcept C80444323 @default.
- W2984239327 hasConcept C86803240 @default.
- W2984239327 hasConcept C98045186 @default.
- W2984239327 hasConceptScore W2984239327C107094494 @default.
- W2984239327 hasConceptScore W2984239327C110251889 @default.
- W2984239327 hasConceptScore W2984239327C111498074 @default.
- W2984239327 hasConceptScore W2984239327C112505250 @default.
- W2984239327 hasConceptScore W2984239327C115903868 @default.
- W2984239327 hasConceptScore W2984239327C121332964 @default.
- W2984239327 hasConceptScore W2984239327C127413603 @default.
- W2984239327 hasConceptScore W2984239327C151730666 @default.
- W2984239327 hasConceptScore W2984239327C154945302 @default.
- W2984239327 hasConceptScore W2984239327C163707989 @default.
- W2984239327 hasConceptScore W2984239327C198008173 @default.
- W2984239327 hasConceptScore W2984239327C199360897 @default.
- W2984239327 hasConceptScore W2984239327C200601418 @default.
- W2984239327 hasConceptScore W2984239327C2776436953 @default.
- W2984239327 hasConceptScore W2984239327C2777904410 @default.
- W2984239327 hasConceptScore W2984239327C2779343474 @default.
- W2984239327 hasConceptScore W2984239327C2779662365 @default.
- W2984239327 hasConceptScore W2984239327C2779791154 @default.
- W2984239327 hasConceptScore W2984239327C41008148 @default.
- W2984239327 hasConceptScore W2984239327C47822265 @default.
- W2984239327 hasConceptScore W2984239327C62520636 @default.
- W2984239327 hasConceptScore W2984239327C75606506 @default.
- W2984239327 hasConceptScore W2984239327C80444323 @default.
- W2984239327 hasConceptScore W2984239327C86803240 @default.
- W2984239327 hasConceptScore W2984239327C98045186 @default.
- W2984239327 hasLocation W29842393271 @default.
- W2984239327 hasOpenAccess W2984239327 @default.
- W2984239327 hasPrimaryLocation W29842393271 @default.
- W2984239327 hasRelatedWork W1512115515 @default.
- W2984239327 hasRelatedWork W1512683083 @default.
- W2984239327 hasRelatedWork W1593185391 @default.
- W2984239327 hasRelatedWork W1966629014 @default.
- W2984239327 hasRelatedWork W2039589702 @default.
- W2984239327 hasRelatedWork W2382049209 @default.
- W2984239327 hasRelatedWork W2535640593 @default.
- W2984239327 hasRelatedWork W2984239327 @default.
- W2984239327 hasRelatedWork W2996311209 @default.
- W2984239327 hasRelatedWork W3211851149 @default.
- W2984239327 isParatext "false" @default.
- W2984239327 isRetracted "false" @default.
- W2984239327 magId "2984239327" @default.
- W2984239327 workType "article" @default.