2. Tool qualification

2.1 Issues

Initially, the development of a software application involved producing code. To obtain an executable, a compiler is used. If the process by which the code is obtained conforms to an SSIL objective, the fact that the software application conforms to its SSIL objective is directly linked to the compiler. It must therefore be demonstrated that the compiler is usable for an SSIL objective.

More generally, this problem can be generalized to all the tools used to design, compile, verify and validate the software application, as well as those used to produce the software application's data.

As we have already explained, we need to demonstrate that a tool can be used to produce software with a specific SSIL objective. This activity...