I'm in a related area and I'd be pretty surprised if this is directly relevant -- are you doing ISO-9001 certification? Right now, they're just offering rust,

I'm in a related area and I'd be pretty surprised if this is directly relevant -- are you doing ISO-9001 certification? Right now, they're just offering rust, but with the ability to use it in a certified environment. In the future they plan to offer Ada+rust interop.