ECE 652 - Methods and Principles of Safety-critical Embedded Software
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.
Offerings
Spring 2026 [1265]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 3278 | 0 / 40 | | | | |
Spring 2025 [1255]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 3476 | 0 / 40 | 16:00 - 17:20 | T,Th | | |
Spring 2024 [1245]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 5024 | 31 / 40 | 16:00 - 17:20 | M,F | | |
Spring 2020 [1205]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 3324 | 19 / 140 | 19:16 - 20:05 | | | Sebastian Fischmeister |
Spring 2019 [1195]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 3391 | 29 / 138 | 08:30 - 11:20 | Th | E7 4053 | Sebastian Fischmeister |
Spring 2018 [1185]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 4991 | 53 / 85 | 11:30 - 14:20 | Th | EIT 1015 | Sebastian Fischmeister |
Spring 2017 [1175]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 4941 | 0 / 40 | | | | |
Winter 2006 [1061]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 5533 | 5 / 20 | 16:30 - 19:20 | W,E,I,T | | Ajit Singh |
Winter 2003 [1031]
| Section | Class | Enrolled | Time | Days | Location | Instructor |
|---|
| LEC 001 | 5356 | 7 / 20 | 17:00 - 19:50 | Th,D,C | | Ajit Singh |
UW Flow Ratings
Liked: 0.00%
Easy: 0.00%
Useful: 0.00 %
ECE 652 leads to