Matches in SemOpenAlex for { <https://semopenalex.org/work/W2337367030> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2337367030 abstract "Fault propagation identification is an indispensable task in complex system safety analysis. With the growing of system scale and complexity, it is hard for the traditional safety analysis techniques, which depend mainly on analysts' personal skills and experiences, to keep completeness and timeliness; moreover, some failure modes may be neglected and failure effects misjudged during the analysis. Formal science provides a new way to solve this problem, where formal verification method such as model checking can automatically validate whether the system design satisfies the given safety requirements, which can reduce an analysts' repetitive work and design cost, and improve the efficiency and quality of safety analysis. However, there is lack of a deliberate and reasonable way to build system models because of the diversity and flexibility of languages used for model checking, which results in that it is difficult to specify and model system quickly and accurately, and leads to some deviation in model checking. In this paper, a system modeling and safety property specifying approach using symbolic language SMV is proposed, including guidance on the mapping relationships between the formal language elements and system functions, architecture and failure modes; moreover, how to define system specifications and safety requirements using temporal logic formulas is discussed as well. Finally, a case study about airborne system safety analysis is provided, in which the counter-examples that do not meet system specifications can be identified automatically using model checker NuSMV to find out fault events and their propagation that can result in accidents." @default.
- W2337367030 created "2016-06-24" @default.
- W2337367030 creator A5002795351 @default.
- W2337367030 creator A5044907307 @default.
- W2337367030 creator A5077022801 @default.
- W2337367030 creator A5083744126 @default.
- W2337367030 date "2016-01-01" @default.
- W2337367030 modified "2023-09-23" @default.
- W2337367030 title "A fault propagation modeling and analysis method based on model checking" @default.
- W2337367030 cites W1543835543 @default.
- W2337367030 cites W1565059069 @default.
- W2337367030 cites W1572214799 @default.
- W2337367030 cites W1584607446 @default.
- W2337367030 cites W1655053995 @default.
- W2337367030 cites W1802815921 @default.
- W2337367030 cites W1981025324 @default.
- W2337367030 cites W1985858614 @default.
- W2337367030 cites W2076098042 @default.
- W2337367030 cites W2408606808 @default.
- W2337367030 cites W3165744266 @default.
- W2337367030 cites W935245664 @default.
- W2337367030 cites W1813936646 @default.
- W2337367030 cites W66449498 @default.
- W2337367030 doi "https://doi.org/10.1109/rams.2016.7447978" @default.
- W2337367030 hasPublicationYear "2016" @default.
- W2337367030 type Work @default.
- W2337367030 sameAs 2337367030 @default.
- W2337367030 citedByCount "0" @default.
- W2337367030 crossrefType "proceedings-article" @default.
- W2337367030 hasAuthorship W2337367030A5002795351 @default.
- W2337367030 hasAuthorship W2337367030A5044907307 @default.
- W2337367030 hasAuthorship W2337367030A5077022801 @default.
- W2337367030 hasAuthorship W2337367030A5083744126 @default.
- W2337367030 hasConcept C105795698 @default.
- W2337367030 hasConcept C107094494 @default.
- W2337367030 hasConcept C110251889 @default.
- W2337367030 hasConcept C111498074 @default.
- W2337367030 hasConcept C115903868 @default.
- W2337367030 hasConcept C119599485 @default.
- W2337367030 hasConcept C127413603 @default.
- W2337367030 hasConcept C134146338 @default.
- W2337367030 hasConcept C134306372 @default.
- W2337367030 hasConcept C163707989 @default.
- W2337367030 hasConcept C167391956 @default.
- W2337367030 hasConcept C17231256 @default.
- W2337367030 hasConcept C198008173 @default.
- W2337367030 hasConcept C199360897 @default.
- W2337367030 hasConcept C200601418 @default.
- W2337367030 hasConcept C2777904410 @default.
- W2337367030 hasConcept C2780598303 @default.
- W2337367030 hasConcept C33923547 @default.
- W2337367030 hasConcept C41008148 @default.
- W2337367030 hasConcept C75606506 @default.
- W2337367030 hasConceptScore W2337367030C105795698 @default.
- W2337367030 hasConceptScore W2337367030C107094494 @default.
- W2337367030 hasConceptScore W2337367030C110251889 @default.
- W2337367030 hasConceptScore W2337367030C111498074 @default.
- W2337367030 hasConceptScore W2337367030C115903868 @default.
- W2337367030 hasConceptScore W2337367030C119599485 @default.
- W2337367030 hasConceptScore W2337367030C127413603 @default.
- W2337367030 hasConceptScore W2337367030C134146338 @default.
- W2337367030 hasConceptScore W2337367030C134306372 @default.
- W2337367030 hasConceptScore W2337367030C163707989 @default.
- W2337367030 hasConceptScore W2337367030C167391956 @default.
- W2337367030 hasConceptScore W2337367030C17231256 @default.
- W2337367030 hasConceptScore W2337367030C198008173 @default.
- W2337367030 hasConceptScore W2337367030C199360897 @default.
- W2337367030 hasConceptScore W2337367030C200601418 @default.
- W2337367030 hasConceptScore W2337367030C2777904410 @default.
- W2337367030 hasConceptScore W2337367030C2780598303 @default.
- W2337367030 hasConceptScore W2337367030C33923547 @default.
- W2337367030 hasConceptScore W2337367030C41008148 @default.
- W2337367030 hasConceptScore W2337367030C75606506 @default.
- W2337367030 hasLocation W23373670301 @default.
- W2337367030 hasOpenAccess W2337367030 @default.
- W2337367030 hasPrimaryLocation W23373670301 @default.
- W2337367030 hasRelatedWork W1512115515 @default.
- W2337367030 hasRelatedWork W156004984 @default.
- W2337367030 hasRelatedWork W168394658 @default.
- W2337367030 hasRelatedWork W185259000 @default.
- W2337367030 hasRelatedWork W1965024948 @default.
- W2337367030 hasRelatedWork W1966629014 @default.
- W2337367030 hasRelatedWork W1967075733 @default.
- W2337367030 hasRelatedWork W1970932506 @default.
- W2337367030 hasRelatedWork W1986562840 @default.
- W2337367030 hasRelatedWork W2081047328 @default.
- W2337367030 hasRelatedWork W2092730707 @default.
- W2337367030 hasRelatedWork W2120525820 @default.
- W2337367030 hasRelatedWork W2148596898 @default.
- W2337367030 hasRelatedWork W2348276613 @default.
- W2337367030 hasRelatedWork W2577855181 @default.
- W2337367030 hasRelatedWork W2787275760 @default.
- W2337367030 hasRelatedWork W2799950155 @default.
- W2337367030 hasRelatedWork W2950439096 @default.
- W2337367030 hasRelatedWork W2984239327 @default.
- W2337367030 hasRelatedWork W1594330404 @default.
- W2337367030 isParatext "false" @default.
- W2337367030 isRetracted "false" @default.
- W2337367030 magId "2337367030" @default.
- W2337367030 workType "article" @default.