„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
(már nem csonk)
 
(46 közbenső módosítás, amit 13 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
28. 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<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.
+
**'''ZH:''' mindkettő sikeres megírása. El kell érni a 10 pontos beugróból 5 pontot.
**'''Egy házi feladat''' beadása és megvédése
+
***Első ZH-n összesen 12 pontot a 30-ból.
 +
***Mádodik ZH-n összesen 16 pontotot a 40-ből.
 +
**'''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:'''
 
*'''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.  
+
**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===
+
=== 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 30 pont. (10 pont beurgó + 20 pont feladatok)
** ZH2: 35 pont
+
* ZH2: maximum 40 pont. (10 pont beugró + 30 pont feladatok)
 
* 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 vagy 4 pont.
** Szorgalmi HF 0-8 pont (pótlási héten alakul ki)
+
** Szorgalmi HF: 0-10 pont (pótlási héten is le lehet adni, 0-7 pontért)
** Gyakorlati részvétel és fakultatív kisZH-k: (0-10 pont)
+
** Fakultatív kisZH-k: (0-8 pont)
*** Ha a hallgató legalább 5 gyakorlaton részt vett: 5 legjobb kisZH összege, de mindenképpen legalább 5 (5-10 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.
*** Ha a hallgató 0-4 gyakorlaton vett részt: 5 legjobb kisZH összege, HA az legalább 5 (0 vagy 5-8 pont)
+
* Ponthatárok:
** Előadáson véletlenszerűen előfordulhatnak pluszpontért kérdések.
+
:{| class="wikitable" style="text-align: center; width: 120px; height: 40px;"
* Ponthatárok: 40-55-70-85
+
!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 ==
[[: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-ö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 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh2_20150509_kiskerdesek_megoldva.pdf | beugrókérdések megoldva]]
+
* [[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, 2022. május 16., 16:50-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: mindkettő sikeres megírása. El kell érni a 10 pontos beugróból 5 pontot.
      • Első ZH-n összesen 12 pontot a 30-ból.
      • Mádodik ZH-n összesen 16 pontotot a 40-ből.
    • 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. (10 pont beurgó + 20 pont feladatok)
  • ZH2: maximum 40 pont. (10 pont beugró + 30 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