Towards the Automated Qualification of Tool Chain Design
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 (Refereed)
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.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 7613
Tool Integration, Qualification, Safety
IdentifiersURN: urn:nbn:se:kth:diva-102719DOI: 10.1007/978-3-642-33675-1_36ScopusID: 2-s2.0-84868111338ISBN: 978-3-642-33674-4OAI: oai:DiVA.org:kth-102719DiVA: diva2:556108
Workshop on Computer Safety, Reliability, and Security, SAFECOMP 2012; Magdeburg; 25 September 2012 through 28 September 2012
QC 201209272012-09-272012-09-242012-12-12Bibliographically approved