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
Case Studies on Integratin Simulink, UML and Safety Analysis through Model Transformations
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.).
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.).ORCID iD: 0000-0001-7048-0108
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.).ORCID iD: 0000-0002-4300-885X
2007 (English)Report (Other academic)
Place, publisher, year, edition, pages
Stockholm: KTH , 2007. no 12
Series
Trita-MMK, ISSN 1400-1179 ; 2007:12
National Category
Mechanical Engineering
Identifiers
URN: urn:nbn:se:kth:diva-7860ISRN: KTH/MMK/R-07/12-SEOAI: oai:DiVA.org:kth-7860DiVA: diva2:13006
Note
QC 20101116Available from: 2007-12-18 Created: 2007-12-18 Last updated: 2010-11-16Bibliographically approved
In thesis
1. Model and tool integration in high level design of embedded systems
Open this publication in new window or tab >>Model and tool integration in high level design of embedded systems
2007 (English)Licentiate thesis, comprehensive summary (Other scientific)
Abstract [en]

The development of advanced embedded systems requires a systematic approach as well as advanced tool support in dealing with their increasing complexity. This complexity is due to the increasing functionality that is implemented in embedded systems and stringent (and conflicting) requirements placed upon such systems from various stakeholders. The corresponding system development involves several specialists employing different modeling languages and tools. Integrating their work and the results thereof then becomes a challenge. In order to facilitate system architecting and design integration of different models, an approach that provides dedicated workspaces/views supported by structured information management and information exchange between domain models and tools is required.

This work is delimited to the context of embedded systems design and taking a model based approach. The goal of the work is to study possible technical solutions for integrating different models and tools, and to develop knowledge, support methods and a prototype tool platform.

To this end, this thesis examines a number of approaches that focus on the integration of multiple models and tools. Selected approaches are compared and characterized, and the basic mechanisms for integration are identified. Several scenarios are identified and further investigated in case studies. Two case studies have been performed with model transformations as focus. In the first one, integration of Matlab/Simulink® and UML2 are discussed with respect to the motivations, technical possibilities, and challenges. A preliminary mapping strategy, connecting a subset of concepts and constructs of Matlab/Simulink® and UML2, is presented together with a prototype implementation in the Eclipse environment. The second case study aims to enable safety analysis based on system design models in a UML description. A safety analysis tool, HiP-HOPS (Hierarchically Performed Hazard Origin and Propagation Studies), is partially integrated with a UML tool where an EAST-ADL2 based architecture model is developed. The experience and lessons learned from the experiments are reported in this thesis.

Multiple specific views are involved in the development of embedded systems. This thesis has studied the integration between system architecture design, function development and safety analysis through using UML tools, Matlab/Simulink, and HiP-HOPS. The results indicate that model transformations provide a feasible and promising solution for integrating multiple models and tools. The contributions are believed to be valid for a large class of advanced embedded systems. However, the developed transformations so far are not really scalable. A systematic approach for efficient development of model transformations is desired to standardize the design process and reuse developed transformations. To this end, future studies will be carried out to develop guidelines for model and tool integration and to provide support for structured information at both meta level and instance level.

Place, publisher, year, edition, pages
Stockholm: KTH, 2007. iv, 63 p.
Series
Trita-MMK, ISSN 1400-1179 ; 2007:10
Keyword
Model integration, Model transformation, Tool integration, Model based development, Embedded Systems
National Category
Mechanical Engineering
Identifiers
urn:nbn:se:kth:diva-4589 (URN)
Presentation
2007-12-20, Rum A425, KTH, Brinellvägen 83, Stockholm, 09:00
Opponent
Supervisors
Note
QC 20101116Available from: 2007-12-18 Created: 2007-12-18 Last updated: 2010-11-16Bibliographically approved

Open Access in DiVA

No full text

Authority records BETA

Chen, DeJiuTörngren, Martin

Search in DiVA

By author/editor
Shi, JianlinChen, DeJiuTörngren, Martin
By organisation
Machine Design (Dept.)
Mechanical Engineering

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 111 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