Date of this Version
The paper describes a formal framework for designing and reasoning about resource-constrained embedded 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 concurrent systems. We present a uniform framework for formal treatment of resources and illustrate modeling of common resource classes.
Model-based design, resource modeling, process algebra
Date Posted: 11 April 2005
This document has been peer reviewed.