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 Framework for Designing Predictable Component-Based Embedded Systems
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-2383-7981
2012 (Engelska)Doktorsavhandling, monografi (Övrigt vetenskapligt)
Abstract [en]

Managing complexity is an increasing challenge in the development of embedded systems (ES). Some of the factors contributing to the increase in complexity are the growing complexity of hardware and software, and the increased pressure to deliver full-featured products with reduced time-to-market. An attractive approach to manage the software complexity, reduce time-to-market and decrease development costs lies in the adoption of component-based development that has been proven as a successful approach in other domains. Another raising challenge, due to complexity increase, in ES, is predictability, i.e., the ability to anticipate the behavior of a system at run-time. The particular predictability requirements of ES call for a development framework equipped with techniques and tools that can be applied to deal with requirements, such as timing, and resource utilization, already at early-stage of development. Modeling and formal analysis play increasingly important roles in achieving predictability, since they can help us to understand how systems function, validate the design and verify some important properties.

In this thesis, we present a resource-aware framework for designing predictable component-based ES. The proposed framework consists of (i) the formally specified ProCom component model that takes into account the characteristics of control-intensive ES, and (ii) the resource-aware timed behavioral language - REMES for modeling and reasoning about components’ and systems’ functional and extra-functional behavior that includes relevant resource types for ES, associated analysis techniques for various resource-wise properties, and a set of associated tools. To demonstrate the potential application of our framework, we present a number of case studies, out of which one is an industrial research prototype, where ProCom and REMES are applied.

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalen University , 2012.
Serie
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 122
Nyckelord [en]
component-based development, formal analysis, embedded systems, resource prediction, behavioral modeling, architectural modeling, tools, resource-aware framework
Nationell ämneskategori
Programvaruteknik
Forskningsämne
datavetenskap
Identifikatorer
URN: urn:nbn:se:mdh:diva-14558ISBN: 978-91-7485-068-0 (tryckt)OAI: oai:DiVA.org:mdh-14558DiVA, id: diva2:524736
Disputation
2012-06-15, Kappa, Mälardalen University, Västerås, 14:00 (Engelska)
Opponent
Handledare
Projekt
PROGRESSTillgänglig från: 2012-05-03 Skapad: 2012-05-03 Senast uppdaterad: 2018-01-12Bibliografiskt granskad

Open Access i DiVA

fulltext(5293 kB)1058 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 5293 kBChecksumma SHA-512
9adc6bc0a4d68228e6f20ea2e795596e63087a155c2981147551f25e774581b257f642848cf61c5c75bac20aa899e5c4728d750531df32fbeb212c09b7171c65
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
Programvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 1058 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: 1072 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