mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
REMES: A Resource Model for Embedded Systems
Mälardalens högskola, Akademin för innovation, design och teknik. (Real-Time Systems Modelling and Analysis)ORCID-id: 0000-0003-4040-3480
Mälardalens högskola, Akademin för innovation, design och teknik. (Real-Time Systems Modelling and Analysis)ORCID-id: 0000-0003-2870-2680
Mälardalens högskola, Akademin för innovation, design och teknik. (Industrial Software Engineering)ORCID-id: 0000-0003-2383-7981
2008 (Engelska)Rapport (Övrigt vetenskapligt)
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. 

Ort, förlag, år, upplaga, sidor
2008.
Serie
MRTC report, ISSN 1404-3041
Nyckelord [en]
PROGRESS
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-6560ISRN: MDH-MRTC-232/2008-1-SEOAI: oai:DiVA.org:mdh-6560DiVA, id: diva2:227054
Tillgänglig från: 2009-07-09 Skapad: 2009-07-09 Senast uppdaterad: 2014-02-04Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

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

Personposter BETA

Pettersson, PaulSeceleanu, CristinaVulgarakis, Aneta

Sök vidare i DiVA

Av författaren/redaktören
Pettersson, PaulSeceleanu, CristinaVulgarakis, Aneta
Av organisationen
Akademin för innovation, design och teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 12 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf