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. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Asplund, F., Biehl, M., & Loiret, F. (2012). Towards the automated qualification of tool chain design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7613 LNCS, pp. 392–399). https://doi.org/10.1007/978-3-642-33675-1_36
Mendeley helps you to discover research relevant for your work.