FRINK Linked Data Fragments server

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

• W2012020810 abstract "The analysis of real-time properties is crucial in safety critical areas, and is particularly difficult for distributed systems as complex interferences between tasks of different priorities can occur. In previous works we have introduced a state-based analysis approach to validate end-to-end deadlines for distributed systems, where the state spaces of all resources, such as processors and buses, are computed in a compositional fashion. For this, abstraction and composition operations were defined to adequately handle task and resource dependencies. During the design process of a system changes occur typically on both the specification and implementation level, such that already performed analyses of the system have to be repeated. In this work, we define a methodology to adequately handle such changes and to determine the minimal part of the affected architecture. For this, we define an appropriate refinement relation between state spaces of the resources. We use contracts to further reduce the re-validation effort. This check takes place at a higher design level, where only the specification is considered." @default.
• W2012020810 created "2016-06-24" @default.
• W2012020810 creator A5017123003 @default.
• W2012020810 creator A5031057579 @default.
• W2012020810 creator A5052344240 @default.
• W2012020810 creator A5085824519 @default.
• W2012020810 date "2014-08-01" @default.
• W2012020810 modified "2023-09-28" @default.
• W2012020810 title "Impact analysis for timing requirements on real-time systems" @default.
• W2012020810 cites W1482233117 @default.
• W2012020810 cites W1482831602 @default.
• W2012020810 cites W1517793941 @default.
• W2012020810 cites W1535987901 @default.
• W2012020810 cites W1544936738 @default.
• W2012020810 cites W1597107417 @default.
• W2012020810 cites W1848324794 @default.
• W2012020810 cites W186423455 @default.
• W2012020810 cites W1969930925 @default.
• W2012020810 cites W1997998060 @default.
• W2012020810 cites W2000947342 @default.
• W2012020810 cites W2023264475 @default.
• W2012020810 cites W2037725895 @default.
• W2012020810 cites W2043752555 @default.
• W2012020810 cites W2101508170 @default.
• W2012020810 cites W2124262702 @default.
• W2012020810 cites W2140252453 @default.
• W2012020810 cites W2145000217 @default.
• W2012020810 cites W2148552865 @default.
• W2012020810 cites W2160690545 @default.
• W2012020810 cites W2165172064 @default.
• W2012020810 cites W2208697726 @default.
• W2012020810 cites W2400945129 @default.
• W2012020810 cites W2566945309 @default.
• W2012020810 cites W2735071815 @default.
• W2012020810 cites W2951535104 @default.
• W2012020810 cites W3023485956 @default.
• W2012020810 doi "https://doi.org/10.1109/rtcsa.2014.6910519" @default.
• W2012020810 hasPublicationYear "2014" @default.
• W2012020810 type Work @default.
• W2012020810 sameAs 2012020810 @default.
• W2012020810 citedByCount "3" @default.
• W2012020810 countsByYear W20120208102014 @default.
• W2012020810 countsByYear W20120208102017 @default.
• W2012020810 countsByYear W20120208102018 @default.
• W2012020810 crossrefType "proceedings-article" @default.
• W2012020810 hasAuthorship W2012020810A5017123003 @default.
• W2012020810 hasAuthorship W2012020810A5031057579 @default.
• W2012020810 hasAuthorship W2012020810A5052344240 @default.
• W2012020810 hasAuthorship W2012020810A5085824519 @default.
• W2012020810 hasConcept C111472728 @default.
• W2012020810 hasConcept C115903868 @default.
• W2012020810 hasConcept C116253237 @default.
• W2012020810 hasConcept C120314980 @default.
• W2012020810 hasConcept C124304363 @default.
• W2012020810 hasConcept C127413603 @default.
• W2012020810 hasConcept C138885662 @default.
• W2012020810 hasConcept C149635348 @default.
• W2012020810 hasConcept C199360897 @default.
• W2012020810 hasConcept C201995342 @default.
• W2012020810 hasConcept C206345919 @default.
• W2012020810 hasConcept C24119478 @default.
• W2012020810 hasConcept C25343380 @default.
• W2012020810 hasConcept C2780451532 @default.
• W2012020810 hasConcept C31258907 @default.
• W2012020810 hasConcept C41008148 @default.
• W2012020810 hasConcept C48103436 @default.
• W2012020810 hasConcept C77088390 @default.
• W2012020810 hasConcept C84651959 @default.
• W2012020810 hasConcept C93682380 @default.
• W2012020810 hasConcept C98045186 @default.
• W2012020810 hasConceptScore W2012020810C111472728 @default.
• W2012020810 hasConceptScore W2012020810C115903868 @default.
• W2012020810 hasConceptScore W2012020810C116253237 @default.
• W2012020810 hasConceptScore W2012020810C120314980 @default.
• W2012020810 hasConceptScore W2012020810C124304363 @default.
• W2012020810 hasConceptScore W2012020810C127413603 @default.
• W2012020810 hasConceptScore W2012020810C138885662 @default.
• W2012020810 hasConceptScore W2012020810C149635348 @default.
• W2012020810 hasConceptScore W2012020810C199360897 @default.
• W2012020810 hasConceptScore W2012020810C201995342 @default.
• W2012020810 hasConceptScore W2012020810C206345919 @default.
• W2012020810 hasConceptScore W2012020810C24119478 @default.
• W2012020810 hasConceptScore W2012020810C25343380 @default.
• W2012020810 hasConceptScore W2012020810C2780451532 @default.
• W2012020810 hasConceptScore W2012020810C31258907 @default.
• W2012020810 hasConceptScore W2012020810C41008148 @default.
• W2012020810 hasConceptScore W2012020810C48103436 @default.
• W2012020810 hasConceptScore W2012020810C77088390 @default.
• W2012020810 hasConceptScore W2012020810C84651959 @default.
• W2012020810 hasConceptScore W2012020810C93682380 @default.
• W2012020810 hasConceptScore W2012020810C98045186 @default.
• W2012020810 hasLocation W20120208101 @default.
• W2012020810 hasOpenAccess W2012020810 @default.
• W2012020810 hasPrimaryLocation W20120208101 @default.
• W2012020810 hasRelatedWork W1565425737 @default.
• W2012020810 hasRelatedWork W2001505538 @default.
• W2012020810 hasRelatedWork W2003192087 @default.
• W2012020810 hasRelatedWork W2072357909 @default.
• W2012020810 hasRelatedWork W2086530596 @default.
• W2012020810 hasRelatedWork W2178631546 @default.

• next