Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Formalized Approach to Multi-View Components for Embedded Systems: Applied to Tool Integration, Run-Time Adaptivity and Architecture Exploration
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.
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.
Series
Trita-MMK, ISSN 1400-1179 ; 2013:10
Keyword [en]
view, viewpoint, architecture, component, view integration, architecture exploration, component-based development, multi-view modeling, model-based design, CESAR, DySCAS, ESPRESSO
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-122487ISBN: 978-91-7501-805-8 (print)OAI: oai:DiVA.org:kth-122487DiVA: diva2:622668
Public defence
2013-06-07, Gladan, Brinellvägen 85, KTH, Stockholm, 09:00 (English)
Opponent
Supervisors
Note

QC 20130527

Available from: 2013-05-27 Created: 2013-05-22 Last updated: 2013-05-27Bibliographically approved
List of papers
1. Using Improved Resource Interfaces to Formally Describe Adaptability in Embedded Systems
Open this publication in new window or tab >>Using Improved Resource Interfaces to Formally Describe Adaptability in Embedded Systems
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.

Keyword
resource interfaces, resource modeling, adaptivity, formal methods, middleware, QoS, embedded real-time systems, timed automata, DySCAS, DyLite
National Category
Engineering and Technology
Identifiers
urn:nbn:se:kth:diva-121038 (URN)10.1145/1851340.1851350 (DOI)
Conference
2nd Workshop on Adaptive and Reconfigurable Systems (APRES), part of the Embedded Systems Week (ESWEEK), Grenoble, France, October 11, 2009
Note

QC 20130514

Available from: 2013-04-16 Created: 2013-04-16 Last updated: 2013-05-27Bibliographically approved
2. A Multi-Viewpoint Architecture Exploration Methodology for Embedded Systems
Open this publication in new window or tab >>A Multi-Viewpoint Architecture Exploration Methodology for Embedded Systems
Show others...
2013 (English)Report (Other academic)
Abstract [en]

Architecture exploration is increasingly important as a design approach for embeddedsystems. In this paper, we present an architecture exploration methodology especiallysuited for multi-viewpoint systems, based on 8 different key tasks: preparation, baselinedesign, design variability modeling, selection of search space, architecture analysis, tradeoffanalysis & design, and documentation. The methodology is exemplified and validatedthrough a concrete aerospace case study.

Publisher
29 p.
Series
Trita-MMK, ISSN 1400-1179 ; 2013:09
National Category
Embedded Systems
Identifiers
urn:nbn:se:kth:diva-122482 (URN)
Note

QC 20130527

Available from: 2013-05-22 Created: 2013-05-22 Last updated: 2013-05-27Bibliographically approved
3. A Characterization of Integrated Multi-View Modeling for Embedded Systems
Open this publication in new window or tab >>A Characterization of Integrated Multi-View Modeling for Embedded Systems
Show others...
(English)Manuscript (preprint) (Other academic)
Abstract [en]

Embedded systems, with their tight technology integration, andmultiple requirements andstakeholders, are characterized by tightly interrelated processes, information and tools.Embedded systems will as a consequence be described by multiple, heterogeneous andinterrelated descriptions such as for example requirements documents, design and analysismodels, software and hardware descriptions. We refer to a system designed this way as amulti-view (MV) system.

The main contribution of this paper is a characterization of model-based approachesto MV systems. The characterization takes three main perspectives: semantic relationsbetween views (content), relations over time (process), and manipulation of views (operations).We complement these perspectives by investigating MV system challenges and bya survey of related approaches. The characterization aims to provide a basis for a betterunderstanding, design and implementation of MV systems, and thereby to overcome thecurrent fragmented points of view on integrated multi-view modeling (MVM).

National Category
Embedded Systems Embedded Systems
Identifiers
urn:nbn:se:kth:diva-122485 (URN)
Note

QS 2013

Available from: 2013-05-22 Created: 2013-05-22 Last updated: 2013-05-27Bibliographically approved
4. Multi-Viewed Components
Open this publication in new window or tab >>Multi-Viewed Components
Show others...
2013 (English)Report (Other academic)
Abstract [en]

In this report, we present a concept for generic multi-viewed component models based on modular  and (de)composable viewpoints.   By decomposing systems not only along component but also viewpoint borders, a family of multi-viewed component models is proposed. Semantic relations between the viewpoints are modeled in order to be able to ensure e.g. consistency between separate but semantically partly  overlapping views.  We also characterize different types of relations between viewpoints in order to see how the choice of viewpoints in the component model influences the complexity of multi-viewed components. Finally we provide an example and describe how the concepts presented can be applied in practice.

 

Publisher
41 p.
Series
TRITA-MMK, ISSN 1400-1179 ; 2013:08
National Category
Embedded Systems
Identifiers
urn:nbn:se:kth:diva-122486 (URN)
Note

QC 20130527

Available from: 2013-05-22 Created: 2013-05-22 Last updated: 2014-01-21Bibliographically approved

Open Access in DiVA

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

Search in DiVA

By author/editor
Persson, Magnus
By organisation
Embedded Control Systems
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 917 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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 714 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf