Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128528091> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2128528091 abstract "Recently, several formal approaches have been presented to address the problem of schedulability analysis of real-time systems by some varieties of timed automata, e.g., UPPAAL and TIMES. In this paper, we consider a more general and complicated formal computational model for distributed systems. To analyze the schedulability of tasks within this model by automata theory, we present a model, action automata, which is a class of suspension automata, to describe the execution semantics of tasks, we also define an environment model, environment automata, to describe the arrival patterns of tasks. One main result gives the scheduling policies under which the schedulability can be analyzed by our method correctly. To achieve this result, we translate the schedulability analysis to the reach ability analysis of the network of action automata and environment automata. Therefore, another main result of this paper is that we prove the reach ability of action automata is decidable. Based on these conclusions, we implement a prototype tool for schedulability analysis and test its performance under EDF policy." @default.
- W2128528091 created "2016-06-24" @default.
- W2128528091 creator A5009862272 @default.
- W2128528091 creator A5028871582 @default.
- W2128528091 creator A5057838181 @default.
- W2128528091 creator A5064786908 @default.
- W2128528091 creator A5075015477 @default.
- W2128528091 date "2011-05-01" @default.
- W2128528091 modified "2023-09-27" @default.
- W2128528091 title "Schedulability Analysis for Distributed Systems Using Network of Action Automata and Environment Automata" @default.
- W2128528091 cites W1506114972 @default.
- W2128528091 cites W1515514400 @default.
- W2128528091 cites W1522065904 @default.
- W2128528091 cites W1569796910 @default.
- W2128528091 cites W1878516677 @default.
- W2128528091 cites W1939356072 @default.
- W2128528091 cites W1962072139 @default.
- W2128528091 cites W2004463571 @default.
- W2128528091 cites W2036081705 @default.
- W2128528091 cites W2042979415 @default.
- W2128528091 cites W2101508170 @default.
- W2128528091 cites W2102815588 @default.
- W2128528091 cites W2113488668 @default.
- W2128528091 cites W2118802216 @default.
- W2128528091 cites W2122113444 @default.
- W2128528091 cites W2124262702 @default.
- W2128528091 cites W2133811601 @default.
- W2128528091 cites W2147340401 @default.
- W2128528091 cites W2157508806 @default.
- W2128528091 cites W2163590987 @default.
- W2128528091 cites W3142840155 @default.
- W2128528091 cites W28900986 @default.
- W2128528091 doi "https://doi.org/10.1109/ispa.2011.29" @default.
- W2128528091 hasPublicationYear "2011" @default.
- W2128528091 type Work @default.
- W2128528091 sameAs 2128528091 @default.
- W2128528091 citedByCount "0" @default.
- W2128528091 crossrefType "proceedings-article" @default.
- W2128528091 hasAuthorship W2128528091A5009862272 @default.
- W2128528091 hasAuthorship W2128528091A5028871582 @default.
- W2128528091 hasAuthorship W2128528091A5057838181 @default.
- W2128528091 hasAuthorship W2128528091A5064786908 @default.
- W2128528091 hasAuthorship W2128528091A5075015477 @default.
- W2128528091 hasConcept C112505250 @default.
- W2128528091 hasConcept C116248031 @default.
- W2128528091 hasConcept C120314980 @default.
- W2128528091 hasConcept C126255220 @default.
- W2128528091 hasConcept C153269930 @default.
- W2128528091 hasConcept C206729178 @default.
- W2128528091 hasConcept C33923547 @default.
- W2128528091 hasConcept C41008148 @default.
- W2128528091 hasConcept C50348692 @default.
- W2128528091 hasConcept C80444323 @default.
- W2128528091 hasConceptScore W2128528091C112505250 @default.
- W2128528091 hasConceptScore W2128528091C116248031 @default.
- W2128528091 hasConceptScore W2128528091C120314980 @default.
- W2128528091 hasConceptScore W2128528091C126255220 @default.
- W2128528091 hasConceptScore W2128528091C153269930 @default.
- W2128528091 hasConceptScore W2128528091C206729178 @default.
- W2128528091 hasConceptScore W2128528091C33923547 @default.
- W2128528091 hasConceptScore W2128528091C41008148 @default.
- W2128528091 hasConceptScore W2128528091C50348692 @default.
- W2128528091 hasConceptScore W2128528091C80444323 @default.
- W2128528091 hasLocation W21285280911 @default.
- W2128528091 hasOpenAccess W2128528091 @default.
- W2128528091 hasPrimaryLocation W21285280911 @default.
- W2128528091 hasRelatedWork W1546490938 @default.
- W2128528091 hasRelatedWork W1825940007 @default.
- W2128528091 hasRelatedWork W2039162609 @default.
- W2128528091 hasRelatedWork W2063124369 @default.
- W2128528091 hasRelatedWork W2107012191 @default.
- W2128528091 hasRelatedWork W2147288671 @default.
- W2128528091 hasRelatedWork W2888015909 @default.
- W2128528091 hasRelatedWork W3029635728 @default.
- W2128528091 hasRelatedWork W3161865814 @default.
- W2128528091 hasRelatedWork W332733814 @default.
- W2128528091 isParatext "false" @default.
- W2128528091 isRetracted "false" @default.
- W2128528091 magId "2128528091" @default.
- W2128528091 workType "article" @default.