3 ms·
What languages and compiles are certified for satefy-critical software? And how is it decided? That is super interesting, and I didn't know it was a thing.
by tbonesteaks 5y ago
What languages and compiles are certified for satefy-critical software? And how is it decided? That is super interesting, and I didn't know it was a thing.
- pjmlp 5y agoSearch for high integrity computing, MISRA, CERT, AUTOSAR.
- estebank 5y agoWhen it comes to MISRA C, it is interesting to note how many (a majority) of its rules do not apply or have native enforcement[1]. You might have also seen the AUTOSTAR Rust in Automotive Working Group announcement recently[2]. [1]: https://github.com/PolySync/misra-rust/blob/master/MISRA-Rules.md https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul... [2]: for some reason the announcement was removed from the "News and events" site, https://webcache.googleusercontent.com/search?q=cache%3Ahttps%3A%2F%2Fwww.autosar.org%2Fnews-events%2Fdetails%2Fautosar-announces-new-working-group-for-programming-language-rust-in-automotive-software-context-202%2F https://webcache.googleusercontent.com/search?q=cache%3Ahttp... but it is still available as a PDF https://www.autosar.org/fileadmin/user_upload/20220308_RustWorkingGroup_Announcement_EN.pdf https://www.autosar.org/fileadmin/user_upload/20220308_RustW...
- pjmlp 5y agoYeah, it is always a matter how serious a MISRA certification happens to be made. It would be great if AUTOSAR would encompass Rust as well, currently I think they are only evaluating it.