Skip to main content
Article
A General Resource Framework for Real-Time Systems
Departmental Papers (CIS)
  • Insup Lee, University of Pennsylvania
  • Anna Philippou, University of Cyprus
  • Oleg Sokolsky, University of Pennsylvania
Date of this Version
10-8-2002
Document Type
Conference Paper
Comments
Presented at the Monterey Workshop, Radical Innovations of Software and Systems Engineering in the Future, October 8-11, 2002.
Abstract

The paper describes a formal framework for designing and reasoning about resource-constrained systems. The framework is based on a series of process algebraic formalisms which have been previously developed to describe and analyze various aspects of real-time communicating, concurrent systems. We develop a uniform framework for formal treatment of resources and demonstrate how previous work fits into the new framework.

Keywords
  • Resource modeling,
  • real-time systems,
  • process algebra
Citation Information
Insup Lee, Anna Philippou and Oleg Sokolsky. "A General Resource Framework for Real-Time Systems" (2002)
Available at: http://works.bepress.com/sokolsky/54/