News

Course Cancellation

Written on 04.04.22 by Holger Hermanns

Dear students,

Unfortunately, we have to cancel the course because its lecturer, Dr. Andreas Schmidt, fell sick. We wish Andreas all the best and a good and speedy recovery.

We will keep you posted about any updates and potential future iterations of the course.

Best regards,
The HOD Team

This lecture has been cancelled.

Introduction

Software is driving more and more systems that surround us and impact our daily life... and it is becoming increasingly important to build these systems dependably. This is "Hands-On Dependability (with Rust)" (HOD), a course designed to introduce computer science students to two things: a) foundations of dependable systems and software as well as b) the Rust programming language.

So let's put our hard hats on and get started...

Curriculum

The course covers four major areas, giving you practical and theoretical knowledge to create, maintain, and advance dependable software systems, which are essential for today's world. We will answer the following questions (amongst others) in this course:

  • Foundations of Dependability
    • What is dependability, availability, reliability, safety, etc. and where do we find it in the real world?
    • How are hazards, risks, faults, errors, failures related?
  • Foundations of Rust
    • How to get started with Rust and write your first programs?
    • What makes Rust special? And why is it advertised as a "safe" language?
  • Advanced Dependability Concepts
    • How can information be transmitted reliably?
    • How can we analyze systems mathematically for their reliability and availability?
  • Software Engineering with Rust and GitLab
    • What tools does Rust provide (e.g. cargo) to develop software?
    • How can we leverage GitLab, including continuous integration, to make our software development process more dependable?

Organization

  • Credit Points: 6 graded (Advanced Lecture)
  • Audience: Students at any stage in their studies who want to learn about Rust and Dependability
  • Passing Criteria: Written Exam and Mini Projects
  • Schedule:
    • During the semester
      • Time: ???
        • active plenum ??-days ??:00 - ??:00 (come with reading done and questions prepared - this is NOT a lecture, except for the very first slot)
        • office hour ??-days ??:00 - ??:00 (join an open space to work on the material, collaborate with others, and ask questions)
      • Room: TbA
    • 3 small projects (deadlines TbA)
    • a small exam:
      • Time: tba
      • Room: tba
    • You can find all the dates here (as soon as they are fixed)
  • Material / Language:
    • Material is in English and provided in the form of a web-based living coursebook (including code fragments, videos, etc.)
    • Instructors and tutors speak German (gerne bei Problemen auf Deutsch Fragen stellen und Antworten bekommen)
  • Requisites:
    • Enough motivation and drive for taking part in a short but intensive course with many new concepts.
    • No prior dependability knowledge is needed.
    • Elementary programming skills required (e.g. Programmierung 2 or comparable).

 

 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators