Can someone suggest a simple microcontroller that doesn't carry the "not for use in life support systems as a critical component" disclaimer? Having an Ada compiler would be a big plus. This is going to be a watchdog for computer components of a medical monitor, so it doesn't need to be very powerful but it does need to be reliable.
We've been prototyping using Microchip PICs, and I was looking at the Atmel AVR series because it can be targeted from Ada, but both of these refuse to license to medical device manufacturers. I saw some TI chips that appear to provide a guarantee of meeting the published specification, but they are 8051-based and I don't know how good the compilers are, looked around and found no Ada.
Any suggestions would be quite helpful. Thanks!