News
Currently, no news are available
This is a module in the computer science and related programmes at Saarland University.
The module has been awarded a Busy Beaver Award for excellent teaching in 2023.
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, and 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:
- Active Plenum
- Tuesdays E1.3 HS003, 14:15 - 15:45 (starting Oct, 24th)
- Come with reading done and questions prepared - this is NOT a lecture, except for the very first slot.
- Office Hour:
- Mondays E1.3 SR 107 14:15 - 15:45 (starting Oct, 30th)
- Join an open space to work on the material, collaborate with others, and ask questions.
- Projects: 3 small ones (deadlines TbA)
- Exam:
- Time: TbA
- Room: TbA
- You can find all the dates here (as soon as they are fixed)
- Active Plenum
- 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:
- No prior dependability knowledge is needed.
- Elementary programming skills required (e.g. Programmierung 2 or comparable).