Matches in SemOpenAlex for { <https://semopenalex.org/work/W2578487364> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2578487364 abstract "Hybrid models are highly relevant for the development of embedded systems because they cover both their continuous and discrete aspects. To master the increasing complexity of embedded systems design, transformation techniques such as automated refactoring play an important role, as they allow for simplifying (sub)models. In safety-critical environments, it is crucial to formally verify the behavioural equivalence of source and transformed target model. For data-flow models that contain control flow entities, this is a major challenge because small deviations of trigger values at control flow elements can yield diverging behaviour of the systems. In this paper, we present our approach that enables the semi-automated verification of the behavioural equivalence of hybrid MATLAB/Simulink models. To this end, we define a static analysis that derives proof obligations to estimate the worst case deviation between model and refactored model. Our approach can be applied to many practical applications such as in the automotive or aerospace industry where MATLAB/Simulink is a de-facto standard." @default.
- W2578487364 created "2017-01-26" @default.
- W2578487364 creator A5017296585 @default.
- W2578487364 creator A5041878881 @default.
- W2578487364 creator A5042254659 @default.
- W2578487364 creator A5046628894 @default.
- W2578487364 date "2017-01-01" @default.
- W2578487364 modified "2023-10-03" @default.
- W2578487364 title "Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow" @default.
- W2578487364 cites W147593471 @default.
- W2578487364 cites W1521738998 @default.
- W2578487364 cites W1526135121 @default.
- W2578487364 cites W1997070622 @default.
- W2578487364 cites W2015554754 @default.
- W2578487364 cites W2060369194 @default.
- W2578487364 cites W2074027094 @default.
- W2578487364 cites W2090771707 @default.
- W2578487364 cites W2109080678 @default.
- W2578487364 cites W2113239343 @default.
- W2578487364 cites W2113256684 @default.
- W2578487364 cites W2115803389 @default.
- W2578487364 cites W2117218135 @default.
- W2578487364 cites W2158681729 @default.
- W2578487364 cites W2160937337 @default.
- W2578487364 cites W2168948159 @default.
- W2578487364 cites W39058212 @default.
- W2578487364 cites W4242578723 @default.
- W2578487364 cites W4244876017 @default.
- W2578487364 cites W4300831640 @default.
- W2578487364 doi "https://doi.org/10.1007/978-3-319-51738-4_6" @default.
- W2578487364 hasPublicationYear "2017" @default.
- W2578487364 type Work @default.
- W2578487364 sameAs 2578487364 @default.
- W2578487364 citedByCount "2" @default.
- W2578487364 countsByYear W25784873642018 @default.
- W2578487364 countsByYear W25784873642020 @default.
- W2578487364 crossrefType "book-chapter" @default.
- W2578487364 hasAuthorship W2578487364A5017296585 @default.
- W2578487364 hasAuthorship W2578487364A5041878881 @default.
- W2578487364 hasAuthorship W2578487364A5042254659 @default.
- W2578487364 hasAuthorship W2578487364A5046628894 @default.
- W2578487364 hasConcept C110251889 @default.
- W2578487364 hasConcept C11413529 @default.
- W2578487364 hasConcept C138885662 @default.
- W2578487364 hasConcept C152752567 @default.
- W2578487364 hasConcept C160191386 @default.
- W2578487364 hasConcept C199360897 @default.
- W2578487364 hasConcept C2777904410 @default.
- W2578487364 hasConcept C2780069185 @default.
- W2578487364 hasConcept C2780365114 @default.
- W2578487364 hasConcept C41008148 @default.
- W2578487364 hasConcept C41895202 @default.
- W2578487364 hasConcept C55439883 @default.
- W2578487364 hasConceptScore W2578487364C110251889 @default.
- W2578487364 hasConceptScore W2578487364C11413529 @default.
- W2578487364 hasConceptScore W2578487364C138885662 @default.
- W2578487364 hasConceptScore W2578487364C152752567 @default.
- W2578487364 hasConceptScore W2578487364C160191386 @default.
- W2578487364 hasConceptScore W2578487364C199360897 @default.
- W2578487364 hasConceptScore W2578487364C2777904410 @default.
- W2578487364 hasConceptScore W2578487364C2780069185 @default.
- W2578487364 hasConceptScore W2578487364C2780365114 @default.
- W2578487364 hasConceptScore W2578487364C41008148 @default.
- W2578487364 hasConceptScore W2578487364C41895202 @default.
- W2578487364 hasConceptScore W2578487364C55439883 @default.
- W2578487364 hasLocation W25784873641 @default.
- W2578487364 hasOpenAccess W2578487364 @default.
- W2578487364 hasPrimaryLocation W25784873641 @default.
- W2578487364 hasRelatedWork W1505953009 @default.
- W2578487364 hasRelatedWork W1528952214 @default.
- W2578487364 hasRelatedWork W1550800234 @default.
- W2578487364 hasRelatedWork W2020209480 @default.
- W2578487364 hasRelatedWork W2121902485 @default.
- W2578487364 hasRelatedWork W2153024173 @default.
- W2578487364 hasRelatedWork W2284420514 @default.
- W2578487364 hasRelatedWork W2322553318 @default.
- W2578487364 hasRelatedWork W2325471751 @default.
- W2578487364 hasRelatedWork W2327939770 @default.
- W2578487364 hasRelatedWork W2344850030 @default.
- W2578487364 hasRelatedWork W2352582394 @default.
- W2578487364 hasRelatedWork W2523393120 @default.
- W2578487364 hasRelatedWork W2531728244 @default.
- W2578487364 hasRelatedWork W2602300369 @default.
- W2578487364 hasRelatedWork W2614281427 @default.
- W2578487364 hasRelatedWork W2765620618 @default.
- W2578487364 hasRelatedWork W2978524235 @default.
- W2578487364 hasRelatedWork W31619123 @default.
- W2578487364 hasRelatedWork W574795656 @default.
- W2578487364 isParatext "false" @default.
- W2578487364 isRetracted "false" @default.
- W2578487364 magId "2578487364" @default.
- W2578487364 workType "book-chapter" @default.