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...
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 |
Ejemplares similares
-
Multiprocessor scheduling for real-time systems
por: Baruah, Sanjoy, et al.
Publicado: (2015) -
Formal Modeling and Analysis of Medical Systems
por: Zarneshan, Mahsa, et al.
Publicado: (2020) -
Real-time Online Scheduling Advantages
Publicado: (2022) -
1001 Ways to run AutoDock Vina for virtual screening
por: Jaghoori, Mohammad Mahdi, et al.
Publicado: (2016) -
Fundamentals of software engineering: 6th international conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 revised selected papers
por: Dastani, Mehdi, et al.
Publicado: (2015)