| 1 | Paxos głosowanie | Zastosowanie algorytmu Paxos do głosowania nad wartością. System powinien składać się z 8 serwerów z zdefiniowanym liderem. Algorytm ma na celu porozumiewanie się pomiędzy elementami systemu i ustalenie wspólnej wartości. |
| 2 | Paxos wybór lidera | Algorytm Paxos wybiera lidera spośród dostępnych serwerów i aktualizuje wartość. System powinien składać się z 6 serwerów. Należy zapewnić możliwość wykrycia uszkodzonego lidera i wyboru nowego. |
| 3 | RAID | Symulacja macierzy dyskowych typu RAID0, RAID1, RAID3 złożonych z 4 symulowanych dysków, zawierających co najmniej 128 sektorów o pojemności co najmniej 32 bajtów każdy. Symulacja pracy pod obciążeniem i tworzenie statystyk. |
| 4 | CRC | Symulacja pracy 10 komputerów połączonych w sieć o topologii grafu. Pomiędzy wybranymi przez użytkownika węzłami można przesyłać informacje zabezpieczone kodem CRC (dowolny wielomian wprowadzany przez użytkownika). |
| 5 | Głosowanie przybliżone | Symulacja pracy 8 serwerów czasu połączonych w topologii gwiazdy z centralnym komputerem, wyznaczającym najbardziej prawdopodobny czas w drodze głosowania. Możliwość ustawienia wag dla każdego serwera satelitarnego. |
| 6 | Wykrywanie błędów kodem Bergera | System składający się z 8 serwerów połączonych w graf. Serwer nadzorujący wysyła 16-bitową informację zabezpieczoną kodem korekcyjnym Bergera. |
| 7 | Nadmiarowość TMR (pamięć) | Symulacja działania pamięci dzielonej w układzie TMR (Triple Modular Redundancy). Symulacja oparta o 6 serwerach, z analizą awarii i przywracania poprawności działania systemu poprzez mechanizm redundancji. |
| 8 | Nadmiarowość TMR (obliczenia) | Symulacja wykonywania obliczeń w układzie TMR. System oparty na 6 serwerach. Należy zapewnić odporność na błędy wynikające z uszkodzenia pojedynczych serwerów oraz mechanizmy głosowania i odtwarzania poprawnej wartości. |
| 9 | Zatwierdzenie dwufazowe | System powinien składać się z 6 serwerów oraz koordynatora. Każdy serwer aktualizuje wartość w systemie na drodze zatwierdzenia dwufazowego i ją zwraca. System powinien działać pomimo awarii koordynatora. |
| 10 | Korekcja błędów Hamminga | System składający się z 8 serwerów połączonych w graf. Serwer nadzorujący wysyła 16-bitową informację zabezpieczoną kodem korekcyjnym Hamminga, z możliwością symulowania błędów podczas transmisji danych. |
| 11 | Korekcja błędów Reeda-Solomona | System składający się z 4 serwerów połączonych w graf. Lider wysyła wiadomość z dodaniem korekcji błędów Reeda-Solomona. Projekt umożliwia symulację uszkodzeń wiadomości i retransmisję danych przy dużej liczbie błędów. |
| 12 | Blockchain dla transakcji | System transakcyjny składający się z 6 serwerów, wykorzystujący technologię blockchain. Każda transakcja powinna być zatwierdzona przez większość serwerów. Symulacja odporności na awarie i integralności danych. |
| 13 | Optymalizacja systemów rozproszonych | Symulacja działania systemu rozproszonego składającego się z 10 serwerów. System powinien optymalizować czas dostępu do danych i rozkład obciążenia. Możliwość symulacji przeciążeń oraz awarii węzłów. |
| 14 | Konsensus w systemach bezpiecznych | System składający się z 8 serwerów, w którym wdrażany jest protokół konsensusu (np. Raft). Symulacja ataków na integralność systemu oraz jego odporności na różne zagrożenia bezpieczeństwa. |