2 ms·
I am glad that we are in agreement. Your final paragraphs are what I have been saying, in response to you saying "I do not see how you could get a language with
by steveklabnik 3y ago
I am glad that we are in agreement. Your final paragraphs are what I have been saying, in response to you saying "I do not see how you could get a language without a standard into an aircraft."
> Is there FAA/EASA certified rust SW on a commercial airplane above DAL E?
So, I don't work in the industry, so I am not 100% sure. What I do know is this: https://www.lynx.com/press-releases/rust-compiler-support https://www.lynx.com/press-releases/rust-compiler-support
> Lynx Software Technologies (Lynx) the leader in delivering solutions for the Mission Critical Edge, today announced that its LynxOS-178 operating system and LynxElement unikernel will include support for Rust... LynxOS-178 is a native POSIX, hard real-time partitioning operating system developed and certified to FAA DO-178C DAL A safety standards.
So the interest is there, at least, but given that Ferrocene is currently only qualified for ISO 26262 and IEC 61508, with DO-178C, ISO 21434, and IEC 62278 being listed as "in the future," I am guessing that's something desired, but not true yet.
> If not ferrocene potentially does.
Yes, to be clear I meant conceptually, in a way that the Rust Project does not, and I would be willing to bet money that it never will. Not that it has passed that bar presently.