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
Towards the Automated Qualification of Tool Chain Design
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0001-5704-4504
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0002-7842-1599
2012 (English)In: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012, Proceedings, Springer Berlin/Heidelberg, 2012, 392-399 p.Conference paper, Published paper (Refereed)
Abstract [en]

The development of safety-critical embedded systems is supported by a number of development tools, which are increasingly integrated into automated tool chains. Safety standards require these tool chains to be qualified, which is costly and requires a large effort. To reduce cost and effort tool chains can be composed of pre-qualified tools and then themselves pre-qualified by identifying the parts of tool chain software that have an impact on safety more exactly. In this paper we propose the use of a modeling language to describe this tool chain composition. This allows us to reduce effort even further by automatically analyzing the tool chain model for safety issues. It also promises to reduce the effort and cost of later steps in the deployment of the tool chain by formalizing the communication of safety issues and automating the generation of code for tool chain software.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2012. 392-399 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7613
Keyword [en]
Tool Integration, Qualification, Safety
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-102719DOI: 10.1007/978-3-642-33675-1_36Scopus ID: 2-s2.0-84868111338ISBN: 978-3-642-33674-4 (print)OAI: oai:DiVA.org:kth-102719DiVA: diva2:556108
Conference
Workshop on Computer Safety, Reliability, and Security, SAFECOMP 2012; Magdeburg; 25 September 2012 through 28 September 2012
Projects
MBAT
Funder
Vinnova
Note

QC 20120927

Available from: 2012-09-27 Created: 2012-09-24 Last updated: 2012-12-12Bibliographically approved

Open Access in DiVA

fulltext(208 kB)152 downloads
File information
File name FULLTEXT01.pdfFile size 208 kBChecksum SHA-512
d7f257151d87690dec20dd2f2c27228ec3fd1e87444813688095bafb44d22211fcb596a5ce0686ec45f493ee2d95209221216d03e006ddd1914764bd93679d65
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopusSpringerlink.com

Authority records BETA

Asplund, FredrikLoiret, Frederic

Search in DiVA

By author/editor
Asplund, FredrikBiehl, MatthiasLoiret, Frederic
By organisation
Mechatronics
Embedded Systems

Search outside of DiVA

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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 144 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