Rust in Safety and Mission-Critical Environments
Offered By: Rust via YouTube
Course Description
Overview
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.
Syllabus
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?
Taught by
Rust
Related Courses
CompilersStanford University via edX Computer Language Engineering (SMA 5502)
Massachusetts Institute of Technology via MIT OpenCourseWare Build a Modern Computer from First Principles: Nand to Tetris Part II (project-centered course)
Hebrew University of Jerusalem via Coursera Compiler Design
Indian Institute of Technology, Kharagpur via Swayam Formal Language and Automata Theory- An Application in Compiler Design
Chhattisgarh Swami Vivekanand Technical University via Swayam