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
Embedded Systems Resources: Views on Modeling and Analysis
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-2870-2680
2008 (English)In: Proceedings - International Computer Software and Applications Conference, 2008, p. 1321-1328Conference paper, Published paper (Refereed)
Abstract [en]

The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of the system's resource consumption, starting at early design stages. In this paper, we glance through several representative frameworks that model and estimate resource usage of embedded systems, pointing out advantages and limitations. In the end, we describe our own view on how to model and carry out formal analysis of embedded resources, along with developing the system.

Place, publisher, year, edition, pages
2008. p. 1321-1328
Keywords [en]
resources, embedded systems, resource modeling, analysis
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-5574DOI: 10.1109/COMPSAC.2008.215Scopus ID: 2-s2.0-51849184298ISBN: 978-0-7695-3262-2 (print)OAI: oai:DiVA.org:mdh-5574DiVA, id: diva2:201969
Conference
32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008; Turku; Finland; 28 July 2008 through 1 August 2008
Projects
PROGRESSAvailable from: 2009-03-06 Created: 2009-03-06 Last updated: 2018-01-13Bibliographically 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

Vulgarakis, AnetaSeceleanu, Cristina

Search in DiVA

By author/editor
Vulgarakis, AnetaSeceleanu, Cristina
By organisation
School of Innovation, Design and Engineering
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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