Summary

Cyber-physical systems, such as automobiles, cars, and medical devices, comprise both a physical part and a software part, whereby the physical part of the system sends information about itself to the software part, and the software sends information, usually in the form of commands, to the physical part.

Physical systems have "a life of their own," and they can often harm operators and/or cost a fortune to repair, the development of programs that control these systems cannot rely on "trial and error," and they must consider in-depth the role of the human operator.

This course introduces the principles, tools, models, and processes essential to cyber-physical system development, such as model-based development methods, basics of feedback for task scheduling, modern verification, and validation techniques, and their integration in today's industrial development processes.

Expected Learning

As sensors, actuators, and embedded computing become less expensive, Cyber-Physical Systems (systems that combine closely linked software and physical components) are becoming increasingly part of our daily lives. Automotive, medical, and aeronautical applications are only a small part of an ongoing revolution whereby automated and intelligent machines will interact closely with humans. This course introduces not only the enormous design space offered by Cyber-Physical Systems (CPS) but also the trade-off that must be struck with indispensable safety requirements. Powerful CPS design frameworks are introduced to perform this trade-off, ranging from hardware to software engineering and from system design to validation.

Syllabus

CPS design

• Models'
• Low-level control
• Mid- and High-level automation

CPS environment

• Humans and CPS
• Hardware-software co-design
• Sensors, actuators, and processors

CPS engineering

• General principles
• Architecture and Design Language
• Formal methods for Verification and Validation

Required Knowledge

An undergraduate education in Engineering or Computer Science, with programming experience.