Com S 515 Fall 2007
Tuesday and Thursday 9:30 - 10:50am
2158 Pearson
12/12/07 Grades are posted outside my office
from Robyn: Office Hour Tuesday, Dec. 11, 10:00
12/7/07 Homework 4 solution
Wednesday, Dec. 12: FINAL EXAM 9:45-11:45
11/29/07 No in-class meeting 12/6: attend Dr. Royyuru's lecture or Dr. Fran Allen's Turing Award lecture
11/20/07 Project due Nov. 27: please turn in hardcopy in class & email a copy to rrlutz at gmail dot com; presentations Nov. 27, 29 & Dec. 4 per sign-up
11/7/07 Homework 3 solution
11/1/07 Homework 4, due Nov. 15
10/11/07 "From security to safety and back" by Stavridou, V.and Dutertre, B
10/11/07 Project Abstract, due Nov. 1
10/16/07 Midterm Solution
10/11/07 Homework 3, due Oct. 25
MIDTERM EXAM, Tuesday, Oct. 9, in-class. Review on Thursday. Office Hours, Mon, Oct. 8: Hongyu 10-11; Robyn 1:30-2:30. Graded HW#2 available Mon.
10/4/07 Old midterm
10/02/07 Robyn's slides from Software Assurance Symposium (not coursework): Product Line Verification for Safety-Critical Systems , Contingency Software for Autonomous Systems
9/29/07 Here's a working draft of a new AADL tutorial AADL tutorial.
Please email me any comments by Nov. 1, and I'll bundle & send them on to the author. This is not for distribution beyond our class.
9/25/07 AADL slides, AADL lecture resource
9/18/07 Hansen's SCR Paper, Lecture 6 resource
9/18/07 Heitmeyer's SCR 2nd Paper, Lecture 6 resource
9/18/07 Homework 1 solutions
9/13/07 Heitmeyer's SCR Paper, Lecture 6 resource
9/13/07 Homework 2, due September 27
8/23/07 Homework 1, due September 6
8/23/07 Josh's FTA slides, Lecture 2 resource
8/28/07 Janet's SFMEA slides, Lecture 3 resource
Instructor: Dr. Robyn R. Lutz
- Email:
rlutz@cs.iastate.edu
- Phone: 4-3654
- Office: 228 Atanasoff
- Office hours: 2:00 Wed & Thurs, & by appointment
TA: Hongyu (Russell) Sun
- Email:
sun@iastate.edu
- Office: Pearson
0145
- Office hours:
Mon 10:00 to 11:00
Wed 10:00 to 12:00
- Safeware: System Safety and Computers, Nancy G. Leveson,
Addison-Wesley, 1995, ISBN 0-201-11972-2
- Supplemental journal papers
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.
Exams
Grading
- Homework: 25%
- Midterm: 25%
- Final exam: 25%
- Project: 25%
- Proposal: 5%
- Final product: 15%
- Presentation: 5%
Last modified: 9/2/2003