• Email: rlutz@cs.iastate.edu
• Phone: 4-3654
• Office: 228 Atanasoff
• Office hours: 1:30 Wednesday, 1:30 Thursday

• Email: sun@iastate.edu
• Office: Pearson 0145
• Office hours: 10:30 Monday, 10:30 Wednesday

• Safeware: System Safety and Computers, Nancy G. Leveson, Addison-Wesley, 1995, ISBN 0-201-11972-2
• Supplemental journal papers

Course Information

Description

• An introduction to the analysis, design, and testing of software for safety-critical and high-integrity systems
  
• Analysis techniques, formal verification, fault identification and recovery, model checking, and certification issues
  
• Emphasizes a case-based and systematic approach to software's role in safe systems
  

Syllabus

Schedule

Resources

Grading