- Kezdőlap
- Események
- Oktatás
- Specializációválasztás
- BSc tárgyak (Új képzés)
- MSc tárgyak (Új képzés)
- Önálló munka
- Választható tárgyak
- Doktori tárgyak
- Korábbi tárgyak
- Kutatás
- Hallgatóink sikerei
- Magunkról
Rendszermodellezés - Segédanyagok
Cím | Egyedi szöveg |
---|---|
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. FRISSÍTVE: segédlet a megbízhatósági modellezéssel kapcsolatos feladat elvégzéséhez. |
Modellellenőrzés és programverifiká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. |
Üzleti szabály alapú rendszerek, komplex eseményfeldolgozás | |
Gyakoroló ZH feladatok |
FRISSÍTVE (11.20.) A 8. gyakorlaton bemutattunk teszt jellegű feladatokat, ill. nagyfeladatokat is, a ZH mindkét feladattípusból tartalmazni fog példákat (minimumpont eléréséhez kötött "beugró" nem lesz). A felkészülés segítése érdekében ezeket a feladatokat, valamint a teszt feladatok megoldásait közreadjuk. A 11.09. teszt feladatsor megoldásai (helyes/igaz válaszok): 1. c, 2. abc, 3. a, 4. bc. A 11.12. teszt feladatsor megoldásait csatoltuk. |
Cím | Egyedi szöveg |
---|---|
Rendszermodellezés bevezető 2014. |
Tárgykövetelmények, információk, tematika. |
Modellezés alapfogalmak |
A modellezés alapfogalmai, céljai, modellek típusai. |
Állapot alapú modellezés - előadás |
Állapotpartíció, állapotgráf és állapotgép fogalma, absztrakciója, finomítása, szorzata, dekompozíciója. Illusztráció szakmai példákkal. |
1. gyakorlat: modellezés alapok | |
Házi feladat bemutató |
Folyamatok modellezése a BPMN folyamatmodellezési nyelv egy részhalmazával. A házi feladat adminisztratív és tartalmi feltételeinek ismertetése. Mintafeladat bemutatatása, valamint IBM Websphere Business Modeler eszközdemonstráció. Lásd még: HF feltételek, HF tanácsok. |
2. gyakorlat: állapot alapú modellezés | |
Feltáró adatelemzés |
Az előadás áttekintette a feltáró adatelemzés módszereit és alkalmazását. |
Benchmarking |
Az előadás áttekintette a benchmarkok szerepét az informatikában. Mintapéldaként a TPC-C mérési eredményeket vizsgáltuk meg feltáró adatelemzési módszerek használatával. |
3. gyakorlat: feltáró adatelemzés | |
Terhelésmodellezés, előrejelzési módszerek |
Terhelésmodellek, előrejelzés módszerei, regresszió, teljesítménytesztek. |
Kapacitástervezési metodika |
A kapacitástervezés főbb céljai, kihívásai, módszere. Zipf törvény, felhasználói viselkedés modellezése (CBMG). Az előadáson (az Intelligens Rendszerfelügyelet tárgy anyagát felelevenítve) virtualizált környezetek kapacitástervezésének kihívását is megnéztük esettanulmányként. (2014.11.16) |
Teljesítménymodellezés |
Teljesítménymodellezés célja, paraméterei, Little-törvény és kapcsolódó összefüggések, szűk keresztmetszet keresése. A segédlet frissült 2014. nov. 13-án. |
4. gyakorlat: teljesítményelemzés | |
Kísérlettervezés alapfogalmai |
Kísérlettervezés alapfogalmai. Valószínűségszámítási emlékeztető, mérések számának tervezése, konfidencia intervallum. A csatolt fóliasor utolsó két diája kiegészítő anyag, a kísérlettervezés és statisztika tágabb lehetőségeiről és IT ipari alkalmazásáról. |
Adatfolyamhálók |
Adatfolyamhálók fogalma (be- ill. kimenet, csomópont, token, végtelen kapacitású FIFO csatorna). Adatfolyamhálók állapottere, strukturális dekompozíciója. Állapotterek finomítása és absztrakciója struktúra, tokenek és belső működés (állapottér) mentén. Determinizmus adatfolyamhálókban. Az órán táblás előadás volt. A csatolt diasor kiegészítő anyag (Frissítés: 2014-10-23-án lerövidítve). |
5. gyakorlat: kísérlettervezés és adatfolyamhálók | |
Hibamodellezés |
Az előadás bemutatja a hibamodellezés és a szolgáltatásbiztonság alapfogalmait. |
Segédlet a megbízhatósági modellezéshez (HF) |
Segédanyag a házi feladat "megbízhatósági modellezés" részének megoldásához. |
6. gyakorlat: hibamodellezés | |
Modellellenőrzés, programverifikáció |
A viselkedésmodellek statikus és dinamikus ellenőrzése. A modellellenőrzés célja, bemenete és kimenetei. A program mint viselkedésmodell analízise. |
WebSphere segédlet |
A segédlet egy mintapéldán mutatja be a WebSphere Business Modeler használatát. |