Kritikus architektúrák laboratórium

Tárgyfelelős: 
Szárnyas Gábor
Oktatók: 
Kocsis Imre
Oktatók: 
Klenik Attila
Oktatók: 
Semeráth Oszkár
Oktatók: 
Szárnyas Gábor
Oktatók: 
Tóth Tamás
Korábbi oktatók: 
Honfi Dávid
Korábbi oktatók: 
Salánki Ágnes

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 tartozik, ahol a hallgatói csapatok repositoryjai találhatók.

Virtuális gép

Letölthető a félév során használt virtuális gép képfájlja. Ha nem tudja megnyitni régebbi verziójú VMware player, akkor a CA-Lab-2017.vmx fájlban az alábbi sort 

virtualHW.version = "12"

cseréljük le erre:

virtualHW.version = "11"

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.

Eredmények

Eredménytáblázat

Ütemezés

Sorszám Dátum Időpont Labor Oktató
1 2017.02.08. 10:00–12:00 Bevezető labor Kocsis Imre 
2 2017.02.15. 8:30–12:00 Programverifikáció I: korlátos modellellenőrzés Tóth Tamás
3 2017.02.22. 8:30–12:00 Programverifikáció II: predikátumabsztrakció Tóth Tamás
4 2017.03.01. 8:30–12:00 Elosztott adatbázis-kezelők Szárnyas Gábor
5 2017.03.08. 8:30–12:00 Domain-specifikus nyelvek automatikus elemzése Semeráth Oszkár
6 2017.03.22. 8:30–12:00 SAT-alapú erőforrás allokáció modellvezérelt környezetben Semeráth Oszkár
7 2017.03.29. 8:30–12:00 Megbízhatósági modellezés Klenik Attila
8 2017.04.05. 8:30–12:00 Felhő infrastruktúra használati mintáinak felderítő elemzése Kocsis Imre
9 2017.04.12. 8:30–12:00 Kiberfizikai rendszerek Kocsis Imre
2017.05.17. 8:30–12:00 Pótmérés