With "safety certification for AI-based systems" they are mixing up the 26262 functional safety and 21448 safety of the intended functionality. 26262 is closer

With "safety certification for AI-based systems" they are mixing up the 26262 functional safety and 21448 safety of the intended functionality. 26262 is closer to verification (the system does what it is told to), 21448 to validation (what you told it actually solves the problem). For certified Rust the article mentions Ferrocene, they achieved their certification a while ago [0]. If you have the chance to work with them, Florian Gilcher is a highly knowledgeable guy and a super nice person. [0] https://ferrous-systems.com/blog/officially-qualified-ferrocene/ https://ferrous-systems.com/blog/officially-qualified-ferroc...