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	nincs
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:
  • 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.
  • Gyakorlaton való megjelenés 4/6.
• Pótlási lehetőségek:
  • Mind a két zh pótolható egyszer a pótlási héten, egy napon (1. zh 8-10, 2. zh 10-12)
  • 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:
  • 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-4 pont
  • Szorgalmi HF 0-10 pont (pótlási héten is le lehet adni, 0-7 pontért)
  • Legutóbb gyakorlaton is kiadtak egy kisebb szorgalmit: 0-2 pont
  • 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)
    • Ez legutóbb nem így volt, a hallgatók közvetlen kapták meg a kisZH-kra a pontokat - függetlenül a gyakorlati részvételek számától.
  • Előadáson véletlenszerűen előfordulhatnak pluszpontért kérdések.

• Ponthatárok:

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

Segédanyagok

• 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 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:

• 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.

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!

Verseny

• Félév közben elő szokott fordulni, hogy a tanszék meghirdet egy Rendszermodellezés versenyt, az első zárthelyi után. 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 egynapos 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