Matches in SemOpenAlex for { <https://semopenalex.org/work/W1558603177> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1558603177 abstract "This work describes the capabilities of a model-based analysis and automatic test generation system. Model checking ensures that an automatically generated code is free from contradictions that are difficult to identify manually in complex models. It generates test vectors and test drivers that can execute against model simulations or auto-generated code, and produces test sequence vectors for testing dynamic system behavior that support feedback, such as integrators or time delays, which are common in control systems. The paper briefly describes tool qualification support, and processes for using this model-based testing tool with modeling and code coverage tools to produce verification evidence that meets the FAA standards for certification of these systems, while reducing the verification costs by as much as 50%." @default.
- W1558603177 created "2016-06-24" @default.
- W1558603177 creator A5002524880 @default.
- W1558603177 creator A5062724587 @default.
- W1558603177 creator A5083027626 @default.
- W1558603177 creator A5090983717 @default.
- W1558603177 date "2005-02-22" @default.
- W1558603177 modified "2023-09-26" @default.
- W1558603177 title "Reducing cost of high integrity systems through model-based testing" @default.
- W1558603177 cites W1520903861 @default.
- W1558603177 cites W1764347589 @default.
- W1558603177 cites W1976846957 @default.
- W1558603177 cites W1985566198 @default.
- W1558603177 cites W2006159725 @default.
- W1558603177 cites W2055657398 @default.
- W1558603177 cites W2125539770 @default.
- W1558603177 cites W2125708466 @default.
- W1558603177 cites W2130274814 @default.
- W1558603177 cites W2188379682 @default.
- W1558603177 doi "https://doi.org/10.1109/dasc.2004.1390723" @default.
- W1558603177 hasPublicationYear "2005" @default.
- W1558603177 type Work @default.
- W1558603177 sameAs 1558603177 @default.
- W1558603177 citedByCount "2" @default.
- W1558603177 countsByYear W15586031772012 @default.
- W1558603177 crossrefType "proceedings-article" @default.
- W1558603177 hasAuthorship W1558603177A5002524880 @default.
- W1558603177 hasAuthorship W1558603177A5062724587 @default.
- W1558603177 hasAuthorship W1558603177A5083027626 @default.
- W1558603177 hasAuthorship W1558603177A5090983717 @default.
- W1558603177 hasConcept C115903868 @default.
- W1558603177 hasConcept C119857082 @default.
- W1558603177 hasConcept C127413603 @default.
- W1558603177 hasConcept C128942645 @default.
- W1558603177 hasConcept C149091818 @default.
- W1558603177 hasConcept C152877465 @default.
- W1558603177 hasConcept C162443782 @default.
- W1558603177 hasConcept C165825675 @default.
- W1558603177 hasConcept C177264268 @default.
- W1558603177 hasConcept C17744445 @default.
- W1558603177 hasConcept C186846655 @default.
- W1558603177 hasConcept C199360897 @default.
- W1558603177 hasConcept C199539241 @default.
- W1558603177 hasConcept C200601418 @default.
- W1558603177 hasConcept C2776760102 @default.
- W1558603177 hasConcept C2777904410 @default.
- W1558603177 hasConcept C41008148 @default.
- W1558603177 hasConcept C46304622 @default.
- W1558603177 hasConcept C53942775 @default.
- W1558603177 hasConcept C7166840 @default.
- W1558603177 hasConceptScore W1558603177C115903868 @default.
- W1558603177 hasConceptScore W1558603177C119857082 @default.
- W1558603177 hasConceptScore W1558603177C127413603 @default.
- W1558603177 hasConceptScore W1558603177C128942645 @default.
- W1558603177 hasConceptScore W1558603177C149091818 @default.
- W1558603177 hasConceptScore W1558603177C152877465 @default.
- W1558603177 hasConceptScore W1558603177C162443782 @default.
- W1558603177 hasConceptScore W1558603177C165825675 @default.
- W1558603177 hasConceptScore W1558603177C177264268 @default.
- W1558603177 hasConceptScore W1558603177C17744445 @default.
- W1558603177 hasConceptScore W1558603177C186846655 @default.
- W1558603177 hasConceptScore W1558603177C199360897 @default.
- W1558603177 hasConceptScore W1558603177C199539241 @default.
- W1558603177 hasConceptScore W1558603177C200601418 @default.
- W1558603177 hasConceptScore W1558603177C2776760102 @default.
- W1558603177 hasConceptScore W1558603177C2777904410 @default.
- W1558603177 hasConceptScore W1558603177C41008148 @default.
- W1558603177 hasConceptScore W1558603177C46304622 @default.
- W1558603177 hasConceptScore W1558603177C53942775 @default.
- W1558603177 hasConceptScore W1558603177C7166840 @default.
- W1558603177 hasLocation W15586031771 @default.
- W1558603177 hasOpenAccess W1558603177 @default.
- W1558603177 hasPrimaryLocation W15586031771 @default.
- W1558603177 hasRelatedWork W1160723306 @default.
- W1558603177 hasRelatedWork W1769695990 @default.
- W1558603177 hasRelatedWork W1907015695 @default.
- W1558603177 hasRelatedWork W1917818586 @default.
- W1558603177 hasRelatedWork W1967571475 @default.
- W1558603177 hasRelatedWork W2005083693 @default.
- W1558603177 hasRelatedWork W2034845892 @default.
- W1558603177 hasRelatedWork W2048535601 @default.
- W1558603177 hasRelatedWork W2062791908 @default.
- W1558603177 hasRelatedWork W2101920551 @default.
- W1558603177 hasRelatedWork W2108088797 @default.
- W1558603177 hasRelatedWork W2115220156 @default.
- W1558603177 hasRelatedWork W2150327567 @default.
- W1558603177 hasRelatedWork W2168221375 @default.
- W1558603177 hasRelatedWork W2168877254 @default.
- W1558603177 hasRelatedWork W2291872533 @default.
- W1558603177 hasRelatedWork W2541762924 @default.
- W1558603177 hasRelatedWork W41977050 @default.
- W1558603177 hasRelatedWork W611599818 @default.
- W1558603177 hasRelatedWork W142381204 @default.
- W1558603177 isParatext "false" @default.
- W1558603177 isRetracted "false" @default.
- W1558603177 magId "1558603177" @default.
- W1558603177 workType "article" @default.