Matches in SemOpenAlex for { <https://semopenalex.org/work/W1837323148> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1837323148 abstract "When high assurance applications are concerned, life cycle process control has witnessed steady improvement over the past two decades. As a consequence, the number of software defects introduced in the later phases of the life cycle, such as detailed design and coding, is decreasing. The majority of the remaining defects originate in the early phases of the life cycle. This is understandable, since the early phases deal with the translation from informal requirements into a formalism that will be used by developers. Since the step from informal to formal notation is inevitable, verification and validation of the requirements continue to be the research focus. Discovering potential problems as early as possible provides the potential for significant reduction in development time and cost. In this paper, the focus is on a specific aspect of requirements validation for dynamic fault tolerant control systems: the feasibility assessment of the fault detection task. An analytical formulation of the fault detectability condition is presented. This formulation is applicable to any system whose dynamics can be approximated by a linear model. The fault detectability condition can be used for objective validation of fault detection requirements. In a case study, we analyze an inverted pendulum system and demonstrate that reasonable requirements for a fault detection system can be infeasible when validated against the fault detectability condition." @default.
- W1837323148 created "2016-06-24" @default.
- W1837323148 creator A5015369081 @default.
- W1837323148 creator A5062442962 @default.
- W1837323148 creator A5067789723 @default.
- W1837323148 creator A5079349226 @default.
- W1837323148 date "2003-01-20" @default.
- W1837323148 modified "2023-09-25" @default.
- W1837323148 title "Fault detectability analysis for requirements validation of fault tolerant systems" @default.
- W1837323148 cites W1482540049 @default.
- W1837323148 cites W1567369818 @default.
- W1837323148 cites W2010922160 @default.
- W1837323148 cites W2112378086 @default.
- W1837323148 cites W2135557548 @default.
- W1837323148 doi "https://doi.org/10.1109/hase.1999.809498" @default.
- W1837323148 hasPublicationYear "2003" @default.
- W1837323148 type Work @default.
- W1837323148 sameAs 1837323148 @default.
- W1837323148 citedByCount "8" @default.
- W1837323148 countsByYear W18373231482023 @default.
- W1837323148 crossrefType "proceedings-article" @default.
- W1837323148 hasAuthorship W1837323148A5015369081 @default.
- W1837323148 hasAuthorship W1837323148A5062442962 @default.
- W1837323148 hasAuthorship W1837323148A5067789723 @default.
- W1837323148 hasAuthorship W1837323148A5079349226 @default.
- W1837323148 hasConcept C115903868 @default.
- W1837323148 hasConcept C116253237 @default.
- W1837323148 hasConcept C119599485 @default.
- W1837323148 hasConcept C126953365 @default.
- W1837323148 hasConcept C127413603 @default.
- W1837323148 hasConcept C134146338 @default.
- W1837323148 hasConcept C152745839 @default.
- W1837323148 hasConcept C154945302 @default.
- W1837323148 hasConcept C172707124 @default.
- W1837323148 hasConcept C199360897 @default.
- W1837323148 hasConcept C200601418 @default.
- W1837323148 hasConcept C2775928411 @default.
- W1837323148 hasConcept C2777904410 @default.
- W1837323148 hasConcept C33923547 @default.
- W1837323148 hasConcept C41008148 @default.
- W1837323148 hasConcept C45357846 @default.
- W1837323148 hasConcept C50712370 @default.
- W1837323148 hasConcept C63540848 @default.
- W1837323148 hasConcept C94375191 @default.
- W1837323148 hasConceptScore W1837323148C115903868 @default.
- W1837323148 hasConceptScore W1837323148C116253237 @default.
- W1837323148 hasConceptScore W1837323148C119599485 @default.
- W1837323148 hasConceptScore W1837323148C126953365 @default.
- W1837323148 hasConceptScore W1837323148C127413603 @default.
- W1837323148 hasConceptScore W1837323148C134146338 @default.
- W1837323148 hasConceptScore W1837323148C152745839 @default.
- W1837323148 hasConceptScore W1837323148C154945302 @default.
- W1837323148 hasConceptScore W1837323148C172707124 @default.
- W1837323148 hasConceptScore W1837323148C199360897 @default.
- W1837323148 hasConceptScore W1837323148C200601418 @default.
- W1837323148 hasConceptScore W1837323148C2775928411 @default.
- W1837323148 hasConceptScore W1837323148C2777904410 @default.
- W1837323148 hasConceptScore W1837323148C33923547 @default.
- W1837323148 hasConceptScore W1837323148C41008148 @default.
- W1837323148 hasConceptScore W1837323148C45357846 @default.
- W1837323148 hasConceptScore W1837323148C50712370 @default.
- W1837323148 hasConceptScore W1837323148C63540848 @default.
- W1837323148 hasConceptScore W1837323148C94375191 @default.
- W1837323148 hasLocation W18373231481 @default.
- W1837323148 hasOpenAccess W1837323148 @default.
- W1837323148 hasPrimaryLocation W18373231481 @default.
- W1837323148 hasRelatedWork W1828556342 @default.
- W1837323148 hasRelatedWork W1916771750 @default.
- W1837323148 hasRelatedWork W2024608029 @default.
- W1837323148 hasRelatedWork W2086328257 @default.
- W1837323148 hasRelatedWork W2092621316 @default.
- W1837323148 hasRelatedWork W2135271429 @default.
- W1837323148 hasRelatedWork W2168234447 @default.
- W1837323148 hasRelatedWork W2612858043 @default.
- W1837323148 hasRelatedWork W4251571411 @default.
- W1837323148 hasRelatedWork W383551917 @default.
- W1837323148 isParatext "false" @default.
- W1837323148 isRetracted "false" @default.
- W1837323148 magId "1837323148" @default.
- W1837323148 workType "article" @default.