Rust for safety-critical software

1

I guess a couple companies are working to qualify Rust compiler and certify the automotive safety-critical software. Not sure how they go about doing it in the absence of any official language specification. Anyone?

2

IIUC Ferrocene's approach was to downstream rustc and spec that. It has been qualified. I don't know about others.

Here is Rust's own spec tracking issue.

1 Like
3

There is a talk on YouTube about how Ferrocene did this: https://m.youtube.com/watch?v=_ITnWoPvMKA

2 Likes
4

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.