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

A VIK Wikiből
a (Formázás)
 
(60 közbenső módosítás, amit 16 másik szerkesztő végzett, nincs mutatva)
5. sor: 5. sor:
| kredit = 4
| kredit = 4
| félév = 2
| félév = 2
| kereszt =
| kereszt = nincs
| tanszék = MIT
| tanszék = MIT
| jelenlét =  
| jelenlét =  
| minmunka =  
| minmunka =  
| labor = nincs
| labor = nincs
| kiszh = 0
| kiszh = 4 db (opcionális)
| nagyzh = 2
| nagyzh = 1 db
| hf = 1
| hf = 1 db (+2 szorgalmi)
| vizsga = nincs
| vizsga = nincs
| levlista = remo{{kukac}}sch.bme.hu
| levlista = remo{{kukac}}sch.bme.hu
20. sor: 20. sor:


{{Új_tárgy|Rendszermodellezés_(régi)}}
{{Új_tárgy|Rendszermodellezés_(régi)}}
{{Csonk}}


A tantárgy tematikusan az informatikai rendszerek tervezési folyamatának modell alapú megközelítését tárgyalja.
A tantárgy tematikusan az informatikai rendszerek tervezési folyamatának modell alapú megközelítését tárgyalja.
30. sor: 28. sor:


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.
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 ==
== Követelmények ==


=== Előtanulmányi rend ===
=== Előtanulmányi rend ===
'''Kötelező: ''' nincs
* '''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.
**'''ZH:''' A ZH sikeres megírása. A ZH-n maximum 70 pont érhető el, amiből legalább 28 pontot (40%), valamint az összesen 20 pontot érő beugrókérdésekből 10 pontot kell elérni a sikeres teljesítéshez. (2019-ig a tárgyból 2 ZH volt.)
**'''Egy házi feladat''' beadása és megvédése
**'''Házi feladat:''' beadása, legalább 12 pont elérése a 30-ból.
**'''Gyakorlat:''' nincs kötelező jelenlét
*'''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 '''ZH''' pótolható egyszer a pótlási héten.
** 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 ===
* <math>HF * 0,3 + ZH_1*0,35 + ZH2*0,35</math>
A jegyet a félév közben szerzett pontok alapján adják. Megszerezhető pontok:
* HF: maximum 30 pont.
* ZH: maximum 70 pont. (20 pont beugró + 50 pont feladatok)
* Plusz pontokat az alábbi módon lehet szerezni:
* Plusz pontokat az alábbi módon lehet szerezni:
** Szorgalmi feladatok: félév közben kiadva
** Bemelegítő HF: 0 vagy 4 pont.
** Rendszeres részvétel a gyakorlatokon (6/5): +5%
** Szorgalmi HF: 0-10 pont (pótlási héten is le lehet adni, 0-7 pontért)
** Rendszeres készülés a gyakorlatokra (6/5 beugró): +10%
** 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:
:{| class="wikitable" style="text-align: center; width: 120px; height: 40px;"
!Pont!!Jegy
|-
|0 - 39|| 1
|-
|40 - 54|| 2
|-
|55 - 69|| 3
|-
|70 - 84|| 4
|-
|85 - 100|| 5
|}


