Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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 Characterization of Integrated Multi-View Modeling for Embedded Systems
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Embedded Control Systems.ORCID iD: 0000-0002-4300-885X
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-9655-7326
Show others and affiliations
(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: urn:nbn:se:kth:diva-122485OAI: oai:DiVA.org:kth-122485DiVA: diva2:622665
Note

QS 2013

Available from: 2013-05-22 Created: 2013-05-22 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.
Series
Trita-MMK, ISSN 1400-1179 ; 2013:10
Keyword
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: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)
Opponent
Supervisors
Note

QC 20130527

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

Open Access in DiVA

No full text

Authority records BETA

Törngren, MartinWestman, Jonas

Search in DiVA

By author/editor
Persson, MagnusTörngren, MartinQamar, AhsanWestman, JonasBiehl, Matthias
By organisation
Embedded Control Systems
Embedded SystemsEmbedded Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 176 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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