Matches in SemOpenAlex for { <https://semopenalex.org/work/W1577356808> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1577356808 abstract "New methods and techniques are needed to reduce the integration and test effort (lead time, costs, resources) in the development of high-tech multi-disciplinary systems. To facilitate this effort reduction, a method called model-based integration and testing is being developed. The method allows to integrate formal executable models of system components that are not yet physically realized with available realizations of other components. The combination of models and realizations is then used for early analysis of the integrated system by means of validation, verification, and testing. The analysis enables early detection and prevention of problems that would otherwise occur during real integration, resulting in a significant reduction of effort invested in the real integration and testing phases. This paper illustrates the application of the method to a realistic industrial case study, focusing on verification of the models obtained. We show how a system model has been developed for model-based integration and testing in the timed process algebra Chi, and how certain behavioral properties of this model have been verified by the UPPAAL model checker." @default.
- W1577356808 created "2016-06-24" @default.
- W1577356808 creator A5003472226 @default.
- W1577356808 creator A5044373214 @default.
- W1577356808 creator A5065667664 @default.
- W1577356808 creator A5078018557 @default.
- W1577356808 date "2006-01-01" @default.
- W1577356808 modified "2023-09-23" @default.
- W1577356808 title "Model-based system analysis using Chi and UPPAAL : an industrial case study" @default.
- W1577356808 hasPublicationYear "2006" @default.
- W1577356808 type Work @default.
- W1577356808 sameAs 1577356808 @default.
- W1577356808 citedByCount "0" @default.
- W1577356808 crossrefType "journal-article" @default.
- W1577356808 hasAuthorship W1577356808A5003472226 @default.
- W1577356808 hasAuthorship W1577356808A5044373214 @default.
- W1577356808 hasAuthorship W1577356808A5065667664 @default.
- W1577356808 hasAuthorship W1577356808A5078018557 @default.
- W1577356808 hasConcept C107683887 @default.
- W1577356808 hasConcept C110251889 @default.
- W1577356808 hasConcept C111335779 @default.
- W1577356808 hasConcept C111498074 @default.
- W1577356808 hasConcept C111919701 @default.
- W1577356808 hasConcept C115903868 @default.
- W1577356808 hasConcept C119857082 @default.
- W1577356808 hasConcept C127413603 @default.
- W1577356808 hasConcept C128942645 @default.
- W1577356808 hasConcept C152877465 @default.
- W1577356808 hasConcept C160145156 @default.
- W1577356808 hasConcept C161771561 @default.
- W1577356808 hasConcept C165825675 @default.
- W1577356808 hasConcept C19527686 @default.
- W1577356808 hasConcept C199360897 @default.
- W1577356808 hasConcept C200601418 @default.
- W1577356808 hasConcept C2524010 @default.
- W1577356808 hasConcept C2777904410 @default.
- W1577356808 hasConcept C33923547 @default.
- W1577356808 hasConcept C41008148 @default.
- W1577356808 hasConcept C98045186 @default.
- W1577356808 hasConceptScore W1577356808C107683887 @default.
- W1577356808 hasConceptScore W1577356808C110251889 @default.
- W1577356808 hasConceptScore W1577356808C111335779 @default.
- W1577356808 hasConceptScore W1577356808C111498074 @default.
- W1577356808 hasConceptScore W1577356808C111919701 @default.
- W1577356808 hasConceptScore W1577356808C115903868 @default.
- W1577356808 hasConceptScore W1577356808C119857082 @default.
- W1577356808 hasConceptScore W1577356808C127413603 @default.
- W1577356808 hasConceptScore W1577356808C128942645 @default.
- W1577356808 hasConceptScore W1577356808C152877465 @default.
- W1577356808 hasConceptScore W1577356808C160145156 @default.
- W1577356808 hasConceptScore W1577356808C161771561 @default.
- W1577356808 hasConceptScore W1577356808C165825675 @default.
- W1577356808 hasConceptScore W1577356808C19527686 @default.
- W1577356808 hasConceptScore W1577356808C199360897 @default.
- W1577356808 hasConceptScore W1577356808C200601418 @default.
- W1577356808 hasConceptScore W1577356808C2524010 @default.
- W1577356808 hasConceptScore W1577356808C2777904410 @default.
- W1577356808 hasConceptScore W1577356808C33923547 @default.
- W1577356808 hasConceptScore W1577356808C41008148 @default.
- W1577356808 hasConceptScore W1577356808C98045186 @default.
- W1577356808 hasLocation W15773568081 @default.
- W1577356808 hasOpenAccess W1577356808 @default.
- W1577356808 hasPrimaryLocation W15773568081 @default.
- W1577356808 hasRelatedWork W1483393225 @default.
- W1577356808 hasRelatedWork W1492450300 @default.
- W1577356808 hasRelatedWork W1535450757 @default.
- W1577356808 hasRelatedWork W1974635583 @default.
- W1577356808 hasRelatedWork W2112420251 @default.
- W1577356808 hasRelatedWork W2155796842 @default.
- W1577356808 hasRelatedWork W2168561991 @default.
- W1577356808 hasRelatedWork W2188008837 @default.
- W1577356808 hasRelatedWork W2199060946 @default.
- W1577356808 hasRelatedWork W2759310415 @default.
- W1577356808 hasRelatedWork W2782833472 @default.
- W1577356808 hasRelatedWork W2898294387 @default.
- W1577356808 hasRelatedWork W2921140004 @default.
- W1577356808 hasRelatedWork W2958053161 @default.
- W1577356808 hasRelatedWork W3042983993 @default.
- W1577356808 hasRelatedWork W3047244972 @default.
- W1577356808 hasRelatedWork W52130187 @default.
- W1577356808 hasRelatedWork W805316440 @default.
- W1577356808 hasRelatedWork W2163795822 @default.
- W1577356808 hasRelatedWork W2181793834 @default.
- W1577356808 isParatext "false" @default.
- W1577356808 isRetracted "false" @default.
- W1577356808 magId "1577356808" @default.
- W1577356808 workType "article" @default.