Embedded systems are at the heart of many technologies such as robotics, security, the Internet of Things, transportation, telecommunications... This track allows students to discover the techniques of specification, design and validation of these systems. The software and hardware aspects are studied in depth. Particular emphasis is placed on the interface between these two worlds as well as on the security issues that are specific to them. The course places particular emphasis on hands-on experience with prototyping tools and platforms commonly used in industry. Specific activities give the opportunity to discover some open problems related to the design or verification of embedded systems. They aim at initiating research in the field.
