Rendszermodellezés - Segédanyagok

Félév: 2016. ősz
Cím	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. Előadásfóliák
4. gyakorlat: modellek ellenőrzése és tesztelése	Feladatsor Megoldások
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. 2. előadás: Little-törvény és alkalmazása, Zipf törvény, terhelésmodellezés. Teljesítménymodellezés 1 Teljesítménymodellezés 2
5. gyakorlat: Teljesítménymodellezés	Feladatsor Megoldások
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. Előadásfóliák Házi feladat segédlet (megbízhatósági modellezés)
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. Előadásfóliák
Feltáró vizuális adatelemzés	A feltáró vizuális adatelemzés fogalmai, statisztikai alpafogalmak, plot típusok. Előadásfóliák
Kapacitástervezés	Kapacitástervezés lépései és célja, felhasználói viselkedés modellezése, esettanulmányok. Előadásfóliák
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. Előadásfóliák: modellellenőrzés, programverifikáció Előadásfóliák: szimuláció
Ü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. Előadásfóliák
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. remo-405-mintakiskerdesek-1.pdf remo-405-mintakiskerdesek-2.pdf remo-405-mintanagykerdesek-2016.pdf remo-405-mintakiskerdesek-2016-3.pdf remo405-mintakiskerdesek-2-megoldas.pdf remo-405-mintakiskerdesek-2016-3-megoldas.pdf
6. gyakorlat	Feladatsor Megoldások
7. gyakorlat	Feladatsor Megoldások

Félév: 2016. tavasz
Cím	Egyedi szöveg
Jegyzet	Rendszermodellezés 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.) zh1-minta-2016.pdf
Rendszermodellezés tárgy információk 2016. tavasz	Tárgykövetelmények, ütemezés, oktatók. 00-intro.pdf
Modellezés bevezető	Mi a modellezés célja, mire használunk modelleket? Jegyzet: Bevezető (A5) Modellezés és metamodellezés (A5) Előadásfóliák
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) Előadásfóliák
1. gyakorlat: Struktúra alapú modellezés	Feladatsor Megoldások Haladó feladatsor Haladó feladatsor (csak alap gyakorlatok megoldásával)
Rendszermodellezés HF bemutató 2016. tavasz	A házi feladat bemutató előadása, határidőkkel és magyarázattal. Előadásfóliák
Á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) Előadásfóliák
2. gyakorlat: Állapot alapú modellezés	Feladatsor Megoldások Haladó feladatsor Haladó feladatsor (csak alap gyakorlatok megoldásával)
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. Frissült (04.14.): kisebb egyértelműsítés a 31. dián. Jegyzet: Folyamatmodellezés (A5) Előadásfóliák
3. gyakorlat: Folyamatmodellezés	Feladatsor Megoldások
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. Előadásfóliák