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 Component Model for Control-Intensive Distributed Embedded Systems
Mälardalens högskola, Akademin för innovation, design och teknik. (Industrial Software Engineering)ORCID-id: 0000-0003-0165-3743
Mälardalens högskola, Akademin för innovation, design och teknik. (Industrial Software Engineering)ORCID-id: 0000-0003-2383-7981
Mälardalens högskola, Akademin för innovation, design och teknik.
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0002-8461-0230
Visa övriga samt affilieringar
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. s. 310-317
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 5282
Nyckelord [en]
component model, embedded systems, control intensive
Nationell ämneskategori
Teknik och teknologier
Forskningsämne
datavetenskap
Identifikatorer
URN: urn:nbn:se:mdh:diva-6551ISI: 000261030000021Scopus ID: 2-s2.0-70350521418ISBN: 9783540878902 (tryckt)OAI: oai:DiVA.org:mdh-6551DiVA, id: diva2:227045
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
Ingår i avhandling
1. A Resource-Aware Component Model for Embedded Systems
Öppna denna publikation i ny flik eller fönster >>A Resource-Aware Component Model for Embedded Systems
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
component based software engineering, formal modeling, embedded systems, resources, analysis, behavior, component model
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-6681 (URN)978-91-86135-37-9 (ISBN)
Presentation
2009-09-17, Zeta, Västerås, 14:15 (Engelska)
Opponent
Handledare
Projekt
PROGRESS
Tillgänglig från: 2009-08-25 Skapad: 2009-08-25 Senast uppdaterad: 2018-01-13Bibliografiskt granskad
2. Towards Efficient Component-Based Software Development of Distributed Embedded Systems
Öppna denna publikation i ny flik eller fönster >>Towards Efficient Component-Based Software Development of Distributed Embedded Systems
2009 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
Ort, förlag, år, upplaga, sidor
Västerås: Mälardalens högskola, 2009
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 111
Nyckelord
Embedded System Development, Component-Based Software Engineering, Component Model, Extra-Functional Properties
Nationell ämneskategori
Programvaruteknik
Forskningsämne
datavetenskap
Identifikatorer
urn:nbn:se:mdh:diva-7368 (URN)978-91-86135-43-0 (ISBN)
Presentation
2009-11-03, Gamma, Mälardalens Högskola, Västerås, 15:00 (Engelska)
Opponent
Handledare
Projekt
Progress
Tillgänglig från: 2009-10-16 Skapad: 2009-10-12 Senast uppdaterad: 2018-01-12Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Scopus

Personposter BETA

Sentilles, SéverineVulgarakis, AnetaCarlson, JanCrnkovic, Ivica

Sök vidare i DiVA

Av författaren/redaktören
Sentilles, SéverineVulgarakis, AnetaCarlson, JanCrnkovic, Ivica
Av organisationen
Akademin för innovation, design och teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

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