Kritikus architektúrák laboratórium - Segédanyagok

Félév: 2019. tavasz
Cím	Egyedi szöveg
Követelmények	ca-2019-intro.pdf balesetmegelozes.pdf
1. Programverifikáció I: korlátos modellellenőrzés	Formális módszerek tárgy diasora korlátos modellellenőrzés témában. ca-program-verification-1.pdf
2. Programverifikáció II: predikátumabsztrakció	Formális módszerek tárgy diasora CEGAR témában. ca-program-verification-2.pdf
3. Domain-specifikus nyelvek automatikus elemzése	ca-dsl-analysis.pdf dsl-projects_0.zip

Félév: 2018. tavasz
Cím	Egyedi szöveg
Követelmények	ca-2018-intro.pdf
1. Kiberfizikai rendszerek SAT alapú erőforrás allokációja	lab1-ca-sat.pdf
2. Domain-specifikus nyelvek automatikus elemzése	ca-dsl-analysis.pdf dsl-projects.zip
3. Megbízhatósági modellezés	A Möbius futtatásához Window alatt szükség lehet az OpenSSL dll-ekre, 64 bites operációs rendszer alatt a 64 bites dll-eket a System32, a 32 bites dll-eket a SYSWOW64 mappába kell tenni. ca-dependability.pdf ca-dependability-exercises.pdf
4. Programverifikáció I: korlátos modellellenőrzés	Formális módszerek tárgy diasora korlátos modellellenőrzés témában. ca-bounded-model-checking.pdf
5. Programverifikáció II: predikátumabsztrakció	Formális módszerek tárgy diasora CEGAR témában. ca-predicate-abstraction.pdf
6. Elosztott adatbázis-kezelők I	ca-nosql.pdf Magyar nyelvű jegyzet a quorum konszenzushoz.
7. Elosztott adatbázis-kezelők II	Redis clustering tutorial Ezen a laboron nincsenek különösebb elméleti nehézségek, ezért nem lesz beugró. Haladjatok az önlabbal/diplomatervvel!
8. Infrastruktúra adatelemzés	infra_data_analysis_syllabus.pdf syllabus_and_assignments.pdf

Félév: 2017. tavasz
Cím	Egyedi szöveg
1. Bevezető laboratórium	ca-2017-intro.pdf
2. Programverifikáció I: korlátos modellellenőrzés	Kérjük ismételjétek át a Formális módszerek tárgy diasorát korlátos modellellenőrzés témában ca-bounded-model-checking.pdf
3. Programverifikáció II: predikátumabsztrakció	Formális módszerek tárgy diasora CEGAR témában ca-predicate-abstraction.pdf
4. NoSQL alapú elosztott adatbázisok vizsgálata	ca-nosql.pdf Magyar nyelvű jegyzet a quorum konszenzushoz.
5. Domain-specifikus nyelvek automatikus elemzése	ca-dsl-analysis.pdf tasks.pdf 2-dsl-analysis-skeleton.zip Reflektív
6. Kiberfizikai rendszerek SAT alapú erőforrás allokációja	ca-sat.pdf Opcionális kiindulási állapot
7. Megbízhatósági modellezés	ca-dependability.pdf ca-dependability-exercises.pdf
8. Infrastruktúra adatelemzés	infra_data_analysis_syllabus.pdf syllabus_and_assignments.pdf
9. Redis clustering	Redis clustering tutorial A laboron nem lesz beugró. Haladjatok az önlabbal/diplomatervvel!

Félév: 2016. tavasz
Cím	Egyedi szöveg
1. Bevezető laboratórium	ca-2016-intro.pdf
2. Domain-specifikus nyelvek automatikus elemzése	ca-dsl-analysis.pdf 2-dsl-analysis-skeleton.zip
3. Kiberfizikai rendszerek SAT alapú erőforrás allokációja	Alloy mirror ca-sat.pdf