News for hackers. Stuff that matters.

A comment on Ask HN: What are some good resources to learn safety-critical C/C++ coding from?. Parent comment

Re:Ask HN: What are some good resources to learn safety-crit... by wizofaus on Friday August 05, 2022 @04:29PM (#32361609)
Not sure how that question can be meaningfully answered unless it's for a specific safety requirement/standard. Are you suggesting that for most standards that require certification, there are no compiler implementations certified except for C/C++ ones?
[ Parent | on HN ]
Re:Ask HN: What are some good resources to learn safety-crit... by buescher on Friday August 05, 2022 @04:32PM (#32361649)
Try the exercise. Choose one and then choose your tooling. If it's not C, C++, or Ada, I'll be surprised.
[ Parent | on HN ]
Re:Ask HN: What are some good resources to learn safety-crit... by wizofaus on Friday August 05, 2022 @05:25PM (#32362153)
I had some involvement with development of an air traffic management system, which was being written in Java, as that was certified for use in that field. As a language, I'd rather use C++ over Java, but if safety criticality were the priority, I'd choose Java every time. I haven't coded in Ada but unless there's something about it that's truly awful to work with, it seems a better choice than C/C++ from what I know about it.
[ Parent | on HN ]