mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
REMES: A Resource Model for Embedded Systems
Mälardalen University, School of Innovation, Design and Engineering. (Real-Time Systems Modelling and Analysis)ORCID iD: 0000-0003-4040-3480
Mälardalen University, School of Innovation, Design and Engineering. (Real-Time Systems Modelling and Analysis)ORCID iD: 0000-0003-2870-2680
Mälardalen University, School of Innovation, Design and Engineering. (Industrial Software Engineering)ORCID iD: 0000-0003-2383-7981
2008 (English)Report (Other academic)
Abstract [en]

n 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. 

Place, publisher, year, edition, pages
2008.
Series
MRTC report, ISSN 1404-3041
Keywords [en]
PROGRESS
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-6560ISRN: MDH-MRTC-232/2008-1-SEOAI: oai:DiVA.org:mdh-6560DiVA, id: diva2:227054
Available from: 2009-07-09 Created: 2009-07-09 Last updated: 2014-02-04Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

http://www.es.mdh.se/pdf_publications/1328.pdf

Authority records BETA

Pettersson, PaulSeceleanu, CristinaVulgarakis, Aneta

Search in DiVA

By author/editor
Pettersson, PaulSeceleanu, CristinaVulgarakis, Aneta
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 9 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf