ECSE 538. Safety-Critical Embedded Software.
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 538
Safety-Critical Embedded Software.
Credits: 3
Offered by: Electrical & Computer Engr (Faculty of Engineering)
This course is not offered this catalogue year.
Description
Software for embedded systems/cyber-physical systems; model-based design; platform-based design; models of computation; synchronous reactive models of computation; timed automata; semantics preserving code generation; real-time operating systems; mixed-criticality scheduling; formal verification; model-based testing; reliability; safety; component-based design.
- Prerequisite(s): ECSE 322 and (ECSE 304 or ECSE 306)
- (3-0-6)
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