Skip to end of metadata
Go to start of metadata
Course Overveiw

The President's Council of Advisors on Science and Technology has placed CPS on the top of the priority list for federal research investment. So is EU.

The fundamental challenge of CPS arises from achieving not only safety but also effectiveness (performance) in systems with complex interactions among components with different degrees of quality. For example, some operators are more error prone than others, hardware components have different degrees of reliability, and software components have a wide range of qualities.

Following the recommendations of National Academy of Science's recent study on dependable systems[1], you will learn the architecture design patterns that achieve not only guaranteed safety but also high effectiveness. Guaranteed safety means system will remain in safe states in spite of all the known potential faults and failures from operators, from cyber components and from physical components. High effectiveness means that the system will operate with full functionality most of the times. You will learn techniques for the verification of safety, and learn techniques for quantitative analysis of system effectiveness.

In addition to lectures, there will be case studies and hands-on projects. This year's projects include simulated pacemaker and airway laser surgery. To learn more about the challenge of safe medical device composition, see http://mdpnp.org/uploads/Capitol_Hill_NSF_CPS_MD_PnP_9July09.pdf This year class will accept both graduate students and senior undergrads (with approval from instructor)

[1] http://sites.nationalacademies.org/cstb/CompletedProjects/CSTB_042247



Name Prof. Lui Sha
Email: lrs@cs.uiuc.edu
Office: 4122 SC
Office Hours: 12:30 to 1:30 Pm, Tuesday and Thursday

Graduate Assistant

Name: Maryam Rahmaniheris
Email: rahmani1@illinois.edu
Office: 4111-2 SC
Office Hours: 1:00 to 2:00 Pm, Wednesday

Useful Stuff
Quick links

  [CSIL ]


  TSG Resource Guides

Class Schedule

2:00am - 3:15pm (Tuesdays & Thursdays)
Room 1131 SC

Enter labels to add to this page:
Please wait 
Looking for a label? Just start typing.