Computer Science

CS4805Embedded Systems4 ch (3C 1T)

This course will give an overview of the characteristics and design of embedded systems. Topics include formal models and specification languages for capturing embedded system behavior; techniques for specification, exploration and refinement; tools for validation, verification, and simulation; and quality and performance metrics.

Prerequisites: CS 3413 and CS 3853