←back to thread

327 points AareyBaba | 1 comments | | HN request time: 2.316s | source
Show context
barfoure ◴[] No.46183842[source]
Do avionics in general subscribe to MISRA C/C++ or do they go even further with an additional (or different) approach?
replies(3): >>46183870 #>>46184021 #>>46184148 #
4gotunameagain ◴[] No.46184021[source]
Depends on the region. MISRA is widely adopted, and then there are the US MIL standards, ECSS for european aerospace stuff, do-178C for aviation..
replies(2): >>46188605 #>>46194080 #
1. westurner ◴[] No.46188605[source]
/?hnlog awesome-safety-critical

From https://news.ycombinator.com/item?id=45562815 :

> awesome-safety-critical: https://awesome-safety-critical.readthedocs.io/en/latest/

From "Safe C++ proposal is not being continued" (2025) https://news.ycombinator.com/item?id=45237019 :

> Safe C++ draft: https://safecpp.org/draft.html

Also there are efforts to standardize safe Rust; rust-lang/fls, rustfoundation/safety-critical-rust-consortium

> How does what FLS enables compare to these [unfortunately discontinued] Safe C++ proposals?