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.

Prerequisites: CENG 355 or CSC 355.

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