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 publicationFormal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Proceedings
Pages183-197
Number of pages15
DOIs
Publication statusPublished - 2010
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)0302-9743
ISSN (Electronic)1611-3349

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

  • Theoretical Computer Science
  • Computer Science(all)

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 Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Proceedings (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