Hacker News Reader

How do those standards compare to aviation? Are there similar certifications that would allow to use a software implementation like this?

View on HN

Friendly neighbourhood aerospace systems engineer here.

Yes, the certifications on the aviation side are DO-178C for Software and DO-254 for Airborne Electronic Hardware. Rather than SIL or ASIL (Automotive Safety Integrity Level), the aviation equivalent is DAL (Development Assurance Level). Of course, while they each use letters for levels of Integrity / Assurance, in aviation DAL A is the most stringent and in automotive ASIL-D is the most stringent.

https://www.rapitasystems.com/blog/what%E2%80%99s-difference...

Kinda related question is there a do-178b certified compiler that coult compile a future certified qt?

Not just compiler but operating system as well. Look at the names like Wind River, Green Hills or even LynxOS for a certified compiler / OS solution

Ah yes I took the 5 day greenhills training for a project that got put on hold. Was wondering if anything opensource exist for do187b usage. For example a GCC toolchain and a standard set of libraries (apart from the OS)

Reply on news.ycombinator.com