Hacker News new | ask | show | jobs
by tbonesteaks 1541 days 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.
1 comments
pjmlp 1541 days ago
Search for high integrity computing, MISRA, CERT, AUTOSAR.
link
estebank 1541 days ago
When 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-Rul...

[2]: for some reason the announcement was removed from the "News and events" site, https://webcache.googleusercontent.com/search?q=cache%3Ahttp... but it is still available as a PDF https://www.autosar.org/fileadmin/user_upload/20220308_RustW...

link
pjmlp 1541 days ago
Yeah, 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.

link