A process algebraic framework for modeling resource demand and supply

Anna Philippou, Insup Lee, Oleg Sokolsky, Jin Young Choi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages183-197
Number of pages15
Volume6246 LNCS
DOIs
Publication statusPublished - 2010 Nov 8
Event8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010 - Klosterneuburg, Austria
Duration: 2010 Sep 82010 Sep 10

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6246 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010
CountryAustria
CityKlosterneuburg
Period10/9/810/9/10

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'A process algebraic framework for modeling resource demand and supply'. Together they form a unique fingerprint.

  • Cite this

    Philippou, A., Lee, I., Sokolsky, O., & Choi, J. Y. (2010). A process algebraic framework for modeling resource demand and supply. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6246 LNCS, pp. 183-197). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6246 LNCS). https://doi.org/10.1007/978-3-642-15297-9_15