ECSE 538 Safety-Critical Embedded Software

3 credits · Electrical & Computer Engr · Faculty of Engineering · Not scheduled for 2026–2027

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; mo…

Plan your whole degree in myDegree. Fit ECSE 538 and everything it needs into a plan, term by term. Open myDegree

Source: McGill Course Catalogue. myDegree is an independent student project, not affiliated with McGill University.