dc.contributor.author | Philippou, Anna | en |
dc.contributor.author | Lee, I. | en |
dc.contributor.author | Sokolsky, O. | en |
dc.contributor.author | Choi, J. -Y | en |
dc.creator | Philippou, Anna | en |
dc.creator | Lee, I. | en |
dc.creator | Sokolsky, O. | en |
dc.creator | Choi, J. -Y | en |
dc.date.accessioned | 2019-11-13T10:41:59Z | |
dc.date.available | 2019-11-13T10:41:59Z | |
dc.date.issued | 2010 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54841 | |
dc.description.abstract | As real-time embedded systems become more complex, resource partitioning is increasingly used to guarantee real-time performance. Recently, several compositional frameworks of resource partitioning have been proposed using real-time scheduling theory with various notions of real-time tasks running under restricted resource supply environments. However, these real-time scheduling-based approaches are limited in their expressiveness in that, although capable of describing resource-demand tasks, they are unable to model resource supply. This paper describes a process algebraic framework for reasoning about resource demand and supply inspired by the timed process algebra ACSR. In ACSR, real-time tasks are specified by enunciating their consumption needs for resources. To also accommodate resource-supply processes we define PADS where, given a resource CPU, the complimented resource denotes for availability of CPU for the corresponding demand process. Using PADS, we define a supply-demand relation where a pair (S, T) belongs to the relation if the demand process T can be scheduled under supply S. We develop a theory of compositional schedulability analysis as well as a technique for synthesizing an optimal supply process for a set of tasks. We illustrate our technique via a number of examples. © 2010 Springer-Verlag Berlin Heidelberg. | en |
dc.source | 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-78049411023&doi=10.1007%2f978-3-642-15297-9_15&partnerID=40&md5=f68d0ffa55e26ab2c108162a31b4e54f | |
dc.subject | Ecology | en |
dc.subject | Algebra | en |
dc.subject | Real time systems | en |
dc.subject | Scheduling | en |
dc.subject | Embedded systems | en |
dc.subject | Formal logic | en |
dc.subject | Real time performance | en |
dc.subject | Real-time embedded systems | en |
dc.subject | Schedulability analysis | en |
dc.subject | Algebraic framework | en |
dc.subject | Real time scheduling | en |
dc.subject | Real-time tasks | en |
dc.subject | Resource demands | en |
dc.subject | Resource partitioning | en |
dc.subject | Supply process | en |
dc.subject | Supply-demand relation | en |
dc.subject | Timed process algebra | en |
dc.subject | Time sharing systems | en |
dc.title | A process algebraic framework for modeling resource demand and supply | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1007/978-3-642-15297-9_15 | |
dc.description.volume | 6246 LNCS | en |
dc.description.startingpage | 183 | |
dc.description.endingpage | 197 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Conference code: 82111 | en |
dc.description.notes | Cited By :1</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |