Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026056807> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2026056807 abstract "This paper presents a novel safety specification and verification approach based on the compositional reasoning and model checking algorithms. The behavioral specification of each component and subsystem is modeled to describe the overall structure of the design. Then, these specifications are analyzed to determine the least number of component redundancies that are required to tolerate and prevent catastrophic system failure. The framework utilizes Labelled Transition Systems (LTS) formalism to model the behavior of components and subsystems. Furthermore, compositional analysis is used to reason about the components’ constraints (or assumptions) on their environments and the properties (or guarantees) of their output. This identification of local safety properties of components and subsystems leads to satisfaction of the desired safety requirements for the global system. A model of quad-redundant Electro-Mechanical Actuator (EMA) is constructed and, in an iterative approach, its safety properties are analyzed. Experimental results confirm the feasibility of the proposed approach for verifying the safety issues associated with complex systems in the early stages of the design process." @default.
- W2026056807 created "2016-06-24" @default.
- W2026056807 creator A5001551483 @default.
- W2026056807 creator A5009031068 @default.
- W2026056807 creator A5021558162 @default.
- W2026056807 creator A5073245541 @default.
- W2026056807 creator A5082809845 @default.
- W2026056807 date "2014-08-17" @default.
- W2026056807 modified "2023-09-27" @default.
- W2026056807 title "Combination of Compositional Verification and Model Checking for Safety Assessment of Complex Engineered Systems" @default.
- W2026056807 doi "https://doi.org/10.1115/detc2014-34445" @default.
- W2026056807 hasPublicationYear "2014" @default.
- W2026056807 type Work @default.
- W2026056807 sameAs 2026056807 @default.
- W2026056807 citedByCount "0" @default.
- W2026056807 crossrefType "proceedings-article" @default.
- W2026056807 hasAuthorship W2026056807A5001551483 @default.
- W2026056807 hasAuthorship W2026056807A5009031068 @default.
- W2026056807 hasAuthorship W2026056807A5021558162 @default.
- W2026056807 hasAuthorship W2026056807A5073245541 @default.
- W2026056807 hasAuthorship W2026056807A5082809845 @default.
- W2026056807 hasConcept C110251889 @default.
- W2026056807 hasConcept C111498074 @default.
- W2026056807 hasConcept C11413529 @default.
- W2026056807 hasConcept C120314980 @default.
- W2026056807 hasConcept C121332964 @default.
- W2026056807 hasConcept C127413603 @default.
- W2026056807 hasConcept C142362112 @default.
- W2026056807 hasConcept C153349607 @default.
- W2026056807 hasConcept C154945302 @default.
- W2026056807 hasConcept C168167062 @default.
- W2026056807 hasConcept C172707124 @default.
- W2026056807 hasConcept C174998907 @default.
- W2026056807 hasConcept C199360897 @default.
- W2026056807 hasConcept C200601418 @default.
- W2026056807 hasConcept C201995342 @default.
- W2026056807 hasConcept C21547014 @default.
- W2026056807 hasConcept C22607221 @default.
- W2026056807 hasConcept C41008148 @default.
- W2026056807 hasConcept C47822265 @default.
- W2026056807 hasConcept C558565934 @default.
- W2026056807 hasConcept C73301696 @default.
- W2026056807 hasConcept C97355855 @default.
- W2026056807 hasConcept C98045186 @default.
- W2026056807 hasConceptScore W2026056807C110251889 @default.
- W2026056807 hasConceptScore W2026056807C111498074 @default.
- W2026056807 hasConceptScore W2026056807C11413529 @default.
- W2026056807 hasConceptScore W2026056807C120314980 @default.
- W2026056807 hasConceptScore W2026056807C121332964 @default.
- W2026056807 hasConceptScore W2026056807C127413603 @default.
- W2026056807 hasConceptScore W2026056807C142362112 @default.
- W2026056807 hasConceptScore W2026056807C153349607 @default.
- W2026056807 hasConceptScore W2026056807C154945302 @default.
- W2026056807 hasConceptScore W2026056807C168167062 @default.
- W2026056807 hasConceptScore W2026056807C172707124 @default.
- W2026056807 hasConceptScore W2026056807C174998907 @default.
- W2026056807 hasConceptScore W2026056807C199360897 @default.
- W2026056807 hasConceptScore W2026056807C200601418 @default.
- W2026056807 hasConceptScore W2026056807C201995342 @default.
- W2026056807 hasConceptScore W2026056807C21547014 @default.
- W2026056807 hasConceptScore W2026056807C22607221 @default.
- W2026056807 hasConceptScore W2026056807C41008148 @default.
- W2026056807 hasConceptScore W2026056807C47822265 @default.
- W2026056807 hasConceptScore W2026056807C558565934 @default.
- W2026056807 hasConceptScore W2026056807C73301696 @default.
- W2026056807 hasConceptScore W2026056807C97355855 @default.
- W2026056807 hasConceptScore W2026056807C98045186 @default.
- W2026056807 hasLocation W20260568071 @default.
- W2026056807 hasOpenAccess W2026056807 @default.
- W2026056807 hasPrimaryLocation W20260568071 @default.
- W2026056807 hasRelatedWork W128966792 @default.
- W2026056807 hasRelatedWork W1575477456 @default.
- W2026056807 hasRelatedWork W1584965098 @default.
- W2026056807 hasRelatedWork W161177090 @default.
- W2026056807 hasRelatedWork W2004074563 @default.
- W2026056807 hasRelatedWork W2012423213 @default.
- W2026056807 hasRelatedWork W2024613742 @default.
- W2026056807 hasRelatedWork W2044520159 @default.
- W2026056807 hasRelatedWork W2056608921 @default.
- W2026056807 hasRelatedWork W2099248201 @default.
- W2026056807 hasRelatedWork W2101651237 @default.
- W2026056807 hasRelatedWork W21043801 @default.
- W2026056807 hasRelatedWork W2154740089 @default.
- W2026056807 hasRelatedWork W2181423831 @default.
- W2026056807 hasRelatedWork W2232679946 @default.
- W2026056807 hasRelatedWork W2360346536 @default.
- W2026056807 hasRelatedWork W2493608191 @default.
- W2026056807 hasRelatedWork W2955150599 @default.
- W2026056807 hasRelatedWork W3105204092 @default.
- W2026056807 hasRelatedWork W3150477774 @default.
- W2026056807 isParatext "false" @default.
- W2026056807 isRetracted "false" @default.
- W2026056807 magId "2026056807" @default.
- W2026056807 workType "article" @default.