ECE 652Methods and Principles of Safety-critical Embedded Software
- Units
- 0.50
- Level
- Graduate
- Faculty
- Engineering
When it runs
- F24
- W25
- S25
- F25
- W26
- S26
- F26
- W27
- S27
Ran in 2 of the last 7 terms. Winter 2027: not on the schedule. Spring 2027: schedule not out yet.
The application of formal test methods based on the structural and behavioural properties of software systems at the unit integration, and system testing levels; for conventional and object-oriented implementations. Related Background: Prior knowledge of a programming language and a certain maturity in compilers, operating systems, abstract data structures, object-oriented and programming skills.
Prerequisites
None listed.
Antirequisites
None listed.
Leads to
No course lists it as a requisite.
Check it elsewhere for Fall 2026
- Graduate Calendar, Fall 2026The official entry
- Requirements for Fall 2026Waterloo’s requisite checker
- Schedule of Classes, Fall 2026Instructors, rooms, live seats
- Quest Class SearchWhere you enrol
- Course outlinesSyllabi from past terms (UW login)
- UW FlowStudent ratings and reviews
- WClassesPast sections back to 2004, and who taught them
Calendar versions
Graduate Calendar
Older Graduate Calendars
In 42 terms, Fall 2006 to Winter 2024
- Fall 2006
- Winter 2007
- Spring 2007
- Fall 2007
- Winter 2008
- Spring 2008
- Fall 2008
- Winter 2009
- Spring 2009
- Fall 2009
- Winter 2010
- Spring 2010
- Fall 2010
- Winter 2011
- Spring 2011
- Fall 2011
- Winter 2012
- Spring 2012
- Fall 2012
- Winter 2013
- Spring 2013
- Fall 2013
- Winter 2014
- Spring 2014
- Fall 2014
- Winter 2015
- Spring 2015
- Fall 2015
- Winter 2016
- Winter 2020
- Spring 2020
- Fall 2020
- Winter 2021
- Spring 2021
- Fall 2021
- Winter 2022
- Spring 2022
- Fall 2022
- Winter 2023
- Spring 2023
- Fall 2023
- Winter 2024
- All archived calendars