YoVDO

Rust in Safety and Mission-Critical Environments

Offered By: Rust via YouTube

Tags

Rust Courses Programming Languages Courses Software Engineering Courses Compiler Design Courses Critical Infrastructure Courses Safety-Critical Systems Courses

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

Compilers
Stanford 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