Departmental Papers (CIS)

Document Type

Conference Paper

Date of this Version

October 2002

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

Share

COinS
 

Date Posted: 28 April 2005

This document has been peer reviewed.