Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Biehl, M.: Tool Integration Language. Technical Report ISRN/KTH/MMK/R-11/16-SE, Royal Institute of Technology (KTH) (September 2011)
Biehl, M.: Early Automated Verification of Tool Chain Design. In: Murgante, B., Gervasi, O., Misra, S., Nedjah, N., Rocha, A.M.A.C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2012, Part IV. LNCS, vol. 7336, pp. 40–50. Springer, Heidelberg (2012)
CENELEC. BS/EN 50128:2001, railway applications - communications, signalling and processing systems - software for railway control and protection systems (2001)
International Electrotechnical Commission. BS/IEC 61508:2010, functional safety of electrical/electronic/programmable electronic safety-related systems
Asplund, F., El-khoury, J., Törngren, M.: Qualifying Software Tools, a Systems Approach. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 340–351. Springer, Heidelberg (2012)
Biehl, et al.: A Domain Specific Language for Generating Tool Integration Solutions. In: 4th Workshop on Model-Driven Tool & Process Integration at the European Conference on Modelling Foundations and Applications (June 2011)
Biehl, et al.: High-Level Specification and Code Generation for Service-Oriented Tool Adapters. In: Proceedings of ICCSA 2012 (June 2012)
Christie, et al.: Software Process Automation: Interviews, Survey, and Workshop Results. Technical report, SEI (1997)
Conrad, et al.: Qualifying software tools according to ISO 26262. In: Proceedings of MBEES 2010 (February 2010)
Hamann, et al.: ISO 26262 release just ahead - remaining problems and proposals for solutions. In: SAE 2011 World Congress & Exhibition (April 2011)
International Organization for Standardization. ISO 26262:2011, road vehicles - functional safety (2011)
Special Committee 205 of RTCA. DO-178C, software considerations in airborne systems and equipment certification (2011)
Special Committee 205 of RTCA. DO-330, software tool qualification considerations (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asplund, F., Biehl, M., Loiret, F. (2012). Towards the Automated Qualification of Tool Chain Design. In: Ortmeier, F., Daniel, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7613. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33675-1_36
Download citation
DOI: https://doi.org/10.1007/978-3-642-33675-1_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33674-4
Online ISBN: 978-3-642-33675-1
eBook Packages: Computer ScienceComputer Science (R0)