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.
Why Take This Course?
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.
Mid- and High-level automation
Humans and CPS
Sensors, actuators, and processors
Architecture and Design Language
Formal methods for Verification and Validation
Pablo Afman, Jerome Hughes, Bruce Lewis and Eric Feron