Modell alapú rendszertervezés

Napjainkra a modell alapú szoftver- és rendszertervezés az informatika számos területén (pl. autóipar, repülőgépipar, üzleti folyamatok) tekinthető az egyik vezető fejlesztési módszertannak. A magasszintű, precíz, szabványos és szakterület-specifikus modellek megalkotásával és ellenőrzésével a tervezés korai fázisaiban kiszűrhető számos ellentmondás és tervezési hiba, melyek egy kódcentrikus fejlesztési folyamat esetében csak a tesztelés során deríthetők fel.  Modellszimulációk segítségével előzetesen megbecsülhető a rendszer várható teljesítménye, megbízhatósága vagy rendelkezésre állása is. Automatikus kódgenerátorok és modelltranszformációk segítségével pedig automatizálhatóvá válik az implementáció számos kritikus lépése, mint a forráskód, a konfigurációs leírók vagy a dokumentáció elkészítése. A hatékony modellalapú tervezéshez elengedhetetlenek a modern, egyedi tervező- és ellenőrzőeszközök is, ezért a tárgy bemutatja azok kifejlesztéséhez szükséges alaptechnológiákat, többek között a szakterület specifikus modellezési nyelvek, modell-lekérdezések és transzformációk, és kódgenerátorok tervezési technológiáit. Betekintést ad továbbá a modell alapú tervezés fejlesztési módszertanának legfontosabb kérdéseibe is. A tantárgy célja, hogy egy szoftverfejlesztési házi feladat tervezésén és implementációján keresztül egyszerre mutassa be a modell alapú módszerek alapjait, az ipari környezetben használatos technológiákat és a kapcsolódó tervezési módszertanokat. Ennek keretében a hallgatók részletesen megismerik a kritikus rendszerek tervezésének komplex feladataival és módszereivel (platform modellezés, hibatűrő tervezési minták, allokáció, ütemezés, optimalizáció, szolgáltatásbiztonsági paraméterek), az ezt támogató szakterület-specifikus tervezőeszközök fejlesztési alapjaival (metamodellezés, grafikus és szöveges nyelvek, nézetek, nézőpontok), az automatizálást támogató modell alapú módszereket és technológiákat (modell-lekérdezése, modelltranszformációk, kódgenerátorok) valamint, a modell alapú fejlesztési folyamat során használt főbb elvekkel. A tárgy elvégzésével a hallgatók olyan ismeretekre tesznek szert, amelyek segítségével képesek lesznek egy komplex informatikai rendszer projekt modell alapú tervezésére továbbá az egyes lépések hiányzó automatizált eszköztámogatásának a kifejlesztésére is.

előadás és gyakorlat

Marco Brambilla, Jordi Cabot, Manuel Wimmer: Model Driven Software Engineering in Practice. Morgan&Claypool Publishers, 2012.; J. Holt, S. Perry: SysML for Systems Engineering, 2008.;  

Alapvető programozási (Java, C, C++) és rendszermodellezési ismeretek

Követelmények: A szorgalmi időszakban: A félév végi aláírás feltétele a tárgy anyagát felölelő házi feladat (otthoni feladat) önálló, megfelelő színvonalú elkészítése. A házi feladat kiadása legkésőbb a 4. oktatási héten, beadása pedig a 14. oktatási héten történik. A félév folyamán a házi feladat előrehaladását rendszeresen ellenőrizzük. A vizsgaidőszakban: A hallgatók a tárgyból szóbeli vizsgát tesznek. A vizsga feltétele az aláírás megszerzése, a megszerzett aláírás 3 évig érvényes. A félévközi házi feladat (otthoni feladat) értékelése 50% súllyal számít bele a vizsgajegybe. Elővizsga: Nincs. Pótlási lehetőségek: A házi feladat (otthoni feladat) határidőn túl a pótlási héten adható be (vagy javítható), a vizsgaidőszakban pótlás már nem lehetséges.A vizsga egyszeri javítására minden hallgató jogosult, ekkor az érvényes eredmény a legutolsó alkalommal elért osztályzat.

-