A General Resource Framework for Real-Time Systems

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
Resource modeling
real-time systems
process algebra
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Contributor
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.

Advisor
Date of presentation
2002-10-08
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T22:27:41.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Presented at the Monterey Workshop, Radical Innovations of Software and Systems Engineering in the Future, October 8-11, 2002.
Presented at the Monterey Workshop, Radical Innovations of Software and Systems Engineering in the Future, October 8-11, 2002.
Recommended citation
Collection