Change search
ReferencesLink to record
Permanent link

Direct link
A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-2383-7981
2012 (English)Doctoral thesis, monograph (Other academic)
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.

Place, publisher, year, edition, pages
Västerås: Mälardalen University , 2012.
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 122
Keyword [en]
component-based development, formal analysis, embedded systems, resource prediction, behavioral modeling, architectural modeling, tools, resource-aware framework
National Category
Software Engineering
Research subject
Computer Science
URN: urn:nbn:se:mdh:diva-14558ISBN: 978-91-7485-068-0OAI: diva2:524736
Public defence
2012-06-15, Kappa, Mälardalen University, Västerås, 14:00 (English)
Available from: 2012-05-03 Created: 2012-05-03 Last updated: 2013-12-19Bibliographically approved

Open Access in DiVA

fulltext(5293 kB)820 downloads
File information
File name FULLTEXT01.pdfFile size 5293 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Vulgarakis, Aneta
By organisation
School of Innovation, Design and Engineering
Software Engineering

Search outside of DiVA

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

Direct link