kth.sePublications
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
Model and tool integration in high level design of embedded systems
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Machine Design (Div.).
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. , p. iv, 63
Series
Trita-MMK, ISSN 1400-1179 ; 2007:10
Keywords [en]
Model integration, Model transformation, Tool integration, Model based development, Embedded Systems
National Category
Mechanical Engineering
Identifiers
URN: urn:nbn:se:kth:diva-4589OAI: oai:DiVA.org:kth-4589DiVA, id: diva2:13007
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: 2022-06-26Bibliographically approved
List of papers
1. Combined usage of UML and Simulink in the Design of Embedded Systems: Investigating Scenarios and Structural and Behavioural Mapping
Open this publication in new window or tab >>Combined usage of UML and Simulink in the Design of Embedded Systems: Investigating Scenarios and Structural and Behavioural Mapping
Show others...
2007 (English)In: On the 4th workshop of ObjectorientedModeling of Embedded Real-time Systems, Paderborn, Germany, Oct. 2007, 2007Conference paper, Published paper (Refereed)
Abstract [en]

The multidisciplinary nature of advanced embed-ded systems requires a combined usage of several tools and modeling languages in systems develop-ment. We investigate the needs and some of the pos-sibilities in simultaneous usage of Matlab/Simulink and UML. Structural and behavioral mappings are explored considering the needs for models at differ-ent abstraction level as well as environment models. The representation and mapping between behavioral models, including discrete-time, event-triggered, and continuous time systems is of special concern and solutions are discussed

National Category
Mechanical Engineering
Identifiers
urn:nbn:se:kth:diva-7859 (URN)
Conference
4th workshop of ObjectorientedModeling of Embedded Real-time Systems
Note

QC 20101116

Available from: 2007-12-18 Created: 2007-12-18 Last updated: 2022-06-26Bibliographically approved
2. Case Studies on Integratin Simulink, UML and Safety Analysis through Model Transformations
Open this publication in new window or tab >>Case Studies on Integratin Simulink, UML and Safety Analysis through Model Transformations
2007 (English)Report (Other academic)
Place, publisher, year, edition, pages
Stockholm: KTH, 2007
Series
Trita-MMK, ISSN 1400-1179 ; 2007:12
National Category
Mechanical Engineering
Identifiers
urn:nbn:se:kth:diva-7860 (URN)KTH/MMK/R-07/12-SE (ISRN)
Note
QC 20101116Available from: 2007-12-18 Created: 2007-12-18 Last updated: 2022-06-26Bibliographically approved

Open Access in DiVA

fulltext(1674 kB)1760 downloads
File information
File name FULLTEXT01.pdfFile size 1674 kBChecksum SHA-1
0a1b6b7b1d4047c6659502f85248a140e532e3c74812ed56da0f8110227c8f8af2147fb5
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Shi, Jianlin
By organisation
Machine Design (Div.)
Mechanical Engineering

Search outside of DiVA

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

urn-nbn

Altmetric score

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