SENG 440

Embedded Systems

Units: 1.5

Hours: 3-1

Characteristics and design of embedded systems. Formal models and specification languages for capturing system behaviour. Techniques for specification, exploration and refinement. System partitioning and hardware/software co-design. Tools for validation, verification and simulation. Quality and performance metrics.


Undergraduate course in Software Engineering offered by the Software Engineering in the Faculty of Engineering.

Fall 2017 Spring 2018 Summer 2018

Note that not all courses are offered in every term. If a course is not offered, the schedule page will alert you that "No classes were found that meet your search criteria."