yes, we are planning to go thru certification process.
And in this case the choice of the PICC18 compiler should be justified by its use in similar applications. So we need to know of companies that have used HI-TECH's PICC-18 for Software safety-critical.
I've contact Hi-Tech support via email. They aware of customers using PICC-18 Compiler for several safety-critical applications, but unfortunately they can't give me specific customer details.