Matches in SemOpenAlex for { <https://semopenalex.org/work/W1919095116> ?p ?o ?g. }
- W1919095116 abstract "This paper studies the schedulability of real-time tasks in the Priority-based Functional Reactive Programming (P-FRP) model under fixed priority scheduling, one of the influential scheduling policies. Since the abort-and-restart execution paradigm of the P-FRP model is different from that of the classic pre-emptive model, the schedulability analysis for P-FRP tasks under fixed priority scheduling differs widely. In P-FRP, for a synchronous n-task set under fixed priority scheduling, the least common multiple (LCM) of all n task periods is the typical length of a testing interval for an exact (necessary and sufficient) schedulability test. In this paper, we propose and prove an optimal simulation based exact schedulability test in the P-FRP model under fixed priority scheduling for a given priority order, covering scenarios from synchronous task release to asynchronous task release with the initial busy condition, and from implicit deadlines to constrained deadlines. The length of a testing interval for the exact test is the LCM of the first n-1 task periods and its optimality is proved." @default.
- W1919095116 created "2016-06-24" @default.
- W1919095116 creator A5001205166 @default.
- W1919095116 creator A5025288288 @default.
- W1919095116 creator A5033414491 @default.
- W1919095116 date "2015-08-01" @default.
- W1919095116 modified "2023-10-18" @default.
- W1919095116 title "Schedulability Analysis for Real-Time P-FRP Tasks under Fixed Priority Scheduling" @default.
- W1919095116 cites W1525135687 @default.
- W1919095116 cites W1964359248 @default.
- W1919095116 cites W1965056795 @default.
- W1919095116 cites W1968005108 @default.
- W1919095116 cites W1977411752 @default.
- W1919095116 cites W1998825927 @default.
- W1919095116 cites W2009415693 @default.
- W1919095116 cites W2012912569 @default.
- W1919095116 cites W2015717967 @default.
- W1919095116 cites W2032742044 @default.
- W1919095116 cites W2034751786 @default.
- W1919095116 cites W2042979415 @default.
- W1919095116 cites W2052251387 @default.
- W1919095116 cites W2056227251 @default.
- W1919095116 cites W2064207294 @default.
- W1919095116 cites W2077576535 @default.
- W1919095116 cites W2089589666 @default.
- W1919095116 cites W2099739459 @default.
- W1919095116 cites W2100090038 @default.
- W1919095116 cites W2103779723 @default.
- W1919095116 cites W2109488193 @default.
- W1919095116 cites W2111206806 @default.
- W1919095116 cites W2115082171 @default.
- W1919095116 cites W2122852486 @default.
- W1919095116 cites W2124435847 @default.
- W1919095116 cites W2134997781 @default.
- W1919095116 cites W2135985806 @default.
- W1919095116 cites W2141440050 @default.
- W1919095116 cites W2144055589 @default.
- W1919095116 cites W2145132630 @default.
- W1919095116 cites W2147417170 @default.
- W1919095116 cites W2153545383 @default.
- W1919095116 cites W2166440675 @default.
- W1919095116 cites W2169193227 @default.
- W1919095116 cites W2171534730 @default.
- W1919095116 doi "https://doi.org/10.1109/rtcsa.2015.28" @default.
- W1919095116 hasPublicationYear "2015" @default.
- W1919095116 type Work @default.
- W1919095116 sameAs 1919095116 @default.
- W1919095116 citedByCount "6" @default.
- W1919095116 countsByYear W19190951162016 @default.
- W1919095116 countsByYear W19190951162017 @default.
- W1919095116 countsByYear W19190951162018 @default.
- W1919095116 countsByYear W19190951162019 @default.
- W1919095116 crossrefType "proceedings-article" @default.
- W1919095116 hasAuthorship W1919095116A5001205166 @default.
- W1919095116 hasAuthorship W1919095116A5025288288 @default.
- W1919095116 hasAuthorship W1919095116A5033414491 @default.
- W1919095116 hasConcept C107568181 @default.
- W1919095116 hasConcept C120314980 @default.
- W1919095116 hasConcept C126255220 @default.
- W1919095116 hasConcept C127456818 @default.
- W1919095116 hasConcept C151319957 @default.
- W1919095116 hasConcept C199360897 @default.
- W1919095116 hasConcept C206729178 @default.
- W1919095116 hasConcept C2777549182 @default.
- W1919095116 hasConcept C31258907 @default.
- W1919095116 hasConcept C32310161 @default.
- W1919095116 hasConcept C33923547 @default.
- W1919095116 hasConcept C41008148 @default.
- W1919095116 hasConcept C5119721 @default.
- W1919095116 hasConcept C76774629 @default.
- W1919095116 hasConcept C79403827 @default.
- W1919095116 hasConceptScore W1919095116C107568181 @default.
- W1919095116 hasConceptScore W1919095116C120314980 @default.
- W1919095116 hasConceptScore W1919095116C126255220 @default.
- W1919095116 hasConceptScore W1919095116C127456818 @default.
- W1919095116 hasConceptScore W1919095116C151319957 @default.
- W1919095116 hasConceptScore W1919095116C199360897 @default.
- W1919095116 hasConceptScore W1919095116C206729178 @default.
- W1919095116 hasConceptScore W1919095116C2777549182 @default.
- W1919095116 hasConceptScore W1919095116C31258907 @default.
- W1919095116 hasConceptScore W1919095116C32310161 @default.
- W1919095116 hasConceptScore W1919095116C33923547 @default.
- W1919095116 hasConceptScore W1919095116C41008148 @default.
- W1919095116 hasConceptScore W1919095116C5119721 @default.
- W1919095116 hasConceptScore W1919095116C76774629 @default.
- W1919095116 hasConceptScore W1919095116C79403827 @default.
- W1919095116 hasLocation W19190951161 @default.
- W1919095116 hasOpenAccess W1919095116 @default.
- W1919095116 hasPrimaryLocation W19190951161 @default.
- W1919095116 hasRelatedWork W1827860574 @default.
- W1919095116 hasRelatedWork W2142540075 @default.
- W1919095116 hasRelatedWork W2165383991 @default.
- W1919095116 hasRelatedWork W2352790745 @default.
- W1919095116 hasRelatedWork W2374555443 @default.
- W1919095116 hasRelatedWork W2392720076 @default.
- W1919095116 hasRelatedWork W2393789493 @default.
- W1919095116 hasRelatedWork W285770292 @default.
- W1919095116 hasRelatedWork W2962323017 @default.
- W1919095116 hasRelatedWork W4231101290 @default.
- W1919095116 isParatext "false" @default.