Kritikus architektúrák laboratórium

Senior Lecturer: 
Gábor Szárnyas
Instructors: 
Ákos Hajdu
Instructors: 
Imre Kocsis
Instructors: 
Kristóf Marussy
Instructors: 
Oszkár Semeráth
Instructors: 
Gábor Szárnyas
Former Instructors: 
Dávid Honfi
Former Instructors: 
Ágnes Salánki
Former Instructors: 
András Vörös

Távoktatás: a tárgy laborfoglalkozásai önállóan teljesíthetők. Az órarendi időpontban konzultációs segítséget nyújtunk a Microsoft Teams szolgáltatáson. A végleges laborjegyzőkönyvek benyújtásának határideje laborfoglalkozás hetén vasárnap 23:59.

 

A tantárgy célkitűzése a Szoftver- és rendszerellenőrzés, valamint a Kiberfizikai rendszerek tantárgyak anyagának gyakorlása és elmélyítése laboratóriumi mérések elvégzésével.

A tárgyhoz saját GitHub organization (github.com/ftsrg-ca) tartozik, ahol a hallgatói csapatok repositoryjai találhatók.

Eredmények

Eredménytáblázat.

Virtuális gép

A tárgy során egy VirtualBox virtuális gépet használunk. A félév során letölthető ennek a képfájlja (Dropbox, OneDrive)

A gép konfigurációja az alábbi csomagokat tartalmazza. A Debian/Ubuntu csomagkezelőjével telepíthető eszközök esetén szögletes zárójelben megadtuk az adott csomag nevét.

Telepítendő:

  • pyspark

Ütemezés

Sorszám Dátum Időpont Labor Oktató
1 2020.02.12. 8:30–12:00 Megbízhatósági modellezés Marussy Kristóf
2 2020.02.19. 8:30–12:00 Programverifikáció I: korlátos modellellenőrzés Marussy Kristóf
3 2020.02.26. 8:30–12:00 Domain-specifikus nyelvek automatikus elemzése Semeráth Oszkár
4 2020.03.04. 8:30–12:00 Kiberfizikai rendszerek SAT alapú erőforrás allokációja Semeráth Oszkár
5 2020.03.11. 8:30–12:00 Programverifikáció II: predikátumabsztrakció Hajdu Ákos
  2020.03.18.   oktatási szünet  
6 2020.03.25. 8:30–12:00 Felhő infrastruktúra használati mintáinak felderítő elemzése Kocsis Imre
7 2020.04.01. 8:30–12:00 Elosztott adatbázis-kezelők I (Redis) Szárnyas Gábor
8 2020.04.08. 8:30–12:00 Elosztott adatbázis-kezelők II (Cassandra) Szárnyas Gábor
TBA TBA Pótmérés