Kritikus architektúrák laboratórium

Tárgyfelelős: 
Szárnyas Gábor
Oktatók: 
Kocsis Imre
Oktatók: 
Marussy Kristóf
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
Korábbi oktatók: 
Vörös Andrá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.

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

Eredmények

TBD

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 2019.02.06. 8:30–12:00 Programverifikáció I: korlátos modellellenőrzés Tóth Tamás
2 2019.02.13. 8:30–12:00 Programverifikáció II: predikátumabsztrakció Tóth Tamás
3 2019.02.20. 8:30–12:00 Domain-specifikus nyelvek automatikus elemzése Semeráth Oszkár
4 2019.02.27. 8:30–12:00 Kiberfizikai rendszerek SAT alapú erőforrás allokációja Semeráth Oszkár
5 2019.03.06. 8:30–12:00    
6 2019.03.13. 8:30–12:00    
7 2019.03.27. 8:30–12:00    
8 2019.04.03. 8:30–12:00    
TBA TBA Pótmérés  

További:

Laborvezetők

Kocsis Imre
Szárnyas Gábor
Semeráth Oszkár

Laborok

Megbízhatósági modellezés
SAT-alapú erőforrás allokáció modellvezérelt környezetben
Domain-specifikus nyelvek automatikus elemzése
Elosztott adatbázis-kezelők I
Elosztott adatbázis-kezelők II
Felhő infrastruktúra használati mintáinak felderítő elemzése