Kritikus architektúrák laboratórium

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

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.

Az első laboron beugrót íratunk, melynek anyaga az első laborhoz tartozó segédanyagban található.

A tárgyhoz saját GitHub organization tartozik, ahol a hallgatói csapatok repositoryjai találhatók.

Eredmények

Eredménytáblázat (2018)

Virtuális gép

A félév során letölthető a virtuális gép képfájlja.

A virtuális gép konfigurációja

Apt-vel telepíthető eszközök esetén szögletes zárójelben megadtuk az Ubuntu csomag nevét.

Ütemezés

Sorszám Dátum Időpont Labor Oktató
1 2018.02.07. 8:30–12:00 SAT-alapú erőforrás allokáció modellvezérelt környezetben Semeráth Oszkár, Szárnyas Gábor 
2 2018.02.14. 8:30–12:00 Domain-specifikus nyelvek automatikus elemzése Debreceni Csaba
3 2018.02.21. 8:30–12:00 Megbízhatósági modellezés Marussy Kristóf
4 2018.02.28. 8:30–12:00 Programverifikáció I: korlátos modellellenőrzés Tóth Tamás
5 2018.03.07. 8:30–12:00 Programverifikáció II: predikátumabsztrakció Tóth Tamás
6 2018.03.14. 8:30–12:00 Elosztott adatbázis-kezelők I Szárnyas Gábor
7 2018.03.21. 8:30–12:00 Elosztott adatbázis-kezelők II Szárnyas Gábor
8 2018.03.28. 8:30–12:00 Felhő infrastruktúra használati mintáinak felderítő elemzése Kocsis Imre
TBA TBA Pótmérés