I stand corrected. I spoke before I checked my info. There's also HighTec's compiler that is also ISO 26262 qualified, targeting Infineo's Aurix TriCore: http

I stand corrected. I spoke before I checked my info. There's also HighTec's compiler that is also ISO 26262 qualified, targeting Infineo's Aurix TriCore: https://www.infineon.com/cms/en/about-infineon/press/market-news/2024/INFATV202404-089.html https://www.infineon.com/cms/en/about-infineon/press/market-... Not sure tho' what kind of qualification you have to look at in order to fly into space (DO... something?), this is targeting automotive ( and so is Ferrocene's). But a lot of the integrity mechanisms these MCU's have are surely similar between applications. And... I'll be honest. I really am not convinced by the qualification itself that the quality is necessarily better. It's just that you need it for certain applications.