SENG440 - Embedded Systems

Description

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.

Units

1.5

Hours: lecture-lab-tutorial

3-1-0

Prerequisites

  • Complete 1 of:
    • CENG355 - Microprocessor-Based Systems (1.5)
    • CSC355 - Digital Logic and Computer Organization (1.5)
    • ECE355 - Microprocessor-Based Systems (1.5)

Course offered by

Software Engineering

Course schedules

Summer timetable available: February 15. Fall and Spring timetables available: May 15.

Use the buttons below to search the timetable. If the search results show 0 classes and the message ‘Please search again’, then the class is not scheduled for the selected term.