ECSE 553. Critical Systems.
Note: For information about Fall 2025 and Winter 2026 course offerings, please check back on May 8, 2025. Until then, the "Terms offered" field will appear blank for most courses while the class schedule is being finalized.
ECSE 553
Critical Systems.
Credits: 4
Offered by: Electrical & Computer Engr (Faculty of Engineering)
This course is not offered this catalogue year.
Description
Design and assurance of critical software-intensive cyber-physical systems (CPSs). Core concepts, standard languages (SysML, Capella), techniques and tools of model-based systems used for designing such systems including: concepts like safety cases, traceability, viewpoints of system architecture or design space exploration. Safety assurance of software-intensive critical systems; design-time and run-time verification; and validation techniques. Research challenges for the safety assurance of systems driven by machine learning and other AI techniques.
- Prerequisite: ECSE 321
Most students use Visual Schedule Builder (VSB) to organize their schedules. VSB helps you plan class schedules, travel time, and more.
Launch Visual Schedule Builder