Hands-On Dependability

Dear all,

Today, we created version 2024-02-06 of the coursebook. We plan not to change the coursebook until the exam (except for bug fixes).

Please review the changelog and ensure you did not miss some of the content we added a few weeks back.

Apart from that, good luck with your exam period!

Regards,
The HOD Team

Dear HOD students,

on Tuesday, we'll meet for the last time to talk about content. The 90 minutes will be split into:

• at most 60 minutes Active Plenum on U14
• around 30 minutes Wrap-Up and Outlook, Q&A

I will transition from one to the other either when we run out of questions or after exhausting the time limit.

Best regards,
The HOD Team

Dear HOD students,

We released two more tasks for units that are already covered:

• W08: Model Fitting (By Hand)
• W10: Energy Demand

A spoiler warning: as these releases are off the normal schedule, we immediately released the solutions as well. So this time, we're not guarding you against spoiling fun and insights.

Best regards,
The HOD Team

Dear HOD students,

Tomorrow at 14:00, the P03 project template will be released, and the submission form will open. The project description can already be found here. Note that you have until Jan 30th at 14:00 (see also timetable).

We also released a changelog update so that you can see what has been modified since the last project was released.

Finally, the Docker container was updated as new tests (for P03) were created. Please make sure to re-download and re-import the changed container.

Good luck!

Regards
The HOD Team

Dear HOD students,

Happy New Year, and all the best for 2024!

The upcoming two units will be traditional lectures (no reading/exercises up-front, just stop by, listen, and discuss).

Here are a few more details:

• U10: Timo Hönig talks about "Energy-Aware Systems". This is a hybrid lecture for logistical reasons, i.e., the speaker is remote. We're switching to E1.3 HS001 on that day.
• U11: Holger Hermanns talks about "Time-dependent Dependability Analysis" and will be in our usual room.

Regards
The HOD Team

Dear HOD students,

tomorrow at 14:00 the P02 project template is released and the submission form opens. The project description can already be found here. Note that you have until Jan 09th 14:00 (see also timetable).

We also released a changelog update, so that you see what was modified since the last project was released. In particular the new Channel Models section could be of help for understanding the underlying channel.

Good luck and happy holidays!

Regards
The HOD Team

Dear HOD students,

P01b: MARKOCEAN caused some unanticipated (but in hindsight expectable) issues with the precision of floating point numbers. We updated the tests to switch from exact to approximate equality under sensible floating-point rounding behaviour.

Please download the updated markov-tests.rs file and replace it in your workspace. If you use the Docker verification container image, re-download it via dCMS and update your local Docker engine (use the same instructions you had for setting it up initially).

Best regards,
The HOD Team

Dear HOD students,

We realized a small inconvenience in our schedule. Originally, we would give you the P02 template at the same moment you are supposed to read U08 with essential content for the project.

Hence, we have shifted the release dates and deadlines for P02 and P03 by one week. Both the intro slide deck and dCMS timetable are updated.

The current project P01 is unaffected and you must submit part a next week and part b in the week afterwards.

Best regards,
The HOD Team

Dear HOD students,

The necessary file (Docker container image) is now available under course materials. How to use it is explained here.

Please make use of it to avoid surprises after submitting your project file.

Good luck (also with the P01b submission that is open starting today at 14:00).

Best regards,
The HOD Team

Dear HOD students,

tomorrow at 14:00 the P01 project template is released and the submission form opens (for P01a, P01b is delayed by one week). The project description can already be found here (P01a) and here (P01b) . Note that you have two weeks for P01a and an additional week for P01b (see also all deadlines in dCMS timetable). We strongly recommend that you do the tasks in order, despite the fact that they are relatively independent. Note that in order to pass P01, you have to pass both parts.

We also released a changelog update, so that you see what was modified since the course started in October. In particular the improved Markov Fundamentals section could be of help for working on P01b.

Currently, the Docker container that forms the Verification Environment is not yet uploaded to dCMS. We will post it there in due time to allow you some tests before submission.

Regards The HOD Team