Abstract
In this paper we describe the model-based approach to tool qualification starting from the process model for the determination of the qualification need until the model for test and qualification. The model-based approach can automate many steps from checking the syntactical requirements completeness until the determination whether all requirements have been implemented and successfully tested. Many required documents like the “Tool Requirements Specification” or “Tool Test Specification” can be generated from the model. The model-based approach has been shown to fulfill all requirements from the DO-330 standard which describes tool qualification for avionic, automotive and other industries. Therefore the Eclipse Foundation has chosen this standard and proposed a roadmap to provide support for the development of qualifiable Eclipse-based tools. This paper describes the model-based approach and the roadmap of Eclipse to support this process.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
International Electrotechnical Commission, IEC 61508, Functional safety of electrical/electronic/programmable electronic safety-related systems, 2nd edn, April 2010
Automotive Eclipse Automotive Industrial Working Group for tool qualification. http://wiki.eclipse.org/Auto_IWG_WP5
Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Safety-Critical Systems Symposium, Birmingham, February 1998. http://www.adelard.com/resources/papers/pdf/sss98web.pdf (1998)
An open source glass-box testing tool. http://codecover.org/
RTCA. DO-330: Software Tool Qualification Considerations, 1st edn, 13 December 2011
The Eclipse Modeling Framework. http://www.eclipse.org/modeling/emf/
Code Review Tool for Git. http://code.google.com/p/gerrit/
Eclipse (Proposal): How-To Qualify Eclipse-Based Tools, Version 1.0, to be published when reviewed
Hillebrand, J., Reichenpfader, P., Mandic, I., Siegl, H., Peer, C.: Establishing confidence in the usage of software tools in context of ISO 26262. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 257–269. Springer, Heidelberg (2011)
International Organization for Standardization. ISO 26262 Road Vehicles –Functional safety–, 1st edn, 15 November 2011
Rushby, J.: New challenges in certification for aircraft software. In: EMSOFT’11, 9–14 October 2011, Taipei (2011)
Tool Chain Analyzer Tool. http://www.validas.de/TCA.html
Eclipse (Proposal): Tool Development Plan for every Qualifiable Eclipse Plugin, Version 1.0, to be published when reviewed
Eclipse (Proposal): Tool Verification Plan for every Qualifiable Eclipse Plugin, Version 1.0, to be published when reviewed
Wildmoser, M., Philipps, J., Jeschull, R., Slotosch, O., Zalman, R.: ISO 26262 - Tool chain analysis reduces tool qualification costs. In: SAFECOMP (2012)
Acknowledgments
We would like to thank the Eclipse Foundation and it’s automotive industrial working group for supporting us in the development, especially Mario Driussi. Furthermore we like to thank Stefan Dirix and Natacha Tchebetchou for their contributions to the roadmap and BMW CarIT (Michael Rudorfer und Tilmann Ochs) to support the development of the demonstrator. For review comments we would like Jan Philipps and the unknown reviewers of this paper.
Especially we would like to thank all authors of the DO-330 to provide the first general safety standard for tool qualification that could be adopted for Eclipse so easily.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Slotosch, O. (2014). Model-Based Tool Qualification. In: Cerone, A., et al. Information Technology and Open Source: Applications for Education, Innovation, and Sustainability. SEFM 2012. Lecture Notes in Computer Science(), vol 7991. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54338-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-54338-8_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54337-1
Online ISBN: 978-3-642-54338-8
eBook Packages: Computer ScienceComputer Science (R0)