4 ms·
Does a compiler exist with the same certifications?
by RVuRnvbM2e 8y ago
Does a compiler exist with the same certifications?
- deleted 8y ago[deleted]
- rhencke 8y agoYes. https://developer.arm.com/products/software-development-tools/compilers/arm-compiler/safety https://developer.arm.com/products/software-development-tool...
- irundebian 8y agoWhen I'm seeing TÜV seals for highly-complex IT-related topics, I'm always asking myself if the people working for TÜV are really qualified for doing such certifications. The TÜV historically inspected steam engines and is mostly known today for doing driving tests.
- mbeex 8y agoHere in Germany, the TUEV not only certifies nuclear power plants, but will be involved in most of the precursory steps (the politics of a general 'Atomausstieg / nuclear power phase-out' aside for the moment) https://www.tuev-sued.de/plants-buildings-technical-facilities/fields-of-engineering/nuclear-services/nuclear-power-plant-licensing https://www.tuev-sued.de/plants-buildings-technical-faciliti...
- te0006 8y agohttps://www.tuvit.de/en/services/certification/ https://www.tuvit.de/en/services/certification/
- lnsru 8y agoTÜV inspects everything: http://www.bbc.co.uk/news/world-europe-38692678 http://www.bbc.co.uk/news/world-europe-38692678 Sometimes they fail.
- Nokinside 8y agoYes. QCC (QNX), Diab (Wind River), Green Hill compilers are all certified. Qt supports VxWorks, QNX and INTEGRITY platforms commonly used for safety critical software.