CIS 541: Embedded and Cyber Physical Systems, Spring 2010
Introduction
This course is focused
on cyber physical systems with emphasis on real-time issues. Cyber
phsyical systems are integrations of computation and communication
with physical processes. Embedded computers monitor and control
physical processes in real-time. As these embedded computers are
increasingly networked, it is believed that there will be a
revolutionary transformation. Just as personal computers have
transformed from word processors to global communications devices for
information gathering and sharing, embedded computers will change from
small self-contained systems to cyber-physical systems by sensing,
monitoring, controlling our physical environment.
The course is to study priciples, methods, and techiques for building
cyber-physical systems that are safety critical. Topics will include
requirements, mental models, assurance cases, hazard analysis,
real-time programming and communication, vertification and validation, and
evidence-based certification. The course will include a series of
projects that will implement safety-critical embedded systems
(e.g., pacemaker, infusion pumps).
Prerequisites
For EMBS students, this course should be taken after Priciples
of Embedded Computation course or Embedded Systems Design course.
Topics
- Introduction to Cyber Physical Systems
- CPS applications
- Charateristics and challenges
- Requirements, Modeling, and Analysis
- Requirements capture and models
- User mental models
- Architecture description languages
- Assurance cases, harzard analysis
- Implementation Paradigms and Techniques
- Programming paradigms and languages
- Compositional and Feedback-based real-time scheduling
- Virutal machines,, hypervisors, separation kernels
- Components, Plug-and-play of embedded systems
- Validation, Verification, and Certification
- Model-based testing
- Run-time verification
- Modular and evidence-based certification
Grading
There will be several
homework assignments, an exam, and a term project. A significant
component of the evaluation will be based on the design and
implementation of the term project.
Last updpated on 11/28/08. Maintained by Insup Lee