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
A Resource-Aware Component Model for Embedded Systems
Mälardalens högskola, Akademin för innovation, design och teknik. (Industrial Software Engineering)ORCID-id: 0000-0003-2383-7981
2009 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalens högskola , 2009.
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 108
Nyckelord [en]
component based software engineering, formal modeling, embedded systems, resources, analysis, behavior, component model
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Datavetenskap
Identifikatorer
URN: urn:nbn:se:mdh:diva-6681ISBN: 978-91-86135-37-9 (tryckt)OAI: oai:DiVA.org:mdh-6681DiVA, id: diva2:232646
Presentation
2009-09-17, Zeta, Västerås, 14:15 (Engelska)
Opponent
Handledare
Projekt
PROGRESSTillgänglig från: 2009-08-25 Skapad: 2009-08-25 Senast uppdaterad: 2018-01-13Bibliografiskt granskad
Delarbeten
1. A Classification Framework for Component Models
Öppna denna publikation i ny flik eller fönster >>A Classification Framework for Component Models
2007 (Engelska)Ingår i: Proceedings of the 7th Conference on Software Engineering and Practice in Sweden, Göteborg, Sweden, 2007Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Nyckelord
component models, taxonomy.
Nationell ämneskategori
Datorsystem
Forskningsämne
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-6555 (URN)
Konferens
7th Conference on Software Engineering and Practice in Sweden, Göteborg, Sweden
Projekt
PROGRESS
Tillgänglig från: 2009-07-08 Skapad: 2009-07-08 Senast uppdaterad: 2015-09-14Bibliografiskt granskad
2. REMES: A Resource Model for Embedded Systems
Öppna denna publikation i ny flik eller fönster >>REMES: A Resource Model for Embedded Systems
2009 (Engelska)Ingår i: In Proc. of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), IEEE Computer Society, 2009, s. 84-94Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Nyckelord
resource modeling, formal analysis, embedded systems, behavioral modeling
Nationell ämneskategori
Teknik och teknologier
Forskningsämne
datavetenskap
Identifikatorer
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)
Konferens
14th IEEE International Conference on Engineering Complex Computer Systems Location: Potsdam, GERMANY Date: JUN 02-04, 2009
Projekt
PROGRESSSwedish Research Council (VR)European Union via the Q-ImPrESS research project (FP7-215013)
Tillgänglig från: 2009-07-08 Skapad: 2009-07-08 Senast uppdaterad: 2014-01-16Bibliografiskt granskad
3. A Component Model for Control-Intensive Distributed Embedded Systems
Öppna denna publikation i ny flik eller fönster >>A Component Model for Control-Intensive Distributed Embedded Systems
Visa övriga...
2008 (Engelska)Ingår i: Lecture Notes in Computer Science, vol. 5282, Springer, 2008, s. 310-317Kapitel i bok, del av antologi (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer, 2008
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 5282
Nyckelord
component model, embedded systems, control intensive
Nationell ämneskategori
Teknik och teknologier
Forskningsämne
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-6551 (URN)000261030000021 ()2-s2.0-70350521418 (Scopus ID)9783540878902 (ISBN)
Projekt
PROGRESS
Anmärkning

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

Tillgänglig från: 2009-07-08 Skapad: 2009-07-08 Senast uppdaterad: 2018-06-26Bibliografiskt granskad
4. Embedded Systems Resources: Views on Modeling and Analysis
Öppna denna publikation i ny flik eller fönster >>Embedded Systems Resources: Views on Modeling and Analysis
2008 (Engelska)Ingår i: Proceedings - International Computer Software and Applications Conference, 2008, s. 1321-1328Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Nyckelord
resources, embedded systems, resource modeling, analysis
Nationell ämneskategori
Programvaruteknik
Identifikatorer
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)
Konferens
32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008; Turku; Finland; 28 July 2008 through 1 August 2008
Projekt
PROGRESS
Tillgänglig från: 2009-03-06 Skapad: 2009-03-06 Senast uppdaterad: 2018-01-13Bibliografiskt granskad
5. Formal semantics of the ProCom real-time component model
Öppna denna publikation i ny flik eller fönster >>Formal semantics of the ProCom real-time component model
Visa övriga...
2009 (Engelska)Ingår i: Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications 2009. SEAA 09, 2009, s. 478-485Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Nyckelord
real-time systems; embedded systems; component model, finite state machines; timed automata
Forskningsämne
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-6553 (URN)10.1109/SEAA.2009.53 (DOI)000275857500069 ()2-s2.0-74549208521 (Scopus ID)978-076953784-9 (ISBN)
Konferens
EUROMICRO2009 - 35th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2009; Patras; 27 August 2009 through 29 August 2009
Projekt
PROGRESS
Tillgänglig från: 2009-07-08 Skapad: 2009-07-08 Senast uppdaterad: 2013-12-19Bibliografiskt granskad

Open Access i DiVA

fulltext(955 kB)837 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 955 kBChecksumma SHA-512
15153df3fac29a583abaa0f08d2bb0d7fbb0a6e53b87877a3b902099172c012f081d32140978d13a2b5b78c747ab6f6d8602d7a2e17642f09def05f327659ec0
Typ fulltextMimetyp application/pdf

Personposter BETA

Vulgarakis, Aneta

Sök vidare i DiVA

Av författaren/redaktören
Vulgarakis, Aneta
Av organisationen
Akademin för innovation, design och teknik
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 837 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 263 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