FRINK Linked Data Fragments server

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

• W2078951208 abstract "Formal methods (e.g. Timed Automata or Linear Hybrid Automata) can be used to analyse a real-time system by performing a reachability analysis on the model. The advantage of using formal methods is that they are more expressive than classical analytic models used in schedulability analysis. For example, it is possible to express state-dependent behaviour, arbitrary activation patterns, etc. In this paper we use the formalism of Linear Hybrid Automata to encode a hierarchical scheduling system. In particular, we model a dynamic server algorithm and the tasks contained within, abstracting away the rest of the system, thus enabling component-based scheduling analysis. We prove the correctness of the model and the decidability of the reachability analysis for the case of periodic tasks. Then, we compare the results of our model against classical schedulability analysis techniques, showing that our analysis performs better than analytic methods in terms of resource utilisation. We further present two case studies: a component with state-dependent tasks, and a simplified model of a real avionics system. Finally, through extensive tests with various configurations, we demonstrate that this approach is usable for medium-size components." @default.
• W2078951208 created "2016-06-24" @default.
• W2078951208 creator A5050313107 @default.
• W2078951208 creator A5052794441 @default.
• W2078951208 creator A5053157148 @default.
• W2078951208 creator A5058799763 @default.
• W2078951208 creator A5084605938 @default.
• W2078951208 date "2014-08-01" @default.
• W2078951208 modified "2023-09-25" @default.
• W2078951208 title "Component-based analysis of hierarchical scheduling using linear hybrid automata" @default.
• W2078951208 cites W1502028089 @default.
• W2078951208 cites W1592528484 @default.
• W2078951208 cites W1823977438 @default.
• W2078951208 cites W1854945613 @default.
• W2078951208 cites W1978631345 @default.
• W2078951208 cites W1987234253 @default.
• W2078951208 cites W1991518987 @default.
• W2078951208 cites W2050837210 @default.
• W2078951208 cites W2064207294 @default.
• W2078951208 cites W2073976172 @default.
• W2078951208 cites W2101508170 @default.
• W2078951208 cites W2109488193 @default.
• W2078951208 cites W2129593667 @default.
• W2078951208 cites W2134935059 @default.
• W2078951208 cites W2139623126 @default.
• W2078951208 cites W2162666438 @default.
• W2078951208 cites W2169170386 @default.
• W2078951208 doi "https://doi.org/10.1109/rtcsa.2014.6910502" @default.
• W2078951208 hasPublicationYear "2014" @default.
• W2078951208 type Work @default.
• W2078951208 sameAs 2078951208 @default.
• W2078951208 citedByCount "8" @default.
• W2078951208 countsByYear W20789512082015 @default.
• W2078951208 countsByYear W20789512082017 @default.
• W2078951208 countsByYear W20789512082018 @default.
• W2078951208 countsByYear W20789512082019 @default.
• W2078951208 countsByYear W20789512082021 @default.
• W2078951208 crossrefType "proceedings-article" @default.
• W2078951208 hasAuthorship W2078951208A5050313107 @default.
• W2078951208 hasAuthorship W2078951208A5052794441 @default.
• W2078951208 hasAuthorship W2078951208A5053157148 @default.
• W2078951208 hasAuthorship W2078951208A5058799763 @default.
• W2078951208 hasAuthorship W2078951208A5084605938 @default.
• W2078951208 hasConcept C110251889 @default.
• W2078951208 hasConcept C111498074 @default.
• W2078951208 hasConcept C112505250 @default.
• W2078951208 hasConcept C11413529 @default.
• W2078951208 hasConcept C116248031 @default.
• W2078951208 hasConcept C119857082 @default.
• W2078951208 hasConcept C121332964 @default.
• W2078951208 hasConcept C126255220 @default.
• W2078951208 hasConcept C136643341 @default.
• W2078951208 hasConcept C136764020 @default.
• W2078951208 hasConcept C153269930 @default.
• W2078951208 hasConcept C164155591 @default.
• W2078951208 hasConcept C168167062 @default.
• W2078951208 hasConcept C206729178 @default.
• W2078951208 hasConcept C2776028153 @default.
• W2078951208 hasConcept C2780615836 @default.
• W2078951208 hasConcept C33923547 @default.
• W2078951208 hasConcept C41008148 @default.
• W2078951208 hasConcept C50897621 @default.
• W2078951208 hasConcept C55439883 @default.
• W2078951208 hasConcept C80444323 @default.
• W2078951208 hasConcept C97355855 @default.
• W2078951208 hasConceptScore W2078951208C110251889 @default.
• W2078951208 hasConceptScore W2078951208C111498074 @default.
• W2078951208 hasConceptScore W2078951208C112505250 @default.
• W2078951208 hasConceptScore W2078951208C11413529 @default.
• W2078951208 hasConceptScore W2078951208C116248031 @default.
• W2078951208 hasConceptScore W2078951208C119857082 @default.
• W2078951208 hasConceptScore W2078951208C121332964 @default.
• W2078951208 hasConceptScore W2078951208C126255220 @default.
• W2078951208 hasConceptScore W2078951208C136643341 @default.
• W2078951208 hasConceptScore W2078951208C136764020 @default.
• W2078951208 hasConceptScore W2078951208C153269930 @default.
• W2078951208 hasConceptScore W2078951208C164155591 @default.
• W2078951208 hasConceptScore W2078951208C168167062 @default.
• W2078951208 hasConceptScore W2078951208C206729178 @default.
• W2078951208 hasConceptScore W2078951208C2776028153 @default.
• W2078951208 hasConceptScore W2078951208C2780615836 @default.
• W2078951208 hasConceptScore W2078951208C33923547 @default.
• W2078951208 hasConceptScore W2078951208C41008148 @default.
• W2078951208 hasConceptScore W2078951208C50897621 @default.
• W2078951208 hasConceptScore W2078951208C55439883 @default.
• W2078951208 hasConceptScore W2078951208C80444323 @default.
• W2078951208 hasConceptScore W2078951208C97355855 @default.
• W2078951208 hasLocation W20789512081 @default.
• W2078951208 hasOpenAccess W2078951208 @default.
• W2078951208 hasPrimaryLocation W20789512081 @default.
• W2078951208 hasRelatedWork W129752279 @default.
• W2078951208 hasRelatedWork W1518566078 @default.
• W2078951208 hasRelatedWork W1603369550 @default.
• W2078951208 hasRelatedWork W1803004510 @default.
• W2078951208 hasRelatedWork W2034963384 @default.
• W2078951208 hasRelatedWork W2050304663 @default.
• W2078951208 hasRelatedWork W2078951208 @default.
• W2078951208 hasRelatedWork W2107012191 @default.
• W2078951208 hasRelatedWork W2530589071 @default.
• W2078951208 hasRelatedWork W2964131994 @default.

• next