4 ms·
Rust’s guarantees have little to nothing to do with malloc. Ferrocene isn’t DO-178C certified… yet. But it has similar certifications in other industries.
by steveklabnik 1y ago
Rust’s guarantees have little to nothing to do with malloc.
Ferrocene isn’t DO-178C certified… yet. But it has similar certifications in other industries.
- zppln 1y agoAnd it never will be. In aviation we certify three things: aircraft, engines and propellers. Everything else is at best certifiable, i.e. can be integrated into a product to be certified assuming all deviations, restrictions, caveats etc are considered when doing so. Also, tools follows DO-330 and are qualified. It's their output that should comply with DO-178.
- steveklabnik 1y agoSure, yes, I always end up saying “certified” instead of “qualified” for some reason. Thanks.