Date of this Version
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.
Resource modeling, real-time systems, process algebra
Lee, Insup; Philippou, Anna; and Sokolsky, Oleg, "A General Resource Framework for Real-Time Systems" (2002). Departmental Papers (CIS). Paper 96.
Date Posted: 28 April 2005
This document has been peer reviewed.