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.

• 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

• Model different systems using the appropriate modelling technique
• Design and implement digital systems from specifications
• Test and validate the proposed digital system