Matches in SemOpenAlex for { <https://semopenalex.org/work/W2405957821> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2405957821 endingPage "40" @default.
- W2405957821 startingPage "35" @default.
- W2405957821 abstract "Modeling methods for Cyber-Physical Systems (CPS) originate in various engineering fields, and are difficult to use together due to their heterogeneity. Inconsistencies between mutually oblivious models and analyses often lead to implicit design errors, which may cause catastrophic failures of critical CPS. Such consistency issues are not fully solved by the state-of-the-art integration methods, which lack generality, formal guarantees, and effectiveness. To overcome these limitations and achieve better integration, this paper outlines a two-level integration approach based on architectural views and analysis contracts. In particular, this paper proposes languages and algorithms to specify and verify important integration properties, such as correct analysis execution and rich consistency of architectural views. According to the results to date, this approach shows promise in detection and prevention of implicit errors, which would be difficult to fix otherwise." @default.
- W2405957821 created "2016-06-24" @default.
- W2405957821 creator A5021509994 @default.
- W2405957821 date "2015-01-01" @default.
- W2405957821 modified "2023-09-27" @default.
- W2405957821 title "Architectural and Analytic Integration of Cyber-Physical System Models." @default.
- W2405957821 cites W119592666 @default.
- W2405957821 cites W1495919280 @default.
- W2405957821 cites W1517091175 @default.
- W2405957821 cites W1535346311 @default.
- W2405957821 cites W1557990975 @default.
- W2405957821 cites W1976097964 @default.
- W2405957821 cites W1977444293 @default.
- W2405957821 cites W1994901326 @default.
- W2405957821 cites W1995465248 @default.
- W2405957821 cites W2005140205 @default.
- W2405957821 cites W2009872280 @default.
- W2405957821 cites W2012331762 @default.
- W2405957821 cites W2023808162 @default.
- W2405957821 cites W2029288475 @default.
- W2405957821 cites W2050216715 @default.
- W2405957821 cites W2060910670 @default.
- W2405957821 cites W2061039002 @default.
- W2405957821 cites W2088977779 @default.
- W2405957821 cites W2096593570 @default.
- W2405957821 cites W2101761133 @default.
- W2405957821 cites W2125166810 @default.
- W2405957821 cites W2149713648 @default.
- W2405957821 cites W2154548829 @default.
- W2405957821 cites W2165895699 @default.
- W2405957821 cites W2293702630 @default.
- W2405957821 cites W2981211355 @default.
- W2405957821 cites W3043074253 @default.
- W2405957821 cites W340937288 @default.
- W2405957821 cites W56734952 @default.
- W2405957821 cites W69866679 @default.
- W2405957821 cites W72684053 @default.
- W2405957821 hasPublicationYear "2015" @default.
- W2405957821 type Work @default.
- W2405957821 sameAs 2405957821 @default.
- W2405957821 citedByCount "0" @default.
- W2405957821 crossrefType "journal-article" @default.
- W2405957821 hasAuthorship W2405957821A5021509994 @default.
- W2405957821 hasConcept C111919701 @default.
- W2405957821 hasConcept C112930515 @default.
- W2405957821 hasConcept C115903868 @default.
- W2405957821 hasConcept C154945302 @default.
- W2405957821 hasConcept C15744967 @default.
- W2405957821 hasConcept C179768478 @default.
- W2405957821 hasConcept C2776436953 @default.
- W2405957821 hasConcept C2780767217 @default.
- W2405957821 hasConcept C41008148 @default.
- W2405957821 hasConcept C542102704 @default.
- W2405957821 hasConcept C71924100 @default.
- W2405957821 hasConceptScore W2405957821C111919701 @default.
- W2405957821 hasConceptScore W2405957821C112930515 @default.
- W2405957821 hasConceptScore W2405957821C115903868 @default.
- W2405957821 hasConceptScore W2405957821C154945302 @default.
- W2405957821 hasConceptScore W2405957821C15744967 @default.
- W2405957821 hasConceptScore W2405957821C179768478 @default.
- W2405957821 hasConceptScore W2405957821C2776436953 @default.
- W2405957821 hasConceptScore W2405957821C2780767217 @default.
- W2405957821 hasConceptScore W2405957821C41008148 @default.
- W2405957821 hasConceptScore W2405957821C542102704 @default.
- W2405957821 hasConceptScore W2405957821C71924100 @default.
- W2405957821 hasLocation W24059578211 @default.
- W2405957821 hasOpenAccess W2405957821 @default.
- W2405957821 hasPrimaryLocation W24059578211 @default.
- W2405957821 hasRelatedWork W1931865259 @default.
- W2405957821 hasRelatedWork W1967844649 @default.
- W2405957821 hasRelatedWork W2063964361 @default.
- W2405957821 hasRelatedWork W2158849671 @default.
- W2405957821 hasRelatedWork W2179666164 @default.
- W2405957821 hasRelatedWork W2187704572 @default.
- W2405957821 hasRelatedWork W2399010894 @default.
- W2405957821 hasRelatedWork W2402804972 @default.
- W2405957821 hasRelatedWork W2406411715 @default.
- W2405957821 hasRelatedWork W25220657 @default.
- W2405957821 hasRelatedWork W2780233402 @default.
- W2405957821 hasRelatedWork W2800800175 @default.
- W2405957821 hasRelatedWork W2808808949 @default.
- W2405957821 hasRelatedWork W2887638060 @default.
- W2405957821 hasRelatedWork W2912428261 @default.
- W2405957821 hasRelatedWork W2972049303 @default.
- W2405957821 hasRelatedWork W3013571126 @default.
- W2405957821 hasRelatedWork W3092961706 @default.
- W2405957821 hasRelatedWork W3141842699 @default.
- W2405957821 hasRelatedWork W2105862299 @default.
- W2405957821 isParatext "false" @default.
- W2405957821 isRetracted "false" @default.
- W2405957821 magId "2405957821" @default.
- W2405957821 workType "article" @default.