1. 1 ©2010 DEEDS Group Operating Systems II Administrative/Intro Operating Systems II: Dependability and Trust SS 10 Prof. Neeraj Suri DEEDS (Dependable Systems & SW Group) www.deeds.informatik.tu-darmstadt.de Dr. Dinu Sarbu Dr. Abdelmajid Khelil Brahim Ayari Stefan Winter Piotr Szczytowski

2. 2 ©2010 DEEDS Group Operating Systems II Administrative/Intro 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 Contact Info

3. 3 ©2010 DEEDS Group Operating Systems II Administrative/Intro -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. 22 nd )! -Lab instructions (TBA, S2|02 E212) -Exams -Mid-Term exam -Final exam Course Structure

4. 4 ©2010 DEEDS Group Operating Systems II Administrative/Intro 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 Exams

5. 5 ©2010 DEEDS Group Operating Systems II Administrative/Intro 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! Grading Related

6. 6 ©2010 DEEDS Group Operating Systems II Administrative/Intro 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/ 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 Relevant Literature + Lecture Foils

7. 7 ©2010 DEEDS Group Operating Systems II Administrative/Intro 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 a)the lecture content and b)issues covered over the exercises....so attending is important

8. 8 ©2010 DEEDS Group Operating Systems II Administrative/Intro 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.htmlhttp://www.deeds.informatik.tu-darmstadt.de/teaching/msthesis.html ‣ More HiWi: http://www.deeds.informatik.tu-darmstadt.de/jobs/hiwi.htmlhttp://www.deeds.informatik.tu-darmstadt.de/jobs/hiwi.html Related seminars and projects

9. 9 ©2010 DEEDS Group Operating Systems II Administrative/Intro 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

10. 10 ©2010 DEEDS Group Operating Systems II Administrative/Intro Course Outline 1.Introduction/Concepts of SW-FT 2.SW-FT Mechanisms: Design Aspects ‣ Process pairs, selective retries, graceful degradation,… ‣ Checkpointing, N-copy programming (NCP), N-version Programming (NVP), micro-reboots,... ‣ Robust programming, … 3.Evaluation of Fault-Tolerant SW & OS’s ‣ SW reliability ‣ SW/OS stress testing ‣ Hardening of OS’s, Patching ‣ OS Driver profiling and testing 4.FT in Mobile Systems and SW ‣ Mobile systems (FT, recovery..), Wireless sensor networks (Energy-efficient FT, spatial/temporal redundancy..) 5.SW and Security: Buffer Overflows etc