Change search
ReferencesLink to record
Permanent link

Direct link
Early Automated Verification of Tool Chain Design
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
2012 (English)In: Computational Science And Its Applications - ICCSA 2012, PT IV / [ed] Murgante, B; Gervasi, O; Misra, S; Nedjah, N; Rocha, AMAC; Taniar, D; Apduhan, BO, Springer Berlin/Heidelberg, 2012, 40-50 p.Conference paper (Refereed)
Abstract [en]

Tool chains are expected to increase the productivity of product development by providing automation and integration. If, however, the tool chain does not have the features required to support the product development process, it falls short of this expectation. Tool chains could reach their full potential if it could be ensured that the features of a tool chain are aligned with the product development process. As part of a systematic development approach for tool chains, we propose a verification method that measures the extent to which a tool chain design conforms to the product development process and identifies misalignments. The verification method can be used early in tool chain development, when it is relatively easy and cheap to perform the necessary corrections. Our verification method is automated, which allows for quick feedback and enables iterative design. We apply the proposed method on an industrial tool chain, where it is able to identify improvements to the design of the tool chain.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2012. 40-50 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 7336
Keyword [en]
Tool Integration, Process Modeling, Verification, Model-driven Development
National Category
Software Engineering
URN: urn:nbn:se:kth:diva-91911DOI: 10.1007/978-3-642-31128-4_4ISI: 000308289700004ScopusID: 2-s2.0-84863964079ISBN: 978-3-642-31127-7OAI: diva2:511517
12th International Conference on Computational Science and Its Applications (ICCSA) Location: Salvador de Bahia, Brazil Date: JUN 18-21, 2012

QC 20121106

Available from: 2012-03-21 Created: 2012-03-21 Last updated: 2013-09-16Bibliographically approved
In thesis
1. A Modeling Language for the Description and Development of Tool Chains for Embedded Systems
Open this publication in new window or tab >>A Modeling Language for the Description and Development of Tool Chains for Embedded Systems
2013 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

The development of embedded systems is typically supported by a number of diverse development tools. To achieve seamless tool support throughout the embedded systems development process, tool chains are constructed as software solutions that integrate the development tools. Tool chains have grown from ad-hoc solutions to complex software systems, since they need to support distributed engineering, integration conventions, a specific set of tools and the complete product development process used in a company. In practice, the development of tool chains that fulfill these needs is difficult and time-consuming, since it is a largely unsupported, manual engineering task. In addition, tool chains are typically described using general purpose modeling languages or languages borrowed from other domains, which contributes to the accidental complexity of tool chain development. Due to the increasing sophistication and size of tool chains, there is a need for a systematic, targeted description and development approach for tool chains.

This thesis contributes with a language for the systematic description of tool chains and semi-automated techniques to support their development.

The Tool Integration Language (TIL) is a domain-specific modeling language (DSML) for tool chains that allows describing tool chains explicitly, systematically and at an appropriate level of abstraction. TIL concepts are from the domain of tool integration and express the essential design decisions of tool chains at an architectural level of abstraction. A TIL model serves as a basis for the development of a tailored tool chain.

Semi-automated techniques for the specification, analysis and synthesis support the development of tool chains that are described as TIL models. Specification techniques support the creation and refinement of a tool chain model that is aligned to a given development process and set of tools. Domain-specific analysis techniques are used to check the alignment of the tool chain model with the supported process. Synthesis techniques support the efficient realization of the specified tool chain model as a software solution that conforms to integration conventions.

Experiences from case studies are presented which apply TIL to support the creation of tool chains. The approach is evaluated, both qualitatively and quantitatively, by comparing it to traditional development methods for tool chains. The approach enables the efficient development of tailored tool chains, which have the potential to improve the productivity of embedded systems development.

Place, publisher, year, edition, pages
Stockholm: KTH Royal Institute of Technology, 2013. xvii, 107 p.
Trita-MMK, ISSN 1400-1179 ; 2012:09
Tool Chain, Tool Integration, Domain-Specific Modeling Language, Generative Approach, Lifecycle Support for Embedded System Development
National Category
Computer Systems
urn:nbn:se:kth:diva-109303 (URN)978-91-7501-426-5 (ISBN)
Public defence
2013-01-17, F3, Lindstedtsvägen 26, KTH, Stockholm, 10:00 (English)

QC 20130107

Available from: 2013-01-07 Created: 2012-12-31 Last updated: 2013-01-07Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Biehl, Matthias
By organisation
Software Engineering

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: 81 hits
ReferencesLink to record
Permanent link

Direct link