„Rendszermodellezés” változatai közötti eltérés

A VIK Wikiből
Ugrás a navigációhoz Ugrás a kereséshez
32. sor: 32. sor:
  
 
=== Előtanulmányi rend ===
 
=== Előtanulmányi rend ===
'''Kötelező: ''' nincs<br />
+
* '''Kötelező: ''' Nincs.
'''Ajánlott: ''' [[A_programozás_alapjai_I.|A programozás alapjai 1]]
+
* '''Ajánlott: ''' [[A_programozás_alapjai_I.|A programozás alapjai 1]].
  
 
=== A szorgalmi időszakban ===
 
=== A szorgalmi időszakban ===
 
*Az '''aláírás''' feltételei:
 
*Az '''aláírás''' feltételei:
**'''Két ZH''' sikeres megírása.
+
**'''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
+
**'''Egy házi feladat''' beadása és megvédése.
 
*'''Pótlási lehetőségek:'''
 
*'''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 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===
 
===Félévvégi jegy===
* Kötelező:  
+
A jegyet a félév közben szerzett pontok alapján adják. Megszerezhető pontok:
** HF: 30 pont
+
* HF: maximum 30 pont.
** ZH1: 35 pont  
+
* ZH1: maximum 35 pont.
** ZH2: 35 pont
+
* ZH2: maximum 35 pont.
 
* Plusz pontokat az alábbi módon lehet szerezni:
 
* Plusz pontokat az alábbi módon lehet szerezni:
 
** Bemelegítő HF: 0-5 pont
 
** Bemelegítő HF: 0-5 pont
54. sor: 55. sor:
 
*** Ha a hallgató 0-4 gyakorlaton vett részt: 5 legjobb kisZH összege, HA az legalább 5 (0 vagy 5-8 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.
 
** Előadáson véletlenszerűen előfordulhatnak pluszpontért kérdések.
* Ponthatárok: 40-55-70-85
+
Ponthatárok:
 +
{| class="wikitable"
 +
|-
 +
| 1 || 0-39
 +
|-
 +
| 2 || 40-54
 +
|-
 +
| 3 || 55-69
 +
|-
 +
| 4 || 70-84
 +
|-
 +
| 5 || 85-
 +
|}
  
 
== Segédanyagok ==
 
== Segédanyagok ==
*[http://docs.inf.mit.bme.hu/remo-jegyzet/ Tanszéki jegyzet]
+
* Tanszéki jegyzet: [[:File:Remo_jegyzet_20160720.pdf|pdf]] - [http://docs.inf.mit.bme.hu/remo-jegyzet/ online (legújabb)]
*[https://inf.mit.bme.hu/edu/courses/remo/materials Diasorok]
+
* Előadások diái 2016:
 +
** [[:File:Remo_dia_2015-16-2_1.pdf|Modellezési alapismeretek]]
 +
** [[:File:Remo_dia_2015-16-2_2.pdf|Strukturális modellezés]]
 +
** [[:File:Remo_dia_2015-16-2_3.pdf|Állapot alapú modellezés]]
 +
** [[:File:Remo_dia_2015-16-2_4.pdf|Folyamatmodellezés]]
 +
** [[:File:Remo_dia_2015-16-2_5.pdf|Teljesítménymodellezés I.]]
 +
** [[:File:Remo_dia_2015-16-2_6.pdf|Teljesítménymodellezés II.]]
 +
** [[:File:Remo_dia_2015-16-2_7.pdf|Modellek ellenőrzése]]
 +
** [[:File:Remo_dia_2015-16-2_8.pdf|Vizuális adatelemzés]]
 +
** [[:File:Remo_dia_2015-16-2_9.pdf|Modellek végrehajtása, kódgenerálás]]
 +
** [[:File:Remo_dia_2015-16-2_10.pdf|Szimuláció]]
 +
** [[:File:Remo_dia_2015-16-2_11.pdf|Modellek fejlesztése]]
  
== Házi ==
+
== 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.  
+
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 [https://inf.mit.bme.hu/edu/courses/remo/hazifeladat 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:
 +
* <code>always</code>
 +
* <code>oncycle</code>
 +
* 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:
 +
[[Fájl:Remo_modelltipusok_20160720.png|thumb|Szekvenciális programozásra hasonlító (balra), és helyes állapotalapú (jobbra) modellek]]
 +
* <code>after 0s</code> 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. 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 ==
 
== 1. ZH ==
[[:Media:ReMo_mintazh1_2015tavasz_v2.pdf | 2015 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh1_2015tavasz_v2_mo.pdf | beugrókérdések megoldva]]
+
* [[:Media:ReMo_mintazh1_2015tavasz_v2.pdf | 2015 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh1_2015tavasz_v2_mo.pdf | beugrókérdések megoldva]]
=== Kikérdező ===
 
 
* [[Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező|Igaz-Hamis kikérdező]] (előző ZH-k alapján) - '''csak az igaz állításokat kell bejelölni!'''
 
* [[Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező|Igaz-Hamis kikérdező]] (előző ZH-k alapján) - '''csak az igaz állításokat kell bejelölni!'''
  
 
== 2. ZH ==
 
== 2. ZH ==
[[:Media:ReMo_mintazh2_20150509.pdf | 2015 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh2_20150509_kiskerdesek_megoldva.pdf | beugrókérdések megoldva]]
+
* [[:Media:ReMo_mintazh2_20150509.pdf | 2015 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh2_20150509_kiskerdesek_megoldva.pdf | beugrókérdések megoldva]]
 
 
=== Kikérdező ===
 
 
* [[Rendszermodellezés_2._ZH/Rendszermodellezés|Igaz-Hamis kikérdező]] (előző ZH-k alapján) - '''csak az igaz állításokat kell bejelölni!'''
 
* [[Rendszermodellezés_2._ZH/Rendszermodellezés|Igaz-Hamis kikérdező]] (előző ZH-k alapján) - '''csak az igaz állításokat kell bejelölni!'''
  
 
== Tippek ==
 
== 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 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.
+
É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.
 
 
== Kedvcsináló ==
 
  
  
 
{{Lábléc_-_Mérnök_informatikus_alapszak_2014}}
 
{{Lábléc_-_Mérnök_informatikus_alapszak_2014}}

A lap 2016. július 21., 14:14-kori változata

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
0
NagyZH
2
Házi feladat
3
Vizsga
nincs
Elérhetőségek
Levlista
remo@sch.bme.hu


Sablon csonk.pngEz 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

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

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

2. ZH

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