Change search
ReferencesLink to record
Permanent link

Direct link
Software and hardware models in component-based development of embedded systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. University of Zagreb. (Software Engineering Division)ORCID iD: 0000-0003-4035-8763
2015 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

As modern embedded systems grow in complexity component-based development is an increasingly attractive approach to make the development of such systems simpler and less error prone. In this approach software systems are built by composing them out of prefabricated software components. One of the challenges for applying component-based development to embedded systems is the tight coupling between the software and the hardware platform. To take full advantage of the component-based approach in the embedded domain, the development process has to provide support for describing and handling this coupling.

The goal of this thesis is to provide advancements in development of embedded component-based systems by using a combination of software and hardware models. To achieve the overall research goal, three different aspects are investigated: (i) how to provide support for integration of sensors and actuators in component-based development, (ii) how to utilize a combination of software and hardware models in development of distributed systems, and (iii) how to analyze extra-functional system properties using models of both software and hardware. The thesis goal is addressed by following contributions: (i) a component-based model which allows describing sensors and actuators, and how they are connected to the processing nodes and software components, (ii) a method for automatic synthesis of code for communication with sensors and actuators, (iii) a framework for automatic generation of distributed communication in component-based models and (iv) a compositional model-level analysis of timing and processing node utilization for component-based applications. These contributions are evaluated in separation, by applying prototype tools to either example systems, case-studies, or test scenarios.

Place, publisher, year, edition, pages
Västerås: Mälardalen University , 2015.
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 170
National Category
Computer Systems
Research subject
Computer Science
URN: urn:nbn:se:mdh:diva-26822ISBN: 978-91-7485-180-9OAI: diva2:768272
Public defence
2015-01-27, Gamma, Högskoleplan 1, Västerås, 13:00 (English)

This is an international double degree doctoral thesis.

Available from: 2014-12-08 Created: 2014-12-03 Last updated: 2015-01-14Bibliographically approved

Open Access in DiVA

fulltext(2519 kB)437 downloads
File information
File name FULLTEXT03.pdfFile size 2519 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Lednicki, Luka
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 445 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: 712 hits
ReferencesLink to record
Permanent link

Direct link