Informatikai rendszertervezés

1-2. hét: Rendszertervezési alapok és követelménymodellezés

A modellalapú tervezés alapfogalmai (fejlesztési folyamatok, követelmény nyelvek, modellek, platformok, verifikáció és validáció), rendszerfejlesztési folyamatok (V modell vs. agilis módszerek), szolgáltatásbiztonság fogalma. A SysML nyelv.

Funkcionális és extrafunkcionális követelmények modellezése és analízise. Nyomonkövethetőség fogalma.

3-4. hét: Strukturális modellek

Strukturális modellek: architektúra ill. logikai komponens tervezés. Építkezés funkcionális blokkokból. Interfész és adattípus tervezés, komponensek közötti kommunikációs útvonalak, kódgenerátorok strukturális modellekhez.

Logikai és fizikai adatok modellezése: Jólformáltsági kényszerek. Profilok. Fizikai paraméterek modellezése (Modelica).

5-6. hét: Szolgáltatásbiztonság és hibatűrés

Hibatűrés alapfogalmak: hiba, hibaok, hibajelenség, rendelkezésre állás vs. megbízhatóság redundancia fajtái szerepe, tervezési minták.

Szolgáltatásbiztonság kiértékelése: kockázat analízis, hibafa, hibamód és hatás analízis (FMEA), megbízhatósági analízis.

7-8. hét: Viselkedési modellek

Viselkedési modellek: adatfolyammodellek (aktivitás diagram), forgatókönyvek (interakció diagram), viselkedési modellek szemantikája.

Reaktív rendszerek: komponensek állapot alapú viselkedésmodellje; kódgenerátor viselkedési modellekhez.

9-10. hét: Platform modellezés és telepítés

Platform és infrastruktúra modellek: Komponens integrációs technológiák, partícionált alkalmazások, infrastruktúra modellek, elosztott architektúrák. Modern platformok (kitekintés): AUTOSAR, MARTE, Cloud.

Modellvezérelt telepítés: extrafunkcionális követelmények kielégítése (teljesítmény, átbocsátóképesség, kapacitásbecslés és erőforrás-allokálás, időbeliség: WCET, ütemezhetőség rendelkezésre állás, memória, optimalizálás,), robosztus partícionálás, konfigurációs leírók automatikus generálása.

11-12. hét: Rendszerverifikáció és validáció

V&V áttekintés: tipikus V&V feladatok áttekintése és helye fejlesztési folyamatban. Követelmény-alapú tesztek definiálása. Specifikáció-alapú teszttervezési technikák.

Modellalapú teszttervezés (integrációs, funkcionális, extra-funkcionális): modellalapú tesztelés és tesztgenerálás. Tesztelési célok, architektúra és tesztesetek specifikálása. UML2 Testing Profile.

13. hét: Automatizálási technikák

Modelltranszformáció és kódgenerátorok: feladata és csoportosítása, főbb megközelítések, gráfalapú technikák, sablon alapú kódgenerátorok (pl. Acceleo / Xtend).

14. hét: Esettanulmányok

Ipari alkalmazások: Modellvezérelt tervezés kritikus beágyazott rendszerekben (pl. autóipar/ repülőgépipar, kiberfizikai rendszerek). Szolgáltatásbiztos üzleti rendszerek tervezés és telepítése.

A gyakorlati órák tartalma:

A hallgatók az alábbi témákból végeznek el (számítógépes vagy tantermi) gyakorlatot egy komplex rendszer tervezése kapcsán:

• Követelményanalízis: követelmények rögzítése és nyomonkövethetősége.
• Rendszermodellezés: strukturális modellek.
• Szolgáltatásbiztonság analízise
• Viselkedési modellek
• Platform modell és allokáció
• Modellalapú rendszertesztelés.
• Kódgenerátorok, modelltranszformációk.

Emellett a gyakorlati órákon biztosítunk lehetőséget házi feladat konzultációra.