Change search
ReferencesLink to record
Permanent link

Direct link
Using Improved Resource Interfaces to Formally Describe Adaptability in Embedded Systems
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0002-4300-885X
2009 (English)In: ACM SIGBED Review, ISSN 1551-3688, Vol. 6, no 3Article in journal (Refereed) Published
Abstract [en]

In embedded systems, timing and resource utilization are vital aspects, having impacts on the deployed software. In this paper, an extensible formal framework for modeling of resource usage and adaptability of software components is introduced. The formalism explicitly supports modeling resources of various types and in different ways; and the timing requirements that applications have. The models can be used as a basis for quantitative analysis, and in the extension as a basis for system synthesis. An example of usage of the formalism is given.

Place, publisher, year, edition, pages
2009. Vol. 6, no 3
Keyword [en]
resource interfaces, resource modeling, adaptivity, formal methods, middleware, QoS, embedded real-time systems, timed automata, DySCAS, DyLite
National Category
Engineering and Technology
URN: urn:nbn:se:kth:diva-121038DOI: 10.1145/1851340.1851350OAI: diva2:616458
2nd Workshop on Adaptive and Reconfigurable Systems (APRES), part of the Embedded Systems Week (ESWEEK), Grenoble, France, October 11, 2009

QC 20130514

Available from: 2013-04-16 Created: 2013-04-16 Last updated: 2013-05-27Bibliographically approved
In thesis
1. A Formalized Approach to Multi-View Components for Embedded Systems: Applied to Tool Integration, Run-Time Adaptivity and Architecture Exploration
Open this publication in new window or tab >>A Formalized Approach to Multi-View Components for Embedded Systems: Applied to Tool Integration, Run-Time Adaptivity and Architecture Exploration
2013 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

Development of embedded systems poses an increasing challenge fordevelopers largely due to increasing complexity. Several factors contribute tothe complexity challenge:

• the number of extra-functional properties applying to embedded systems,such as resource usage, timing effects, safety.

• the functionality of embedded systems, to a larger extent than for othersoftware, involves engineers from multiple different disciplines, such asmechanical, control, software, safety, systems and electrical engineers.Themulti-disciplinarity causes the development environments to consistof separate data, models and tools.

Several engineering paradigms to handle this complexity increase havebeen suggested, including methodologies focused on architecture, models andcomponents. In systems engineering, a long-standing approach has been todescribe the system in several views, each according to a certain viewpoint.By doing so, a divide-and-conquer strategy is applied to system concerns.Unfortunately, it is hard to always find completely independent concerns:there is always some semantic overlap between the different views. Modelbaseddesign (MBD) deals with building sound abstractions that can representa system under design and be used for analysis. Component-based design(CBD) focuses on how to build reusable component models with well-definedcomposition models.

In this thesis, a concept of formalized multi-viewed component models (MVCM) is proposed, which integrates the three above mentioned paradigms.Principles and guidelines for MV CMs are developed. One of the main challengesfor the proposition is to provide MV CMs that produce composabilityboth along component boundaries and viewpoint boundaries. To accomplishthis, the relations between viewpoints need to be explicitly taken into account.Further, the semantic relations between these viewpoints need to be explicitlymodeled in order to efficiently ensure that the views are kept consistent. Asa main contribution, this thesis presents the formalization of the conceptsneeded to build such component models. A proper formalization of multiviewedconcerns provides several opportunities. Given suitable tool support, itwill be feasible to automate architecture analysis and architecture exploration.

The thesis includes a number of case studies that provide insight andfeedback to the problem formulation and validating the results. The casestudies include a resource-aware reconfigurable middleware, a design of anarchitecture exploration methodology, and a windshield wiper system.

Place, publisher, year, edition, pages
Stockholm: KTH Royal Institute of Technology, 2013. xvii, 53 p.
Trita-MMK, ISSN 1400-1179 ; 2013:10
view, viewpoint, architecture, component, view integration, architecture exploration, component-based development, multi-view modeling, model-based design, CESAR, DySCAS, ESPRESSO
National Category
Embedded Systems
urn:nbn:se:kth:diva-122487 (URN)978-91-7501-805-8 (ISBN)
Public defence
2013-06-07, Gladan, Brinellvägen 85, KTH, Stockholm, 09:00 (English)

QC 20130527

Available from: 2013-05-27 Created: 2013-05-22 Last updated: 2013-05-27Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Persson, MagnusTörngren, Martin
By organisation
Embedded Control Systems
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
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

Altmetric score

Total: 44 hits
ReferencesLink to record
Permanent link

Direct link