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
Embedded Systems Resources: Views on Modeling and Analysis
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. (Real-Time Systems Modelling and Analysis)ORCID-id: 0000-0003-2870-2680
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.

Ort, förlag, år, upplaga, sidor
2008. s. 1321-1328
Nyckelord [en]
resources, embedded systems, resource modeling, analysis
Nationell ämneskategori
Programvaruteknik
Identifikatorer
URN: urn:nbn:se:mdh:diva-5574DOI: 10.1109/COMPSAC.2008.215Scopus ID: 2-s2.0-51849184298ISBN: 978-0-7695-3262-2 (tryckt)OAI: oai:DiVA.org:mdh-5574DiVA, id: diva2:201969
Konferens
32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008; Turku; Finland; 28 July 2008 through 1 August 2008
Projekt
PROGRESSTillgänglig från: 2009-03-06 Skapad: 2009-03-06 Senast uppdaterad: 2018-01-13Bibliografiskt 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

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Vulgarakis, AnetaSeceleanu, Cristina

Sök vidare i DiVA

Av författaren/redaktören
Vulgarakis, AnetaSeceleanu, Cristina
Av organisationen
Akademin för innovation, design och teknik
Programvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

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