Kritikus architektúrák laboratórium
Távoktatás: a tárgy laborfoglalkozásai önállóan teljesíthetők. Az órarendi időpontban konzultációs segítséget nyújtunk a Microsoft Teams szolgáltatáson. A végleges laborjegyzőkönyvek benyújtásának határideje laborfoglalkozás hetén vasárnap 23:59.
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 (github.com/ftsrg-ca) tartozik, ahol a hallgatói csapatok repositoryjai találhatók.
Eredmények
Virtuális gép
A tárgy során egy VirtualBox virtuális gépet használunk. A félév során letölthető ennek a képfájlja (Dropbox, OneDrive)
A gép konfigurációja az alábbi csomagokat tartalmazza. A Debian/Ubuntu csomagkezelőjével telepíthető eszközök esetén szögletes zárójelben megadtuk az adott csomag nevét.
-
OS
- Xubuntu 18.04 LTS
-
Command line
- The Silver Searcher [silversearcher-ag]
- htop [htop]
- SSH server [ssh]
- Guake [guake]
- Cluster SSH [clusterssh]
- Terminal Multiplexer [tmux]
-
IDE, text editorok
- Atom
- VSCodium (VS Code)
-
Eclipse 2018.12 Modeling
- Xtend IDE
- Eclipse Acceleo plug-in
- IntelliJ IDEA
- RStudio
- vim [vim]
-
VCS
- Git [git]
-
Build
- Gradle [gradle, PPA-ból: https://launchpad.net/~cwchien/+archive/ubuntu/gradle]
-
Runtime környezetek
- Oracle JDK8: https://github.com/FTSRG/cheat-sheets/wiki/Linux-packages#oracle-jdk
-
R-3.x [r-base r-base-dev]
- R csomagok: install.packages(c("ggplot2", "reshape2", "plyr", "knitr", "rmarkdown"), repos = "http://cran.us.r-project.org")
- Egyéb eszközök
Telepítendő:
- pyspark
Ütemezés
Sorszám | Dátum | Időpont | Labor | Oktató |
1 | 2020.02.12. | 8:30–12:00 | Megbízhatósági modellezés | Marussy Kristóf |
2 | 2020.02.19. | 8:30–12:00 | Programverifikáció I: korlátos modellellenőrzés | Marussy Kristóf |
3 | 2020.02.26. | 8:30–12:00 | Domain-specifikus nyelvek automatikus elemzése | Semeráth Oszkár |
4 | 2020.03.04. | 8:30–12:00 | Kiberfizikai rendszerek SAT alapú erőforrás allokációja | Semeráth Oszkár |
5 | 2020.03.11. | 8:30–12:00 | Programverifikáció II: predikátumabsztrakció | Hajdu Ákos |
2020.03.18. | oktatási szünet | |||
6 | 2020.03.25. | 8:30–12:00 | Felhő infrastruktúra használati mintáinak felderítő elemzése | Kocsis Imre |
7 | 2020.04.01. | 8:30–12:00 | Elosztott adatbázis-kezelők I (Redis) | Szárnyas Gábor |
8 | 2020.04.08. | 8:30–12:00 | Elosztott adatbázis-kezelők II (Cassandra) | Szárnyas Gábor |
– | TBA | TBA | Pótmérés |