You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.
The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.
For the reports in this repository we specifically note that
- the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
- the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
- technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
- in other cases, please contact the copyright owner for detailed information
By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.
If you are in doubt, feel free to contact webmaster@ide.mdh.se
REMES: A Resource Model for Embedded Systems
Publication Type:
Report - MRTC
ISRN:
MDH-MRTC-232/2008-1-SE
Abstract
In this paper, we introduce the model REMES for formal
modeling and analysis of embedded resources such as storage,
power, communication, and computation. The model
is annotated with both discrete and continuous resources. It
is in fact a state-machine based behavioral language with
support for hierarchalmodeling, continuous time, and a notion
of explicit entry and exit points, making it suitable for
component-based modeling.
The analysis of REMES-based systems is centered
around a weighted sum in which the variables represent
the amounts of consumed resources. We describe a number
of important resource related analysis problems, including
feasibility, trade-off, and optimal resource-utilization analysis.
To formalize these problems, and to provide a basis for
formal analysis, we show how to analyze REMES models using
the framework of priced timed automata and weighted
CTL. To illustrate the approach, we describe a case study in
which it has been applied to model and analyze resource usage
of a temperature control system.
Bibtex
@techreport{Pettersson1328,
author = {Paul Pettersson and Cristina Seceleanu and Aneta Vulgarakis Feljan},
title = {REMES: A Resource Model for Embedded Systems},
number = {ISSN 1404-3041 ISRN MDH-MRTC-232/2008-1-SE},
month = {October},
year = {2008},
url = {http://www.es.mdu.se/publications/1328-}
}