FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2054704105> ?p ?o ?g. }

• W2054704105 abstract "In model-based design of cyber-physical systems, such as switched mixed-signal circuits or software-controlled physical systems, it is common to develop a sequence of system models of different fidelity and complexity, each appropriate for a particular design or verification task. In such a sequence, one model is often derived from the other by a process of simplification or implementation. E.g. a Simulink model might be implemented on an embedded processor via automatic code generation. Three questions naturally present themselves: how do we quantify closeness between the two systems? How can we measure such closeness? If the original system satisfies some formal property, can we automatically infer what properties are then satisfied by the derived model? This paper addresses all three questions: we quantify the closeness between original and derived model via a distance measure between their outputs. We then propose two computational methods for approximating this closeness measure. Finally, we derive syntactical re-writing rules which, when applied to a Metric Temporal Logic specification satisfied by the original model, produce a formula satisfied by the derived model. We demonstrate the soundness of the theory with several experiments." @default.
• W2054704105 created "2016-06-24" @default.
• W2054704105 creator A5021880681 @default.
• W2054704105 creator A5048520206 @default.
• W2054704105 creator A5058732387 @default.
• W2054704105 date "2014-10-01" @default.
• W2054704105 modified "2023-10-14" @default.
• W2054704105 title "Formal property verification in a conformance testing framework" @default.
• W2054704105 cites W1508536183 @default.
• W2054704105 cites W1845560202 @default.
• W2054704105 cites W1875975371 @default.
• W2054704105 cites W1971086298 @default.
• W2054704105 cites W1996435633 @default.
• W2054704105 cites W2004720364 @default.
• W2054704105 cites W2010923515 @default.
• W2054704105 cites W2026629052 @default.
• W2054704105 cites W2034422907 @default.
• W2054704105 cites W2054704105 @default.
• W2054704105 cites W2080932760 @default.
• W2054704105 cites W2083571437 @default.
• W2054704105 cites W2112248103 @default.
• W2054704105 cites W2113256684 @default.
• W2054704105 cites W2115612093 @default.
• W2054704105 cites W2123023940 @default.
• W2054704105 cites W2124611339 @default.
• W2054704105 cites W2126273457 @default.
• W2054704105 cites W2130051797 @default.
• W2054704105 cites W2131399618 @default.
• W2054704105 cites W2139324515 @default.
• W2054704105 cites W2148265798 @default.
• W2054704105 cites W2157202548 @default.
• W2054704105 cites W2159039890 @default.
• W2054704105 cites W4251323451 @default.
• W2054704105 doi "https://doi.org/10.1109/memcod.2014.6961854" @default.
• W2054704105 hasPublicationYear "2014" @default.
• W2054704105 type Work @default.
• W2054704105 sameAs 2054704105 @default.
• W2054704105 citedByCount "40" @default.
• W2054704105 countsByYear W20547041052014 @default.
• W2054704105 countsByYear W20547041052015 @default.
• W2054704105 countsByYear W20547041052016 @default.
• W2054704105 countsByYear W20547041052017 @default.
• W2054704105 countsByYear W20547041052018 @default.
• W2054704105 countsByYear W20547041052019 @default.
• W2054704105 countsByYear W20547041052020 @default.
• W2054704105 countsByYear W20547041052021 @default.
• W2054704105 countsByYear W20547041052022 @default.
• W2054704105 countsByYear W20547041052023 @default.
• W2054704105 crossrefType "proceedings-article" @default.
• W2054704105 hasAuthorship W2054704105A5021880681 @default.
• W2054704105 hasAuthorship W2054704105A5048520206 @default.
• W2054704105 hasAuthorship W2054704105A5058732387 @default.
• W2054704105 hasConcept C110251889 @default.
• W2054704105 hasConcept C111472728 @default.
• W2054704105 hasConcept C111498074 @default.
• W2054704105 hasConcept C11413529 @default.
• W2054704105 hasConcept C116253237 @default.
• W2054704105 hasConcept C124101348 @default.
• W2054704105 hasConcept C134306372 @default.
• W2054704105 hasConcept C138885662 @default.
• W2054704105 hasConcept C162324750 @default.
• W2054704105 hasConcept C176217482 @default.
• W2054704105 hasConcept C189950617 @default.
• W2054704105 hasConcept C199360897 @default.
• W2054704105 hasConcept C21547014 @default.
• W2054704105 hasConcept C2776459999 @default.
• W2054704105 hasConcept C2778112365 @default.
• W2054704105 hasConcept C2779545769 @default.
• W2054704105 hasConcept C2780009758 @default.
• W2054704105 hasConcept C33923547 @default.
• W2054704105 hasConcept C39920170 @default.
• W2054704105 hasConcept C41008148 @default.
• W2054704105 hasConcept C4777664 @default.
• W2054704105 hasConcept C54355233 @default.
• W2054704105 hasConcept C76155785 @default.
• W2054704105 hasConcept C80444323 @default.
• W2054704105 hasConcept C86803240 @default.
• W2054704105 hasConcept C98045186 @default.
• W2054704105 hasConceptScore W2054704105C110251889 @default.
• W2054704105 hasConceptScore W2054704105C111472728 @default.
• W2054704105 hasConceptScore W2054704105C111498074 @default.
• W2054704105 hasConceptScore W2054704105C11413529 @default.
• W2054704105 hasConceptScore W2054704105C116253237 @default.
• W2054704105 hasConceptScore W2054704105C124101348 @default.
• W2054704105 hasConceptScore W2054704105C134306372 @default.
• W2054704105 hasConceptScore W2054704105C138885662 @default.
• W2054704105 hasConceptScore W2054704105C162324750 @default.
• W2054704105 hasConceptScore W2054704105C176217482 @default.
• W2054704105 hasConceptScore W2054704105C189950617 @default.
• W2054704105 hasConceptScore W2054704105C199360897 @default.
• W2054704105 hasConceptScore W2054704105C21547014 @default.
• W2054704105 hasConceptScore W2054704105C2776459999 @default.
• W2054704105 hasConceptScore W2054704105C2778112365 @default.
• W2054704105 hasConceptScore W2054704105C2779545769 @default.
• W2054704105 hasConceptScore W2054704105C2780009758 @default.
• W2054704105 hasConceptScore W2054704105C33923547 @default.
• W2054704105 hasConceptScore W2054704105C39920170 @default.
• W2054704105 hasConceptScore W2054704105C41008148 @default.
• W2054704105 hasConceptScore W2054704105C4777664 @default.
• W2054704105 hasConceptScore W2054704105C54355233 @default.

• next