Model-Based Tool Qualification - The Roadmap of Eclipse Towards Tool Qualification.
SEFM Satellite Events(2012)
Abstract
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
MoreTranslated text
Key words
Tool qualification,Model-based,Eclipse,Roadmap,DO-330
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined