Methods and Principles of Safety-critical Embedded Software

Subject: 
Electrical & Computer Engineering (ECE)
Catalog number: 
652
Unit weight: 
0.50
Meet type: 
LEC
Cross-listing(s): 
N/A
Requisites: 
N/A
Description: 
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.
Topic titles: 
N/A
Faculty: 
Engineering (ENG)
Academic level: 
GRD
Course ID: 
000847