Modellalapú rendszertervezés
A tantárgyleírás hatályossága
| Tantárgy neve (magyarul, angolul) |
Modellalapú rendszertervezés
Model Based System Design
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tantárgykód | BMEVIMIAV83 | ||||||||||||
| Tantárgyjelleg | — | ||||||||||||
| Képzési szint | — | ||||||||||||
| Kurzustípusok és óraszámok (heti/féléves) |
|
||||||||||||
| Tanulmányi teljesítmény/értékelés típusa | vizsga | ||||||||||||
| Tantárgy kreditértéke | 4 | ||||||||||||
| Tantárgyfelelős |
DR. Majzik István
beosztás: egyetemi docens
elérhetőség:
majzik.istvan@vik.bme.hu
|
||||||||||||
| Tantárgyat gondozó oktatási szervezeti egység |
—
|
||||||||||||
| Kar | |||||||||||||
| Tantárgy weboldala | http://www.mit.bme.hu/oktatas/targyak/vimiav83/ | ||||||||||||
| Tantárgy elsődleges mintatantervi jellege | — | ||||||||||||
| Közvetlen előkövetelmények – Erős előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Gyenge előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Párhuzamos előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Mérföldkő előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Kizáró feltétel | nincs |
Célkitűzés
- Bevezetés a modellalapú rendszertervezésbe:
o Modellezési nyelvek felépítése: Szintaxis, szemantika, a metamodellezés bemutatása, megvalósulásuk az UML (Unified Modeling Language) esetén.
o A modellezési nyelvek kiterjesztési lehetőségei: A szakterület-specifikus modellezés szerepe, szakterület-specifikus nyelvek alapjai és az UML szabványos kiterjesztései.
o A modellalapú tervezés szerepe és helye a tervezési folyamatban: A modellalapú tervezési lépések kapcsolódása, a modellalapú tervezés hatása a minőségre és megbízhatóságra.
- Beágyazott rendszerek modellalapú rendszertervezése:
o A modellalapú rendszertervezés szerepe beágyazott rendszerekben: Specifikus követelmények (valósidejűség és erőforrás kezelés) és a fejlesztési folyamatra vonatkozó előírások (verifikáció és validáció, igazolás, tanúsítás).
o A rendszerszintű leírás eszközei: Systems Modeling Language (SysML).
o Kiterjesztések beágyazott rendszerekhez: Az általános erőforrásmodell, az UML Profile for Schedulability, Performance and Time Specification.
o Kiterjesztések a tesztelési fázisban történő modellezéshez: UML 2 Testing Profile.
o Modell alapú kódgenerálás és tesztgenerálás állapot alapú reaktív rendszerekben: C illetve C++ kód generálása, teszt szekvenciák specifikáció alapú automatikus generálása, teszt fedettségi analízis.
o Integrált fejlesztői rendszerek: Az Esterel SCADE rendszere (modellezés, helyességigazolás, tanúsított kódgenerálás, a tesztelés támogatása).
- Üzleti folyamatok és szolgáltatás-orientált rendszerek modellalapú tervezése:
o A főbb folyamatleíró nyelvek áttekintése: BPEL, BPMN, XPDL.
o Megvalósítási lehetőségek (BPEL motorok).
o Folyamatmodellező eszközök: pl. IBM WebSphere Business Modeler, TIBCO Business Studio, ActiveBPEL. Az XPDL kiterjesztési lehetőségeinek használata.
o Szolgáltatás-orientált rendszerek szerkezetének leírása: Service Component Architecture, UML4SOA profile.
o Szolgáltatásminőség modellezése: OMG QoS & Fault Tolerance profile.
- Szakterület-specifikus nyelvek definiálása és feldolgozása:
o Szakterületi fejlesztés DSLTools környezetben.
o Modellezés és modell-feldolgozás gráf-újraírás alapú keretrendszerben.
o Többirányú modelltranszformációk, modell-szinkronizáció.
- Esettanulmányok:
o Mintapéldák európai uniós projektek eredményei alapján: Komponens alapú beágyazott rendszerek (DECOS), szolgáltatás-orientált rendszerek (SENSORIA), biztonságkritikus rendszerek (DIANA), mobil szolgáltatások (HIDENETS).
Tanulmányi eredmények
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Tudás
Nincsenek rögzített tanulási eredmények.
Képességek
Nincsenek rögzített tanulási eredmények.
Attitűd
Nincsenek rögzített tanulási eredmények.
Autonómia és felelősség
Nincsenek rögzített tanulási eredmények.
Oktatási módszertan
Tanulástámogató anyagok
Online források
A tantárgy teljesítéséhez ajánlott előzetes ismeretek
Általános szabályok
Teljesítményértékelési módszerek
Szorgalmi időszakban végzett teljesítményértékelések részletes leírása
Nincs megadva részletes értékelés.
Szorgalmi időszakban végzett teljesítményértékelések részaránya
Nincs megadva részarány.
Vizsgaidőszakban végzett teljesítményértékelések részletes leírása
Nincs megadva részletes értékelés.
Vizsgarészek részaránya
Nincs megadva részarány.
Érdemjegy megállapítása
Nincs megadva érdemjegy határ.
Jelenléti és részvételi követelmények
Nincs megadva jelenléti követelmény.
Javítás, ismétlés és pótlás különös szabályai
Nincs megadva.
Rövid leírás
Nincs megadva.
Részletes leírás
Nincs megadva.
Ajánlott tantárgyak
Nincs megadva.
A tantárgy elvégzéséhez szükséges tanulmányi munka
Nincs megadva munkaidő bontás.
Tantárgykövetelmények hatályossága
Tantervi elhelyezés
Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.