Rust in Safety and Mission-Critical Environments

Explore the potential of Rust in safety- and mission-critical environments through this 16-minute conference talk presented by Florian Gilcher and Sabree Blackmon. Gain insights into the unique challenges and requirements of mission-critical and safety-critical systems, including specification needs, trust levels, and stability concerns. Discover how Rust's strengths align with these demands and learn about the role of other compilers in the process. Delve into the importance of specification and verification in ensuring the reliability of critical systems. Engage with the speakers as they address questions and provide valuable perspectives on Rust's application in high-stakes environments.

Intro
Who are we? ?
Background
Mission critical/Safety critical
Spoilers for safety-critical
Specification needs
Trust levels
Evolution speed
Stability
Rust strengths
Other compilers
Specification again
Verification
Questions?