L wrote:
Is the GNU ada compiler certified?
Not officially, no, but AFAIR it should at least pass the ACATS test suite, otherwise it wouldn't be allowed to be called an Ada compiler. ;)
But certification, especially in the avionics business, is a different matter anyway, because it always is the final product getting certified. You can get runtimes sort of pre-certified for certain standards (DO178B Level A would be the one for avionics), but just using a certified compiler does not get your final code certified. That's why Ada compilers also have all this verification stuff (things like pragma Inspection_Point) built in. ;)
Proving that the compiler generated the code you intended it to generate is the easiest part of the business. The hard part comes when you're trying to prove that "intended code" equals "correct code".
Vinzent. _______________________________________________ fpc-other maillist - [email protected] http://lists.freepascal.org/mailman/listinfo/fpc-other
