Sokolsky, Oleg2023-05-222023-05-222004-05-112005-03-18https://repository.upenn.edu/handle/20.500.14332/6941The 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 designresource modelingprocess algebraPresentation