| Semester | ||||||||||||||||||||||||||||||||||||||||||||||
| Modulnummer | INF-VS-041 | |||||||||||||||||||||||||||||||||||||||||||||
| Studiengänge | Informatik Bachelor, Informations-Systemtechnik Bachelor, Wirtschaftsinformatik Bachelor, Informatik Master, Informations-Systemtechnik Master, Wirtschaftsinformatik Master | |||||||||||||||||||||||||||||||||||||||||||||
| IBR Gruppe | DS (Prof. Kapitza) | |||||||||||||||||||||||||||||||||||||||||||||
| Art | Seminar | |||||||||||||||||||||||||||||||||||||||||||||
| Dozent | ||||||||||||||||||||||||||||||||||||||||||||||
| Assistent | Ines Messadi Ehemalige Wissenschaftliche Mitarbeiterin | |||||||||||||||||||||||||||||||||||||||||||||
| LP | 5 | |||||||||||||||||||||||||||||||||||||||||||||
| SWS | 0+2 | |||||||||||||||||||||||||||||||||||||||||||||
| Ort & Zeit | Kick-Off Meeting: Tuesday, 03.11, 1:00. All potential questions regarding the seminar (difficulty of topics, presentation style, etc.) will be answered during the kick-off meeting. The seminar wil happen entirely online: https://bbb.ibr.cs.tu-bs.de/b/ine-2a7-pg3 | |||||||||||||||||||||||||||||||||||||||||||||
| Scheinerwerb | Abgabe einer substanziellen Ausarbeitung sowie erfolgreiche Präsentation. Die Note ist sowohl von der Beteiligung im Seminar als auch der Qualität der Ausarbeitung und Präsentation abhängig. | |||||||||||||||||||||||||||||||||||||||||||||
| Anmeldung | Die Teilnehmerzahl ist auf 15 Studierende begrenzt. Die Anmeldung ist ausschließlich über StudIP möglich. | |||||||||||||||||||||||||||||||||||||||||||||
| Inhalt |
The following is a preliminary list of topics. The papers might be extended or changed.
| |||||||||||||||||||||||||||||||||||||||||||||
| Material | Diese Unterlagen sind nur für registrierte Teilnehmer zugänglich. Um sich zu registrieren, benötigen Sie entweder einen IBR-POSIX-Account, den Sie vielleicht bereits im Rahmen einer Arbeit am Institut erhalten haben, oder einen selbst aktivierten IBR-y-Account. Anschließend melden Sie sich über die Login-Funktion dieser Website an. Kapitel Folien Übungen 1. Kick-off  2. Deadlines 3. Velisarios, Formal Verification of Byzantine Fault Tolerant Protocols 4. Using RDMA for Replication Protocols 5. Leaderless BFT Replication | |||||||||||||||||||||||||||||||||||||||||||||
| Termine | 03.11.2020, 13:00 Uhr Kick-Off Meeting (BBB) 11.01.2021, 16:45 Uhr Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq (BBB) 18.01.2021, 16:45 Uhr Remote Direct Memory Access on agreement and replication (BBB) 25.01.2021, 16:45 Uhr Leaderless Fault-Tolerant Replication (BBB) | |||||||||||||||||||||||||||||||||||||||||||||
| Literatur/Links | Hilfestellung zum Seminar:
Für die Literaturrecherche können folgende Links hilfreich sein: | |||||||||||||||||||||||||||||||||||||||||||||
Das SeminarDie bevorzugte Sprache für Präsentation und die Ausarbeitung ist Englisch, Deutsch ist aber möglich. Jeder Teilnehmer übernimmt die Veröffentlichung(en) eines Themas. Alle Teilnehmer erstellen ein Peer Review, dazu gehört:
BemerkungenDie abzugebenden Dokumente umfassen die Ausarbeitung und einen Foliensatz:
Jeder Teilnehmer sollte auf seinem Paper aufbauende Veröffentlichungen studieren. Die Seminarbetreuer können bei der Themenfindung helfen. An der Universität werden akademische und persönliche Integrität groß geschrieben. Dementsprechend muss die Ausarbeitung in eigenen Worten erfolgen. Plagiate verstoßen gegen die Prüfungsordnung. TemplatesDas LaTeX Template für die Ausarbeitung findet sich hier. Zusätzliche Anregungen zur Ausarbeitung finden sich hier. LaTeX Templates für den Foliensatz befinden sich hier. | ||||||||||||||||||||||||||||||||||||||||||||||