Hands-On Dependability

Dear HOD students,

The re-exam participants should have received an email and can also see their results in dCMS.

The exam inspection takes place on Thursday, April 18th 2024, between 12:45 and 13:15 in E1.3 Room 528. You do not need to register for this inspection but must bring your student ID. You will not be allowed to take pictures or notes during the inspection.

Best regards,
The HOD Team

Dear HOD students,

The re-exam takes place on Monday, March 25, starting at 14:00 (sharp!). It will be a written exam, just like the final exam. On your personal status page, provided you are admitted to and registered for the exam, you will now find the seat assigned to you. If we have not assigned you a seat and you think this is a mistake, please let us know as soon as possible.

Please arrive at the lecture hall at 13:53 at the latest so you have enough time to find your seat.

The exam will take around 90 minutes. You will need your national ID card or passport and your student ID card, as well as writing utensils (an indelible pen, neither red nor green). You will not need your own paper. You are not allowed to use a calculator.

Regards,
The HOD Team

Dear HOD students,

The exam participants should have received an email and can also see their results in dCMS. The grades have been entered into LSF already to allow you to register for the exam retake.

The exam inspection takes place on Thursday, March 7th 2024, between 11:30 and 12:30 in E1.3 Room 528. You do not need to register for this inspection but must bring your student ID. You will not be allowed to take pictures or notes during the inspection.

Best regards,
The HOD Team

Dear students,

Surprisingly, there were notation errors in the importance measures in Quantitative Fault Tree Analysis that nobody has spotted in the last two years. This issue was raised on the forum.

Note that all of you who passed safe-v have provided a working solution and demonstrated an understanding. Furthermore, all the provided results were correct, apparently thanks to multiple errors cancelling each other out (which also led to this bug hiding for so long). We believe something about errors in the real world can be learned from this story.

We just updated the respective course book section. It might be valuable for you to have another look at the corrected (and clarified) version.

We also realized that QFTA sample solutions are missing (which apparently none of you missed?). We plan to release them later today. If you urgently need them, ... well, use your safe-v implementation to double-check the results you produce by hand.

With that, keep up the good exam preparation work and see you on Tuesday!

Best Regards,
The HOD Team

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