3 ms·
The more I read stuff like this, the more I come to the conclusion that actual security critial real time software should probably be compiled without any (agre
by EmpirePhoenix 7y ago
The more I read stuff like this, the more I come to the conclusion that actual security critial real time software should probably be compiled without any (agressive) optimisations
- gmueckl 7y agoYou will be hard pressed to find a compiler that has a high level safety certification that covers optimizations. Most safety manuals I am aware of explicitly forbid enabling optimizations.
- fuklief 7y agoCompCert ?
- gmueckl 7y agoOkay, it recently did get quite high formal certifications.
- Tomte 7y agoARM Clang does not require optimizations to be switched off, and is certified for SIL3/ASIL4, IIRC. Edit: https://store.developer.arm.com/store/embedded-iot-software-tools/arm-compiler-6-functional-safety https://store.developer.arm.com/store/embedded-iot-software-...