TU Wien:Dependable Systems VU (Poledna)/Prüfung 2022-06-20

Zoom, jeder einzeln im Meeting und verlässt Meeting und der nächste wird reingelassen. Prüfer ist extrem angenehm und solange man weiß um was es geht sind Formulierungen und präzise Wortwahl komplett egal.

• Prüfung 1
  • Failt-failure-error, alle drei erklären was die sind. Ich hab Bsps dazu gegeben.
  • Modellierungsarten (simple block, arbitrary block, markov, petri), was kann markov was block nicht kann?
  • Replika Determinismus, was ist das genau, was sind innere, äußere ursachen für nicht determined
  • eigenes Bsp. nur erklären, eigentlich keine echten Fragen. Mehr als Beweis das mans selber gemacht hat.

• Prüfung 2
  • Failt-failure-error, alle drei erklären was die sind
  • Modellierungsarten (simple block, arbitrary block, markov, petri), was kann markov was block nicht kann?
  • Logical and Real time clocks
  • eigenes Bsp. nur erklären, eigentlich keine echten fragen