The course concentrates on the design of modelling, implementation, and validation of digital system. The course contains a considerable laboratory component where students design a rather complex digital system.
Topics
Introduction to embedded systems Chapter 1 of the textbook
Modelling continuous and discrete systems Chapters 2 and 3 of the textbook
Hybrid systems and composition of state machines Chapters 4 and 5 of the textbook
Concurrent models of computations Chapter 6 of the textbook
Design of digital systems Lectures notes and assigned references
Sensors and actuators Chapter 7 of the textbook
Testing and validation of digital systems parts (rather small parts) of chapters 13-17 and external resources
Course Learning Outcomes
By the end of the course, students should be able to
Model different systems using the appropriate modelling technique
Design and implement digital systems from specifications
Test and validate the proposed digital system
Tentative Schedule
week 1: Introduction to Embedded and cyber-physical systems
Week 2: Modeling continuous and discrete systems
Week 3: Implementation issues and Introduction to SystemVerilog
Week 4: Continue with the above and Composition of state machines