Hello all.
As you may know, several standards mandate the use of certified or 'proven in use' compilers in safety-critical systems. To date, I've been using 'proven in use' compilers for those systems. Now, I'm upgrading to a new 32-bit platform and my olde yet fantastic 16-bit C compiler cannot cope with it.
I've been looking for 'certified C compilers' (do they even exist ?) via Google. All I've been able to find are Ada validated and/or certified compilers / run time systems, and also certifiable RTOSes.
I've also found C compilers which claim to have passed certain test suites (Metaware, Plum Hall, Perennial, ...)
I don't need an RTOS, just a C compiler with a very limited library support (no file system, no console, no math; just some byte-copying stuff and low low level I/O).
My target would be Pentium-based, multiprocessor (yeps) and monotasking.
What do you use (even with different target architectures)? What would you recommend?
-- Ignacio G.T.