Logotype Mälardalenn University

PROGRESS publications



REMES: A Resource Model for Embedded Systems

Full text:  
Authors: Paul Pettersson, Cristina Seceleanu, Aneta Vulgarakis
Source: MRTC report ISSN 1404-3041 ISRN MDH-MRTC-232/2008-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University
 

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 entry

@techreport{Pettersson_1559:2008,
   author = {Paul Pettersson and Cristina Seceleanu and Aneta Vulgarakis},
   title = {REMES: A Resource Model for Embedded Systems},
   month = {October},
   year = {2008},
   institution = {M{\aa}lardalen University},
   number = {ISSN 1404-3041 ISRN MDH-MRTC-232/2008-1-SE},
   type = {{T}echnical {R}eport},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1559},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.11.03