Rendszermodellezés
Az informatikai rendszerek tervezési folyamatának modellalapú megközelítései
A tárgy adatai
A tárgy neve: | Rendszermodellezés |
Típus: | BSc |
Tárgykód: | VIMIAA00 |
Tárgyfelelős: | Gönczy László |
További oktatók: | Molnár Vince Huszerl Gábor |
A tantárgy célitűzése
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.
Másodid
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.
Harmadik
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.
Negyedik
A tantárgy követelményeit eredményesen teljesítő hallgatók:
- megismerik a modellalkotás folyamatát és a modellalapú tervezés alapjait,
- képesek az informatikai rendszerekkel szembeni követelmények szabatos megfogalmazására, működési környezetük és architektúrájuk modellezésére,
- jártasságot szereznek a diszkrét rendszerek szimuláció alapú helyességbizonyításában,
- képesek a tervezett rendszerek szűk keresztmetszeteinek feltárására, megoldási alternatívák összehasonlító elemzésére,
- betekintést nyernek a számítógéprendszerek gyakorlati méréstechnikájának alapjaiba,
- képesek egyszerű alkalmazások automatikus kódgenerálással történő modell alapú fejlesztésére.