Matches in SemOpenAlex for { <https://semopenalex.org/work/W2995041950> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2995041950 abstract "The paper presents a novel approach to validation of behavioral requirements for control systems. A requirement is specified by a natural language pattern and its expression in Linear Temporal Logic (LTL). This way flexibility and understandability of natural language is combined with advantages of formalization that is a basis for various stages of system development, testing and verification. Still, validity of the requirements remains a major challenge. The paper considers application of mutation analysis for capturing of correct behavioral requirements. Generation and exploration of mutants supports a better understanding of requirements, The novelty of the approach is that the suggested mutations are semantic-based, as opposed to the more common syntax-based mutation analysis. A significant advantage of the approach is that it allows to focus only on plausible potential faults in understanding of the required system behavior, and to avoid generation of a vast amount of mutants that are irrelevant to the intended meaning of the requirements. Moreover, in many cases the effect of semantic-based mutations just can not be achieved by usual syntax-based mutations of LTL formulas associated with requirements. The approach is illustrated using a rail cross control example." @default.
- W2995041950 created "2019-12-26" @default.
- W2995041950 creator A5018474212 @default.
- W2995041950 date "2019-09-01" @default.
- W2995041950 modified "2023-09-26" @default.
- W2995041950 title "An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems" @default.
- W2995041950 cites W1606184974 @default.
- W2995041950 cites W1943874188 @default.
- W2995041950 cites W1996832037 @default.
- W2995041950 cites W2026629052 @default.
- W2995041950 cites W2052145823 @default.
- W2995041950 cites W2096039823 @default.
- W2995041950 cites W2101361140 @default.
- W2995041950 cites W2124268470 @default.
- W2995041950 cites W2154796853 @default.
- W2995041950 cites W2606363134 @default.
- W2995041950 doi "https://doi.org/10.1109/rew.2019.00025" @default.
- W2995041950 hasPublicationYear "2019" @default.
- W2995041950 type Work @default.
- W2995041950 sameAs 2995041950 @default.
- W2995041950 citedByCount "0" @default.
- W2995041950 crossrefType "proceedings-article" @default.
- W2995041950 hasAuthorship W2995041950A5018474212 @default.
- W2995041950 hasConcept C105795698 @default.
- W2995041950 hasConcept C115903868 @default.
- W2995041950 hasConcept C138885662 @default.
- W2995041950 hasConcept C154945302 @default.
- W2995041950 hasConcept C195324797 @default.
- W2995041950 hasConcept C199360897 @default.
- W2995041950 hasConcept C201677973 @default.
- W2995041950 hasConcept C27206212 @default.
- W2995041950 hasConcept C2777904410 @default.
- W2995041950 hasConcept C2778738651 @default.
- W2995041950 hasConcept C2780598303 @default.
- W2995041950 hasConcept C33923547 @default.
- W2995041950 hasConcept C41008148 @default.
- W2995041950 hasConcept C59488412 @default.
- W2995041950 hasConcept C60048249 @default.
- W2995041950 hasConcept C98045186 @default.
- W2995041950 hasConceptScore W2995041950C105795698 @default.
- W2995041950 hasConceptScore W2995041950C115903868 @default.
- W2995041950 hasConceptScore W2995041950C138885662 @default.
- W2995041950 hasConceptScore W2995041950C154945302 @default.
- W2995041950 hasConceptScore W2995041950C195324797 @default.
- W2995041950 hasConceptScore W2995041950C199360897 @default.
- W2995041950 hasConceptScore W2995041950C201677973 @default.
- W2995041950 hasConceptScore W2995041950C27206212 @default.
- W2995041950 hasConceptScore W2995041950C2777904410 @default.
- W2995041950 hasConceptScore W2995041950C2778738651 @default.
- W2995041950 hasConceptScore W2995041950C2780598303 @default.
- W2995041950 hasConceptScore W2995041950C33923547 @default.
- W2995041950 hasConceptScore W2995041950C41008148 @default.
- W2995041950 hasConceptScore W2995041950C59488412 @default.
- W2995041950 hasConceptScore W2995041950C60048249 @default.
- W2995041950 hasConceptScore W2995041950C98045186 @default.
- W2995041950 hasLocation W29950419501 @default.
- W2995041950 hasOpenAccess W2995041950 @default.
- W2995041950 hasPrimaryLocation W29950419501 @default.
- W2995041950 hasRelatedWork W1821791255 @default.
- W2995041950 hasRelatedWork W1984757784 @default.
- W2995041950 hasRelatedWork W1994336192 @default.
- W2995041950 hasRelatedWork W1998009034 @default.
- W2995041950 hasRelatedWork W2128616475 @default.
- W2995041950 hasRelatedWork W2257183258 @default.
- W2995041950 hasRelatedWork W2464738873 @default.
- W2995041950 hasRelatedWork W3179795304 @default.
- W2995041950 hasRelatedWork W4245713008 @default.
- W2995041950 hasRelatedWork W4246531319 @default.
- W2995041950 isParatext "false" @default.
- W2995041950 isRetracted "false" @default.
- W2995041950 magId "2995041950" @default.
- W2995041950 workType "article" @default.