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-2870-2680
Mälardalen University, School of Innovation, Design and Engineering. (Industrial Software Engineering)ORCID iD: 0000-0003-2383-7981
Mälardalen University, School of Innovation, Design and Engineering. (Real-Time Systems Modelling and Analysis)ORCID iD: 0000-0003-4040-3480
2009 (English)In: In Proc. of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), IEEE Computer Society, 2009, p. 84-94Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage,energy, communication, and computation. The model is a state-machine based behavioral language with support for hierarchical modeling, resource annotations, continuous time, and notions of explicit entry and exit points that make it suitable for component-based modeling of embedded systems.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 numberof important resource related analysis problems, including feasibility, trade-off, and optimal resource-utilization analysis.To formalize these problems and provide a basis for rigorous analysis, we show how to analyze REMES models using the framework of priced timed automata and weightedCTL. To illustrate the approach, we describe a case study inwhich it has been applied to model and analyze resource usageof a temperature control system.

Place, publisher, year, edition, pages
2009. p. 84-94
Keywords [en]
resource modeling, formal analysis, embedded systems, behavioral modeling
National Category
Engineering and Technology
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:mdh:diva-6552DOI: 10.1109/ICECCS.2009.49ISI: 000274786400010Scopus ID: 2-s2.0-70350061958ISBN: 978-1-4244-4483-0 (print)OAI: oai:DiVA.org:mdh-6552DiVA, id: diva2:227046
Conference
14th IEEE International Conference on Engineering Complex Computer Systems Location: Potsdam, GERMANY Date: JUN 02-04, 2009
Projects
PROGRESSSwedish Research Council (VR)European Union via the Q-ImPrESS research project (FP7-215013)Available from: 2009-07-08 Created: 2009-07-08 Last updated: 2014-01-16Bibliographically approved
In thesis
1. A Resource-Aware Component Model for Embedded Systems
Open this publication in new window or tab >>A Resource-Aware Component Model for Embedded Systems
2009 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Embedded systems are microprocessor-based systems that cover a large range of computer systems from ultra small computer-based devices to large systems monitoring and controlling complex processes. The particular constraints that must be met by embedded systems, such as timeliness, resource-use efficiency, short time-to-market and low cost, coupled with the increasing complexity of embedded system software, demand technologies and processes that will tackle these issues. An attractive approach to manage the software complexity, increase productivity, reduce time to market and decrease development costs, lies in the adoption of the component based software engineering (CBSE) paradigm. The specific characteristics of embedded systems lead to important design issues that need to be addressed by a component model. Consequently, a component model for development of embedded systems needs to systematically address extra-functional system properties. The component model should support predictable system development and as such guarantee absence or presence of certain properties. Formal methods can be a suitable solution to guarantee the correctness and reliability of software systems.

 

Following the CBSE spirit, in this thesis we introduce the ProCom component model for development of distributed embedded systems. ProCom is structured in two layers, in order to support both a high-level view of loosely coupled subsystems encapsulating complex functionality, and a low-level view of control loops with restricted functionality. These layers differ from each other in terms of execution model, communication style, synchronization etc., but also in kind of analysis which are suitable. To describe the internal behavior of a component, in a structured way, in this thesis we propose REsource Model for Embedded Systems (REMES) that describes both functional and extra-functional behavior of interacting embedded components. We also formalize the resource-wise properties of interest and show how to analyze such behavioral models against them.

Place, publisher, year, edition, pages
Västerås: Mälardalens högskola, 2009
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 108
Keywords
component based software engineering, formal modeling, embedded systems, resources, analysis, behavior, component model
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-6681 (URN)978-91-86135-37-9 (ISBN)
Presentation
2009-09-17, Zeta, Västerås, 14:15 (English)
Opponent
Supervisors
Projects
PROGRESS
Available from: 2009-08-25 Created: 2009-08-25 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Seceleanu, CristinaVulgarakis, AnetaPettersson, Paul

Search in DiVA

By author/editor
Seceleanu, CristinaVulgarakis, AnetaPettersson, Paul
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 53 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