Safe and Certified Software for Autonomous Mobility
summary
Covers techniques for building safe, certified software for autonomous vehicles using C++ and related toolchains; names standards and verification approaches for functional safety and formal certification. Describes practical engineering practices, runtime safeguards, and tool-supported verification to assure correctness and regulatory compliance.
AI-written summary · about
related talks
43mWelcome to the Real World, Robot!
51mFunctional safety product development for autonomous mobile robots
41mEvolving ROS for Safety Critical Systems
29mSynchronous Programming and Refinement Types in Robotics: From Verification to Implementation
33mHuman-Like Behavior in Autonomous Systems
27mPreparing for the Autonomous Vehicle Era
59mOn Human-robot Interactions via Multimodal Intent Modeling and Reachability-based Safety Assurance
16mDisrupting Mobility and Building the Autonomy Economy