A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Compositional schedulability analysis of real-time actor-based systems
2016
Acta Informatica
We present an extension of the actor model with real-time, including deadlines associated with messages, and explicit application-level scheduling policies, e.g.,"earliest deadline first" which can be associated with individual actors. Schedulability analysis in this setting amounts to checking whether, given a scheduling policy for each actor, every task is processed within its designated deadline. To check schedulability, we introduce a compositional automata-theoretic approach, based on
doi:10.1007/s00236-015-0254-x
pmid:28529345
pmcid:PMC5412064
fatcat:uo7oldvyqzhsvo3hzbkdhu7c5y