Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification.

The SafeTITM Compiler Qualification Kit is a modern, model-based qualification kit that offers a high degree of flexibility during application of the kit. This paper will describe challenges posed by the safety standards and processes, as well as illustrate the benefits of model-based tool qualification. The second part of the paper focuses on the Texas Instruments C/C++ ARM® compiler specific aspects. Its model combines the C software programming language conformance tests provided by the SuperTest qualification suite with specific TI test cases for the TI C/C++ compiler. Using examples, we illustrate how the contained qualification support tool assists during qualification of the compiler and provide a description of the generated documents. Model-Based Tool Qualification of the TI C/C++ ARM® Compiler