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.