Rendszermodellezés
Ez az új tanterv tárgya, a régiért lásd: Rendszermodellezés_(régi)
A tantárgy tematikusan az informatikai rendszerek tervezési folyamatának modell alapú megközelítését tárgyalja.
Célkitűzése a későbbi tantárgyak által megtanítandó specializált modellezési paradigmák előkészítése, az alapvető modellezési feladatok és eszközök bemutatásával. Egyúttal bemutat néhány olyan fogalmilag tiszta és egyszerűen kezelhető eszközt is, amelyek segítségével a tervezés alapvető aspektusait a hallgatók készség szinten elsajátíthatják és egyszerű, működő alkalmazásokat is tudnak tervezni.
A hallgatók megismerik a magas szintű, grafikus eszközökre épülő, folyamat alapú rendszermodellezés, a helyességbizonyítás, teljesítményanalízis és szolgáltatásbiztonság alapfogalmait és megjelenésüket a modellezésben. A korábbi automataelméleti és rendszertechnikai ismereteikre építve megismerik a szabatos rendszertervezés alapjait. A hallgatók a modellezés munkafolyamatain keresztül elsajátítják az informatikai rendszerek implementációjának egyes munkafogásait. Jártasságot szereznek a szimulációs rendszervizsgálatokban és a mérési adatok vizuális elemzésében.
A tárgy kiemelt didaktikai célja a hallgatók absztrakciós készségének fejlesztése és a későbbi szakmai tárgyak fogalmi és motivációs előkészítése.
Követelmények
Előtanulmányi rend
- Kötelező: Nincs.
- Ajánlott: A programozás alapjai 1.
A szorgalmi időszakban
- Az aláírás feltételei:
- Két ZH sikeres (összes pontszám 40%-a + a beugrók fele, 5 pont) megírása.
- Egy házi feladat beadása és megvédése.
- Pótlási lehetőségek:
- A két ZH-ból csak az egyik pótolható, egyszer a pótlási héten, egyszer még később (különeljárási díj fejében). Ha egyik ZH sem sikerül elsőre, bukod a tárgyat.
- A házi feladat a pótlási hét végéig pótolható, különeljárási díj fejében.
Félévvégi jegy
A jegyet a félév közben szerzett pontok alapján adják. Megszerezhető pontok:
- HF: maximum 30 pont.
- ZH1: maximum 35 pont.
- ZH2: maximum 35 pont.
- Plusz pontokat az alábbi módon lehet szerezni:
- Bemelegítő HF: 0-5 pont
- Szorgalmi HF 0-8 pont (pótlási héten alakul ki)
- Gyakorlati részvétel és fakultatív kisZH-k: (0-10 pont)
- Ha a hallgató legalább 5 gyakorlaton részt vett: 5 legjobb kisZH összege, de mindenképpen legalább 5 (5-10 pont)
- Ha a hallgató 0-4 gyakorlaton vett részt: 5 legjobb kisZH összege, HA az legalább 5 (0 vagy 5-8 pont)
- Előadáson véletlenszerűen előfordulhatnak pluszpontért kérdések.
Ponthatárok:
| 1 | 0-39 |
| 2 | 40-54 |
| 3 | 55-69 |
| 4 | 70-84 |
| 5 | 85- |
Segédanyagok
- Tanszéki jegyzet: pdf - online (legújabb)
- Előadások diái 2016:
Házi feladat
A 3. héten kerül kiadásra, beadni elektronikusan kell a 12. héten, majd szóbeli védésen bemutatni. Egy sakkórát utánozó programot kell elkészíteni, mindenkinek különböző tulajdonságokkal. A házi feladat kiírása, és technikai segédlet elérhető a tárgyhonlapon.
Leggyakoribb hiba: olyan állapotátmenet használata, amik nem is valódiak, mert az átmenet nem egy esemény bekövetkezésekor történik meg. Lehetséges, hogy amire mi gondolunk, az egy esemény, de modellezési szempontból másként kell értelmezni ezt a fogalmat. 3 ilyen elem van tiltva:
alwaysoncycle- Olyan nyíl (állapotátmenet), amire nincs semmi írva (nincs őrfeltétel, mindig lefut).
Ha a modelledben ezeket használod, az oldal nem fogja elfogadni a házidat. Két módon lehet megoldani a hibát:
after 0shasználata. Gyorsabb, de ez csak egy kiskapu, nem segíti a tanulást.- Meg kell érteni az állapotalapú modellezés alapját. Sokan úgy próbálják felépíteni a modellt, mint egy C nyelvben írt programot, ahol egymás után hajtódnak végre a feladatok, és az állapot egy művelet végrehajtásának felel meg. A kép oldal illusztrálja a kettő közötti különbséget. A hagyományos programozási módszer használatával keletkezik egy olyan állapotátmenet, aminek nincs kiváltó eseménye, a változók értékeinek módosítása után azonnal átlépünk egy másik állapotba. Az állapotalapú modellezésnél ilyet ne csináljunk, mert a ChangeSettings nem egy olyan állapot, ami tartósan jellemezné a modellünket. Állapotátmenetek csak a bemeneti események hatására következzenek be, az állapotok hosszabb-rövidebb ideig valóban jellemezzék a modellt, minden mást az állapotátmenetekre írható őrfeltételekkel/akciókkal oldjunk meg!
1. ZH
- 2015 tavasszal kiadott mintaZH + beugrókérdések megoldva
- Igaz-Hamis kikérdező (előző ZH-k alapján) - csak az igaz állításokat kell bejelölni!
2. ZH
- 2015 tavasszal kiadott mintaZH + beugrókérdések megoldva
- Igaz-Hamis kikérdező (előző ZH-k alapján) - csak az igaz állításokat kell bejelölni!
Tippek
Érdemes tisztában lenni minden fogalommal, mert utána elég csak a józan paraszti eszet használni. Nem túl bonyolult belőle 4-est 5-öst szerezni, mert rengeteg extra pont jár és a házi sok pontot ér. A ZH-k beugróit ne vedd könnyű péznek. Legtöbben azért bukják el a tárgyat, mert a beugró nem sikerül. Az elméleti részeket jól át kell nézni, bizonytalan esetekben inkább ne írj be semmit, mert hibás válaszért pontot veszíthetsz. A házi egynapos munka ha teljesen nulláról kezdik, de ha már foglalkozott a Yakinduval egy kicsit előtte akkor maximum négy óra.
| Bevezetők | |
|---|---|
| 1. félév | |
| 2. félév | |
| 3. félév | |
| 4. félév | |
| 5. félév | |
| 6. félév | |
| 7. félév | |
