100 likes | 185 Views
Operating Systems II: Dependability and Trust SS 10. Prof. Neeraj Suri DEEDS (Dependable Systems & SW Group) www.deeds.informatik.tu-darmstadt.de. Brahim Ayari. Dr. Dinu Sarbu. Stefan Winter. Dr. Abdelmajid Khelil. Piotr Szczytowski. Contact Info.
E N D
Operating Systems II: Dependability and Trust SS 10 Prof. Neeraj Suri DEEDS (Dependable Systems & SW Group) www.deeds.informatik.tu-darmstadt.de Brahim Ayari Dr. Dinu Sarbu Stefan Winter Dr. Abdelmajid Khelil Piotr Szczytowski
Contact Info www.deeds.informatik.tu-darmstadt.de/teaching/courses/SS10/osdt • Prof. Neeraj Suri • suri@cs.tu-darmstadt.de • Office Hours: by appointment • Exercises: Piotr Szczytowski • piotr@informatik.tu-darmstadt.de • Office Hours: Wednesdays 14.30-15.30 in S2/02-E219 • Labs: Constantin Sarbu, Brahim Ayari, Stefan Winter • cs@cs.tu-darmstadt.de / brahim@informatik.tu-darmstadt.de / sw@informatik.tu-darmstadt.de • Office Hours: Wednesdays, 14:30 – 15:30 in S2/02-E206, E207, E221
Course Structure • Credit points: • SWS: 5 (2+3) • "Credits": 7,5 • Track in the Diplom program: Informatik II • Schedule: • Lecture (Wed, 9.50-11.30, S2|02 C120) • Exercise (Thu, 11.40-13.20, S2|02 C110) • First exercise: next week (Apr. 22nd)! • Lab instructions (TBA, S2|02 E212) • Exams • Mid-Term exam • Final exam
Exams • Mid-Term exam • ~ end May - early June (tentative!) • Corrected/evaluated in the lecture theatre, and discussed in the next exercise • Is part of the exam (15%) • Final exam • Date and location will be announced well in advance
Grading Related • Exam • Final exam: 70% • Exercises: 15% • Mid-term Exam: 15% • Exercises • Discussion-based, Q&A fashion • Students ask questions! • Lab stuff: Optional • Do some live programming • Gain some practical experience • Please take this opportunity! • May improve your grade (“extra” points) • If you have a suggestion for a lab discuss it with us!
Relevant Literature + Lecture Foils • Fault Tolerance In Distributed Systems; Pankaj Jalote, Prentice Hall • Software Fault Tolerance Techniques and Implementation, Laura L. Pullum, Artech House Publishers • Both books are available (in limited numbers!) from the library • http://www.bib.informatik.tu-darmstadt.de/ • Slides are available on the lecture’s homepage • We will try to upload the foils shortly before the lecture • Username: os2lecture, password: operatingsystem2
Exam Coverage • Most lectures will be based on research papers: • URLs of papers available via class page • References on slides (available on web) • Coverage for exams is primarily • the lecture content and • issues covered over the exercises ....so attending is important
Related seminars and projects • Related seminars: • Measuring Security and Trustworthiness: http://www.deeds.informatik.tu-darmstadt.de/teaching/courses/SS10/measure/index.html • Reliable/Secure Wireless Sensor Cooperation: http://www.deeds.informatik.tu-darmstadt.de/teaching/courses/SS10/scoop/index.html • Related HiWi / MSc/ BSc/ Diploma projects examples • “Software Isolation for Robustness Hardening“ • “Efficient Hang/Crash Failure Detection” • “Aspect-Oriented Design of SW-Wrappers” • “Security Monitoring of Financial Critical Infrastructures” • “Using P2P to Enhance SCADA Systems Resilience” • More MS/BS: http://www.deeds.informatik.tu-darmstadt.de/teaching/msthesis.html • More HiWi: http://www.deeds.informatik.tu-darmstadt.de/jobs/hiwi.html
Course Goals • Learn software fault tolerance concepts • Learn how to develop robust programs • how to deal with software bugs • software fault tolerance: continuation of service in the presence of failures • Learn concepts and mechanisms • to build software fault tolerance tools • Learn how to evaluate and test robustness of SW/OS • Learn some SW issues related to • mobile SW and • security Complements the OS lecture we regularly offer in the winter semesters
Course Outline • Introduction/Concepts of SW-FT • SW-FT Mechanisms: Design Aspects • Process pairs, selective retries, graceful degradation,… • Checkpointing, N-copy programming (NCP), N-version Programming (NVP), micro-reboots,... • Robust programming, … • Evaluation of Fault-Tolerant SW & OS’s • SW reliability • SW/OS stress testing • Hardening of OS’s, Patching • OS Driver profiling and testing • FT in Mobile Systems and SW • Mobile systems (FT, recovery ..), Wireless sensor networks (Energy-efficient FT, spatial/temporal redundancy ..) • SW and Security: Buffer Overflows etc