== Segédanyagok ==
== Segédanyagok ==
*[http://docs.inf.mit.bme.hu/remo/ Tanszéki jegyzet]
* [[Media:SYSMO_jegyzet_2018t.pdf | 2018-as oktató (Gönczy László) által lektorált tanszéki és előadás jegyzet egyben]]
*[https://inf.mit.bme.hu/edu/courses/remo/materials Diasorok]
* Tanszéki jegyzet: [[Media:Remo_jegyzet_20160720.pdf | pdf]] - [http://docs.inf.mit.bme.hu/remo-jegyzet/ online (legújabb)]
* [[Media:Tomor_remo_2020.PDF | Tömör Remo összefoglaló - 2020]]
 
=== Előadás (2016) ===
* [[Media:Remo_dia_2015-16-2_1.pdf | Modellezési alapismeretek]]
* [[Media:Remo_dia_2015-16-2_2.pdf | Strukturális modellezés]]
* [[Media:Remo_dia_2015-16-2_3.pdf | Állapot alapú modellezés]]
* [[Media:Remo_dia_2015-16-2_4.pdf | Folyamatmodellezés]]
* [[Media:Remo_dia_2015-16-2_5.pdf | Teljesítménymodellezés I.]]
* [[Media:Remo_dia_2015-16-2_6.pdf | Teljesítménymodellezés II.]]
* [[Media:Remo_dia_2015-16-2_7.pdf | Modellek ellenőrzése]]
* [[Media:Remo_dia_2015-16-2_8.pdf | Vizuális adatelemzés]]
* [[Media:Remo_dia_2015-16-2_9.pdf | Modellek végrehajtása, kódgenerálás]]
* [[Media:Remo_dia_2015-16-2_10.pdf | Szimuláció]]
* [[Media:Remo_dia_2015-16-2_11.pdf | Modellek fejlesztése]]
 
=== Gyakorlat (2019) ===
* [[Media:Gyakorlat_2019_1.pdf | 1. gyakorlat]]
* [[Media:Gyakorlat_2019_2.pdf | 2. gyakorlat]]
* [[Media:Gyakorlat_2019_3.pdf | 3. gyakorlat]]
* [[Media:Gyakorlat_2019_4.pdf | 4. gyakorlat]]
* [[Media:Gyakorlat_2019_5.pdf | 5. gyakorlat]]
* [[Media:Gyakorlat_2019_6.pdf | 6. gyakorlat]]
 
== 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. Külön kérésre viszont lehet javítás érdekében szóbelire menni, de arra külön jelentkezni kell.''')
* 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. 5 ilyen elem van tiltva:
** <code>always</code>
** <code>oncycle</code>
** Olyan nyíl (állapotátmenet), amire nincs semmi írva (nincs őrfeltétel, mindig lefut).
** <code>after 0s</code> / <code>after 0ms</code> / <code>every 0s</code> stb. A modell szempontjából ezek is feltétel nélküli átmenetek.
** '''[trigger && feltétel]''' kiváltó esemény, ezeket egy [trigger]-re és egy choice-ra kell szétbontani.
* Ha a modelledben ezeket használod, az oldal nem fogja elfogadni a házidat. A hiba megoldása:
[[File:Remo_modelltipusok_20160720.png|thumb|Szekvenciális programozásra hasonlító (balra), és helyes állapotalapú (jobbra) modellek]]
* 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 <code>whiteMoves = true</code> 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 [http://q2a.inf.mit.bme.hu/rendszermodellez%C3%A9s Házi feladat fórum] oldalát, hátha már akadt másnak is hasonló problémája.''
 
== Kikérdezők ==


== Házi ==
* [[Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező | 1. ZH]]
* [[Rendszermodellezés_2._ZH/Rendszermodellezés | 2. ZH]]


A 3. héten kerül kiadásra, beadni elektronikusan kell a 12. héten, majd szóbeli védésen bemutatni.
== 1. ZH ==
== 1. ZH ==
[[:File:ReMo_mintazh1_2015tavasz.pdf | 2015 tavasszal kiadott mintaZH]]
* [[Media:ReMo_mintazh1_2015tavasz_v2.pdf | 2015-ös mintaZH]] + [[Media:ReMo_mintazh1_2015tavasz_v2_mo.pdf | Beugrókérdések megoldva]]
* [[Media:zh1-minta-2017.pdf | 2017-es mintaZH]] + [[Media:zh1-minta_kiskerdesek_megoldva-2017.pdf | Beugrókérdések megoldva]] + [[Media:remo-zh1-2017-nagyfeladatok.pdf | Nagyfeladatok]]
* [[Media:remo-zh1-2018-NFxper-Acsop.pdf | 2018-as nagyfeladatok]]


== 2. ZH ==
== 2. ZH ==
* [[Media:ReMo_mintazh2_20150509.pdf | 2015-ös mintaZH]] + [[Media:ReMo_mintazh2_20150509_kiskerdesek_megoldva.pdf | Beugrókérdések megoldva]]
* [[Media:remo-zh2-minta-20160512.pdf | 2016-os mintaZH]]
* [[Media:zh2-minta-20170508.pdf | 2017-es mintaZH]] + [[Media:zh2-minta-20170508_kiskerdesek_megoldva.pdf | Beugrókérdések megoldva]]
* [[Media:remo-2017-ZH2-plusz-kiskerdesek.pdf | 2017-es beugrókérdések]] + [[Media:remo-2017-ZH2-plusz-kiskerdesek-megoldas.pdf | Beugrókérdések megoldva]]
*[[Media:remo-2018-telj-eda-gyakorlo.pdf | 2018-as nagyfeladat példa (EDA)]]


== Verseny ==
* Félév vége fele a tanszék meg szokott hirdetni egy Rendszermodellezés versenyt (~á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.


== 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 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.
== Kedvcsináló ==




{{Lábléc_-_Mérnök_informatikus_alapszak_2014}}
{{Lábléc_-_Mérnök_informatikus_alapszak_2014}}

A lap jelenlegi, 2023. május 3., 20:35-kori változata

Rendszermodellezés
Tárgykód
VIMIAA00
Általános infók
Szak
info
Kredit
4
Ajánlott félév
2
Keresztfélév
nincs
Tanszék
MIT
Követelmények
Labor
nincs
KisZH
4 db (opcionális)
NagyZH
1 db
Házi feladat
1 db (+2 szorgalmi)
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:
    • ZH: A ZH sikeres megírása. A ZH-n maximum 70 pont érhető el, amiből legalább 28 pontot (40%), valamint az összesen 20 pontot érő beugrókérdésekből 10 pontot kell elérni a sikeres teljesítéshez. (2019-ig a tárgyból 2 ZH volt.)
    • Házi feladat: beadása, legalább 12 pont elérése a 30-ból.
    • Gyakorlat: nincs kötelező jelenlét
  • Pótlási lehetőségek:
    • A ZH pótolható egyszer a pótlási héten.
    • 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.
  • ZH: maximum 70 pont. (20 pont beugró + 50 pont feladatok)
  • Plusz pontokat az alábbi módon lehet szerezni:
    • 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

Előadás (2016)

Gyakorlat (2019)

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. Külön kérésre viszont lehet javítás érdekében szóbelire menni, de arra külön jelentkezni kell.)
  • 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. 5 ilyen elem van tiltva:
    • always
    • oncycle
    • Olyan nyíl (állapotátmenet), amire nincs semmi írva (nincs őrfeltétel, mindig lefut).
    • after 0s / after 0ms / every 0s stb. A modell szempontjából ezek is feltétel nélküli átmenetek.
    • [trigger && feltétel] kiváltó esemény, ezeket egy [trigger]-re és egy choice-ra kell szétbontani.
  • Ha a modelledben ezeket használod, az oldal nem fogja elfogadni a házidat. A hiba megoldása:
Szekvenciális programozásra hasonlító (balra), és helyes állapotalapú (jobbra) modellek
  • 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.

Kikérdezők

1. ZH

2. ZH

Verseny

  • Félév vége fele a tanszék meg szokott hirdetni egy Rendszermodellezés versenyt (~á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.

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


A lap eredeti címe: „https://vik.wiki/index.php?title=Rendszermodellezés&oldid=203973”