Rendszermodellezés

Rendszermodellezés

Tárgykód	VIMIAA00
Általános infók
Szak	info
Kredit	4
Ajánlott félév	2
Tanszék	MIT
Követelmények
Labor	nincs
KisZH	4 db (opcionális)
NagyZH	2 db
Házi feladat	1(+2) db
Vizsga	nincs
Elérhetőségek
Levlista	remo@NO-SPAM.sch.bme.hu
Tantárgyi adatlap
Tárgyhonlap

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:
  • ZH: mindkettő sikeres megírása. El kell érni a 10 pontos beugróból 5 pontot, és a nagyfeladatokból még 7-et egy zárthelyi teljesítéséhez. 12/30 (5+7) a minimum ponthatár.
  • Házi feladat: beadása, legalább 12 pont elérése a 30-ból.
  • Gyakorlat: jelenlét 4/6.
• Pótlási lehetőségek:
  • Mindkét ZH pótolható egyszer a pótlási héten, egy napon (1. ZH 8-10h, 2. ZH 10-12h)
  • 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 30 pont + 5 pont (extra feladatok).
• ZH2: maximum 30 pont + 5 pont (extra feladatok).
• Plusz pontokat az alábbi módon lehet szerezni:
  • A ZH-kon szereplő csillagos feladatok megoldásával (melyeket csak akkor értékelnek, ha a ZH legalább 29.5 pontos): 5-5 pont
  • Bemelegítő HF: 0 vagy 4 pont.
  • Szorgalmi HF: 0-10 pont (pótlási héten is le lehet adni, 0-7 pontért)
  • Fakultatív kisZH-k: (0-8 pont)
    • Minden kisZH abból az anyagból van, amely a gyakorlat anyaga. Értsd úgy: a második gyakorlat anyaga az állapot alapú modellezés, és a kisZH anyag is az, ne az első gyakorlat anyagából készülj csak fel! Érdemes készülni a kisZH-kra, 2 egyszerű kérdésből áll, egy kisZH 0-2 pontot ér.

• Ponthatárok:

Pont	Jegy
0 - 39	1
40 - 54	2
55 - 69	3
70 - 84	4
85 - 100	5

Segédanyagok

• 2018-as oktató (Gönczy László) által lektorált tanszéki és előadás jegyzet egyben
• Tanszéki jegyzet: pdf - online (legújabb)
• Előadások diái 2016:
  • Modellezési alapismeretek
  • Strukturális modellezés
  • Állapot alapú modellezés
  • Folyamatmodellezés
  • Teljesítménymodellezés I.
  • Teljesítménymodellezés II.
  • Modellek ellenőrzése
  • Vizuális adatelemzés
  • Modellek végrehajtása, kódgenerálás
  • Szimuláció
  • Modellek fejlesztése

Házi feladat

• A 5. héten kerül kiadásra, beadni elektronikusan kell a 12. héten (az új házi feladat portál miatt nincsen már szóbeli védés év végén, de a régebbi házikat se fogadják már el).
• 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:
  • always
  • oncycle
  • 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:

Szekvenciális programozásra hasonlító (balra), és helyes állapotalapú (jobbra) modellek

• after 0s haszná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. Ez hibás gondolkozás, mert állapotmodellezésre van szükség, és nem folyamatmodellezésre! Eseményvezérelt felépítés kell. A kép oldalt 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. Az állapotalapú modellezésnél ilyet ne csináljunk, mert a ChangeSettings nem egy olyan állapot, ami tartósan jellemezné a modellünket, hiszem a whiteMoves = true művelet elvégzése után azonnal bekövetkezik egy újabb állapotváltás, így a ChangeSettings csak egy pillanatig, és nem egy valamekkora időegységig jellemezte a modellt. Ha viszont a műveleteket nem az állapot belsejébe írjuk, hanem egy hurokélre, akkor valójában nem történik állapotváltás (ugyan oda térünk vissza), a művelet mégis végrehajtódik! Többnyire igaz, hogy úgy kell megtervezni a modellt, hogy az élekre kerülnek a változók módosításai, az állapotokra pedig az, ami megjelenik a képernyőn, lásd a képet. Ez természetesen nem mindig van így, de ha eszerint próbálod meg megtervezni a modelled felépítését, kiküszöbölheted az üres élek problémáját.
• Ha továbbra sem műküdik a programod, és nem érted, hogy mi a gond, látogasd meg a Házi feladat fórum oldalát, hátha már akadt másnak is hasonló problémája.

ZH beugró

• 1. ZH:
  • Wiki kikérdező
  • 1. Google űrlapos kikérdező
  • 2. Google űrlapos kikérdező
  • 3. Google űrlapos kikérdező
  • 4. Google űrlapos kikérdező
  • 5. Google űrlapos kikérdező
  • 6. Google űrlapos kikérdező
• 2. ZH:
  • Wiki kikérdező

1. ZH

• 2015 tavasszal kiadott mintaZH + Beugrókérdések megoldva
• 2017 tavasszal kiadott mintaZH + Beugrókérdések megoldva + Nagyfeladatok
• 2018-as nagyfeladatok

2. ZH

• 2015 tavasszal kiadott mintaZH + Beugrókérdések megoldva

Verseny

• Félév közben elő szokott fordulni, hogy a tanszék meghirdet egy Rendszermodellezés versenyt, az első zárthelyi után (~április 25 körül). Erre érdemes felkészülni, mert ha eléred a versenyen a 60%-ot, az megfelel egy 100%-os 2. ZH-nak, ami sokat tud segíteni, mivel a második ZH-n nagyon nehezen lehetne elérni alapból 100%-ot.

~2018. tavasz~

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 egy-kétnapos munka, ha teljesen nulláról kezdik, de ha már foglalkozott a Yakinduval egy kicsit előtte, akkor maximum négy óra.

Mérnökinformatikus 2014
Bevezetők	Bevezető fizika  •  Bevezető matematika
1. félév	Analízis 1  •  A programozás alapjai 1  •  Bevezetés a számításelméletbe 1  •  Digitális technika  •  Fizika 1i  •  Mérnök leszek
2. félév	Analízis 2  •  Analízis szigorlat informatikusoknak  • A programozás alapjai 2  •  Bevezetés a számításelméletbe 2  •  Fizika 2i  •  Rendszermodellezés  •  Számítógép-architektúrák
3. félév	Adatbázisok  •  A programozás alapjai 3  •  Kódolástechnika  •  Kommunikációs hálózatok 1  •  Rendszerelmélet  •  Szoftvertechnológia  •  Valószínűségszámítás
4. félév	Adatbázisok laboratórium  •  Algoritmuselmélet  •  Kommunikációs hálózatok 2  •  Menedzsment és vállalkozásgazdaságtan  •  Operációs rendszerek  •  Számítógépes grafika  •  Szoftver projekt laboratórium  •  Szoftvertechnikák
5. félév	IT eszközök technológiája  •  Mesterséges intelligencia  •  Mikro- és makroökonómia  •  Mobil- és webes szoftverek  •  Üzleti jog
6. félév	Információs rendszerek üzemeltetése  •  IT biztonság
7. félév	Záróvizsga