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
A Resource-Aware Component Model for Embedded Systems
Mälardalen University, School of Innovation, Design and Engineering. (Industrial Software Engineering)ORCID iD: 0000-0003-2383-7981
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
Keyword [en]
component based software engineering, formal modeling, embedded systems, resources, analysis, behavior, component model
National Category
Computer Science
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:mdh:diva-6681ISBN: 978-91-86135-37-9 (print)OAI: oai:DiVA.org:mdh-6681DiVA: diva2:232646
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: 2015-01-14Bibliographically approved
List of papers
1. A Classification Framework for Component Models
Open this publication in new window or tab >>A Classification Framework for Component Models
2007 (English)In: Proceedings of the 7th Conference on Software Engineering and Practice in Sweden, Göteborg, Sweden, 2007Conference paper, Published paper (Refereed)
Abstract [en]

The essence of component-based software engineering is embodied in component models. Component models specify the properties of components and the mechanism of component compositions. In a rapid growth, a plethora of different component models has been developed, using different technologies, having different aims, and using different principles. This has resulted in a number of models and technologies which have some similarities, but also principal differences, and in many cases unclear concepts. Component-based development has not succeeded in providing standard principles, as for example object-oriented development. In order to increase the understanding of the concepts, and to easier differentiate component models, this paper provides a Component Model Classification Framework which identifies and quantifies basic principles of component models. Further, the paper classifies a certain number of component models using this framework.

Keyword
component models, taxonomy.
National Category
Computer Systems
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-6555 (URN)
Conference
7th Conference on Software Engineering and Practice in Sweden, Göteborg, Sweden
Projects
PROGRESS
Available from: 2009-07-08 Created: 2009-07-08 Last updated: 2015-09-14Bibliographically approved
2. REMES: A Resource Model for Embedded Systems
Open this publication in new window or tab >>REMES: A Resource Model for Embedded Systems
2009 (English)In: In Proc. of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), IEEE Computer Society, 2009, 84-94 p.Conference 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.

Keyword
resource modeling, formal analysis, embedded systems, behavioral modeling
National Category
Engineering and Technology
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-6552 (URN)10.1109/ICECCS.2009.49 (DOI)000274786400010 ()2-s2.0-70350061958 (Scopus ID)978-1-4244-4483-0 (ISBN)
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
3. A Component Model for Control-Intensive Distributed Embedded Systems
Open this publication in new window or tab >>A Component Model for Control-Intensive Distributed Embedded Systems
Show others...
2008 (English)In: Lecture Notes in Computer Science, vol. 5282, Springer, 2008, 310-317 p.Chapter in book (Refereed)
Abstract [en]

In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for design and development of such embedded systems with the aim of using component-based development for decreasing the complexity in design and providing a ground for analyzing them and predict their properties, such as resource consumption and timing behavior. The two-layer model is used to efficiently cope with different design paradigms on different abstraction levels. The model is illustrated by an example from the vehicular domain.

Place, publisher, year, edition, pages
Springer, 2008
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 5282
Keyword
component model, embedded systems, control intensive
National Category
Engineering and Technology
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-6551 (URN)10.1007/978-3-540-87891-9-21 (DOI)000261030000021 ()2-s2.0-70350521418 (Scopus ID)978-354087890-2 (ISBN)
Projects
PROGRESS
Note

11th International Symposium on Component-Based Software Engineering, CBSE 2008; Karlsruhe; 14 October 2008 through 17 October 2008

Available from: 2009-07-08 Created: 2009-07-08 Last updated: 2016-06-03Bibliographically approved
4. Embedded Systems Resources: Views on Modeling and Analysis
Open this publication in new window or tab >>Embedded Systems Resources: Views on Modeling and Analysis
2008 (English)In: Proceedings - International Computer Software and Applications Conference, 2008, 1321-1328 p.Conference 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.

Keyword
resources, embedded systems, resource modeling, analysis
National Category
Software Engineering
Identifiers
urn:nbn:se:mdh:diva-5574 (URN)10.1109/COMPSAC.2008.215 (DOI)2-s2.0-51849184298 (Scopus ID)978-0-7695-3262-2 (ISBN)
Conference
32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008; Turku; Finland; 28 July 2008 through 1 August 2008
Projects
PROGRESS
Available from: 2009-03-06 Created: 2009-03-06 Last updated: 2014-05-22Bibliographically approved
5. Formal semantics of the ProCom real-time component model
Open this publication in new window or tab >>Formal semantics of the ProCom real-time component model
Show others...
2009 (English)In: Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications 2009. SEAA 09, 2009, 478-485 p.Conference paper, Published paper (Refereed)
Abstract [en]

ProCom is a new component model for real-timeand embedded systems, targeting the domains of vehicularand telecommunication systems. In this paper, we describehow the architectural elements of the ProCom componentmodel have been given a formal semantics. The semantics isgiven in a small but powerful finite state machine formalism,with notions of urgency, timing, and priorities. By definingthe semantics in this way, we (i) provide a rigorous and compactdescription of the modeling elements of ProCom, (ii) setthe ground for formal analysis using other formalisms, and(iii) provide an intuitive and useful description for bothpractitioners and researchers. To illustrate the approach,we exemplify with a number of particularly interestingcases, ranging from ports and services to components andcomponent hierarchies.

Keyword
real-time systems; embedded systems; component model, finite state machines; timed automata
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-6553 (URN)10.1109/SEAA.2009.53 (DOI)000275857500069 ()2-s2.0-74549208521 (Scopus ID)978-076953784-9 (ISBN)
Conference
EUROMICRO2009 - 35th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2009; Patras; 27 August 2009 through 29 August 2009
Projects
PROGRESS
Available from: 2009-07-08 Created: 2009-07-08 Last updated: 2013-12-19Bibliographically approved

Open Access in DiVA

fulltext(955 kB)701 downloads
File information
File name FULLTEXT01.pdfFile size 955 kBChecksum SHA-512
15153df3fac29a583abaa0f08d2bb0d7fbb0a6e53b87877a3b902099172c012f081d32140978d13a2b5b78c747ab6f6d8602d7a2e17642f09def05f327659ec0
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Vulgarakis, Aneta
By organisation
School of Innovation, Design and Engineering
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 701 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 206 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