Cargando…

Compositional schedulability analysis of real-time actor-based systems

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 whet...

Descripción completa

Detalles Bibliográficos
Autores principales: Jaghoori, Mohammad Mahdi, de Boer, Frank, Longuet, Delphine, Chothia, Tom, Sirjani, Marjan
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Berlin Heidelberg 2016
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5412064/
https://www.ncbi.nlm.nih.gov/pubmed/28529345
http://dx.doi.org/10.1007/s00236-015-0254-x