Kritikus architektúrák laboratórium - Segédanyagok

Félév: 2020. tavasz
Cím Egyedi szöveg
Követelmények
1. Szolgáltatásbiztonság elemzése
2. Programverifikáció I: korlátos modellellenőrzés

Formális módszerek tárgy diasora korlátos modellellenőrzés témában.

3. Domain-specifikus nyelvek automatikus elemzése

Alloy eszköz letölthető az alábbi linkről:
https://alloytools.org/download/alloy4.2_2015-02-22.jar

 

4. Kiberfizikai rendszerek SAT alapú erőforrás allokációja
5. Programverifikáció II: predikátumabsztrakció

Javasolt olvasmány a Formális módszerek tárgy diasora CEGAR témában

Kiinduló projekt: https://github.com/ftsrg-ca/ca/tree/master/program-verification-2

6. Felhő infrastruktúra használati mintáinak felderítő elemzése
7. Elosztott adatbázisok I. (Redis)

Redis clustering tutorial

8. Elosztott adatbázisok II. (Cassandra)
Félév: 2019. tavasz
Cím Egyedi szöveg
Követelmények
1. Programverifikáció I: korlátos modellellenőrzés

Formális módszerek tárgy diasora korlátos modellellenőrzés témában.

2. Programverifikáció II: predikátumabsztrakció

Formális módszerek tárgy diasora CEGAR témában.

3. Domain-specifikus nyelvek automatikus elemzése
4. Kiberfizikai rendszerek SAT alapú erőforrás allokációja
5. Szolgáltatásbiztonság analízise
6. Infrastruktúra adatelemzés
7. Elosztott adatbázis-kezelők I
8. Elosztott adatbázis-kezelők II

Redis clustering tutorial

Félév: 2018. tavasz
Cím Egyedi szöveg
Követelmények
1. Kiberfizikai rendszerek SAT alapú erőforrás allokációja
2. Domain-specifikus nyelvek automatikus elemzése
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.

4. Programverifikáció I: korlátos modellellenőrzés

Formális módszerek tárgy diasora korlátos modellellenőrzés témában.

5. Programverifikáció II: predikátumabsztrakció

Formális módszerek tárgy diasora CEGAR témában.

6. Elosztott adatbázis-kezelők I
Tartalom átvétel