Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| en:safeav:curriculum:ctrl-m [2025/11/05 09:18] – airi | en:safeav:curriculum:ctrl-m [2025/11/05 09:19] (current) – airi | ||
|---|---|---|---|
| Line 11: | Line 11: | ||
| ^ **Learning methods** | **Lecture** — Cover theory and methodologies for simulation-based and formal validation of control and planning systems.\\ **Lab works** — Implement and test controllers in virtual and hybrid environments (ROS2, MATLAB, CARLA, Scenic, CommonRoad, UPPAAL).\\ **Individual assignments** — Develop validation pipelines, perform reachability analysis, and document results.\\ **Self-learning** — Study research papers and international standards on autonomy verification and formal safety assurance. | | ^ **Learning methods** | **Lecture** — Cover theory and methodologies for simulation-based and formal validation of control and planning systems.\\ **Lab works** — Implement and test controllers in virtual and hybrid environments (ROS2, MATLAB, CARLA, Scenic, CommonRoad, UPPAAL).\\ **Individual assignments** — Develop validation pipelines, perform reachability analysis, and document results.\\ **Self-learning** — Study research papers and international standards on autonomy verification and formal safety assurance. | | ||
| ^ **AI involvement** | AI tools may be used to automate scenario generation, identify unsafe trajectories, | ^ **AI involvement** | AI tools may be used to automate scenario generation, identify unsafe trajectories, | ||
| - | ^ **Recommended tools and environments** | MATLAB/ | + | ^ **Recommended tools and environments** | MATLAB/ |
| ^ **Verification and Validation focus** | | | ^ **Verification and Validation focus** | | | ||
| ^ **Relevant standards and regulatory frameworks** | ISO 26262, ISO 21448 (SOTIF), and IEEE 2846, ASAM OpenSCENARIO | | ^ **Relevant standards and regulatory frameworks** | ISO 26262, ISO 21448 (SOTIF), and IEEE 2846, ASAM OpenSCENARIO | | ||
