Courses

Our group is currently involved in the following themed courses :

SS 2010

• Operating Systems II: Depandability and Trust (course) new lecture!

• Measuring Security and Trustworthiness (seminar)

• Reliable/Secure Wireless Sensor Cooperation (seminar)

• Operating Systems (course) new labs -> hands-on with mobile devices!

• Embedded Mobile Computing (seminar)

• Secure and Reliable OS (seminar)

SS 2009

• SW/OS Fault-Tolerance (course)

• Model based development of security-relevant embedded systems (course, in German)

• Embedded Mobile Computing (seminar)

• Secure and Reliable OS (seminar)

WS 2008/2009

• Operating Systems (course)

• Embedded Mobile Computing (seminar)

• Secure and Reliable OS (seminar)

SS 2008

• Introduction to Computer Science II (course)

• GDI II

• Embedded Mobile Computing (seminar)

• Secure and Reliable OS (seminar)

WS 2007/2008

• SW/OS Fault-Tolerance (course)

• Embedded Mobile Computing (seminar)

• Secure and Reliable OS  (seminar)

• Introduction in Trusted Systems (Kanonik)

SS 2007:

• Embedded Mobile Computing (seminar)

• Secure and Reliable OS  (seminar)

WS 2006/2007:

• Operating Systems (course)

• Mobile Embedded Systems (seminar)

• Secure/Trusted Operating Systems  (seminar)

• Introduction in Trusted Systems (Kanonik)

SS 2006:

• Introduction to Computer Science II (course)

• GDI II

• Software Testing (seminar)

• Robust Software Systems (seminar)

WS 2005/2006:

• Trustworthy Operating Systems (course)

• Dependable Embedded Systems (seminar)

• System Dependability and Security (seminar)

• Introduction in Trusted Systems (Kanonik)

SS 2005:

• Introduction to Computer Science 2

WS 2004/2005:

• Dependability I: Reliable Distributed Systems (course)

• Introduction in Trusted Systems (course)

• System Dependability and Security (seminar)

• Dependable Embedded Systems (seminar)

SS 2004:

• Dependability II: Robust Software Systems (course)

• Software Testing (seminar)

• Robust Software Design (seminar)

WS 2003-2004:

• Dependability I

Past courses at Boston University, NJ and Chalmers:

• EDA 120 - Dependable Distributed and Embedded Systems

• SC 312 - Advanced Computer Architectures

• SC 790 - Dependable & Embedded Distributed Systems

• CIS 630 - Advanced Operating Systems

• CS 242 - Data Structures and Algorithm Design