Undergraduate calendar - January 2022
Skip to main content
Academic Calendar
- No results
0 results available
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
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.