Rendszermodellezés - Segédanyagok
| Title | Egyedi szöveg |
|---|---|
| Modellek ellenőrzése |
Modellek ellenőrzése, statikus analízis, holtpont fogalma, nemfunkcionális követelmények, tesztelés és fedettségi kritériumok. |
| 4. gyakorlat: modellek ellenőrzése és tesztelése | |
| Teljesítménymodellezés |
1. előadás: Teljesítménymodellezés célja, alapfogalmai: válaszidő, kihasználtság, átbocsátás/átbocsátóképesség, skálázás, egyensúlyi állapot. |
| 5. gyakorlat: Teljesítménymodellezés | |
| Hibamodellezés |
A szolgáltatásbiztonság alapfogalmai, hibamodellezés, a szolgáltatásbiztonság jellemzői, hibatűrés módszerek, szolgáltatásbiztonság analízise, hibafa. |
| Adatelemzés és mérések |
Az adatelemzés célja, regressziós módszerek, átlagolásra építő módszerek használata terheléselőrejelzésben, benchmarkok használata, a következtető statisztika alapjai, kísérlettervezés. |
| Feltáró vizuális adatelemzés |
A feltáró vizuális adatelemzés fogalmai, statisztikai alpafogalmak, plot típusok. |
| Kapacitástervezés |
Kapacitástervezés lépései és célja, felhasználói viselkedés modellezése, esettanulmányok. |
| Modellek analízise: modellellenőrzés, programverifikáció és szimuláció |
A viselkedésmodellek és programok verifikációjának megközelítései példákkal. A dinamikus és statikus, ill. kimerítő és szúrópróbaszerű ellenőrzés különbségei. Modellellenőrzés fogalma és nehézségei. Az UPPAAL ezsköz bemutatása egy egyszerű példán keresztül. Viselkedésmodell szimulációjának célja, szerepe, nehézségei. Folyamatmodell szimulációja versengéssel. Szimulációs algoritmusok. |
| Üzleti szabályrendszerek, komplex eseményfeldolgozás |
Üzleti szabályrendszerek alapjai, következtető motor, előre/hátraláncoló rendszerek, tény és szabálybázis fogalma. Komplex eseményfeoldogzás és felhasználásai. |
| Rendszermodellezés ZH felkészülés |
Minta kis- és nagykérdések. UPDATE (11.20.): Felkerült a 2. és 3. kiskérdéssor megoldása. Igaz (helyes) válaszok az 1. kérdéssorban: 1. c, 2. abc, 3. a, 4. bc. |
| 6. gyakorlat | |
| 7. gyakorlat |
| Title | Egyedi szöveg |
|---|---|
| Jegyzet | |
| MintaZH1 |
Az első zárthelyi (VIMIA00) felkészülését segítő mintaZH, tartalma aktualizálva a 2016. tavaszi anyag szerint (az anyagot a VIMIA405 hallgatóitól is számonkérjük a félév végén.) |
| Rendszermodellezés tárgy információk 2016. tavasz |
Tárgykövetelmények, ütemezés, oktatók. |
| Modellezés bevezető |
Mi a modellezés célja, mire használunk modelleket? Jegyzet: |
| Strukturális modellezés előadás |
Hogyan modellezzük összetett rendszerek felépítését áttekinthető módon? Jegyzet: Struktúra alapú modellezés (A5) |
| 1. gyakorlat: Struktúra alapú modellezés | |
| Rendszermodellezés HF bemutató 2016. tavasz |
A házi feladat bemutató előadása, határidőkkel és magyarázattal. |
| Állapot alapú modellezés |
Az állapot alapú modellezés alapfogalmai, állapottér, finomítás, állapotgépek, felhasználásuk. Jegyzet: Állapot alapú modellezés (A5) |
| 2. gyakorlat: Állapot alapú modellezés | |
| Folyamatmodellezés |
Folyamatmodellezés alapjai, céljai, vezérlési elemek, jólstrukturált folyamatok.
Frissült (03.24.): kisebb javítások mellett bekerült az órán ismertetett példa folyamatmodell magyar nyelvű verziója. Jegyzet: Folyamatmodellezés (A5) |
| 3. gyakorlat: Folyamatmodellezés | |
| Teljesítménymodellezés |
Teljesítménymodellezés célja, alapfogalmai: válaszidő, kihasználtság, átbocsátás/átbocsátóképesség, skálázás, egyensúlyi állapot. |
