Önálló laboratórium

A Rendszertervezés ágazat önálló laboratórium feladatai a következő témakörökbe csoportosíthatók:

• Üzleti folyamatok és alkalmazások: Jellegzetes, megismerhető rendszerintegrációs technológiák a szolgáltatás-orientált architektúra (SOA) valamint a munkafolyamat integráció eszközei. A külső szolgáltatások integrációja esetén szerepet kapnak a szolgáltatási szint szerződések.

• Kritikus beágyazott rendszerek: Kiemelt hangsúlyt helyezünk a modell alapú tervezésre (MDA) valamint a szolgáltatásbiztonság szempontjából kritikus rendszerekben szükséges speciális architektúra-tervezési megoldásokra (pl. hibatűrés megvalósítása), valamint megvalósítási technikákra (pl. automatikus forráskód generálás, ütemezés).

• Rendszerfelügyelet: A rendszer- és szolgáltatásfelügyelet keretében eszközök és megoldások ismerhetők meg olyan jellemző feladatokra, mint a teljesítmény- és felhasználó monitorozás, kapacitásbővítés, szoftver és hardver karbantartás.

• Modell alapú rendszertervezés és verifikáció: A modellezés módszerei mellett célkitűzés a modell alapú tervezés során végezhető helyességbizonyítási és igazolási módszerek illetve eszközök megismerése és ezek használatának bemutatása (pl. szimuláció, automatikus teszt generálás és teszt végrehajtás).

Frissítés: A 2009/2010. tanév tavaszi félévének aktuális témakiírásai elérhetőek

Az alábbiakban bemutatjuk a 2006/2007. tanévben az ágazat ötéves képzésbeli elődjének tekinthető "Informatikai infrastruktúra tervezése" szakirány hallgatói által kidolgozott önálló laboratóriumi feladatok egyoldalas összefoglalóit. Ezeket a fenti témakörök szerint csoportosítjuk. (Az "Informatikai infrastruktúra tervezése" szakirány korábbi önálló laboratórium feladatainak teljes listája a kapcsolódó web lapon elérhető.)

Az ágazat hallgatóinak önálló laboratórium feladatai a kapcsolódó web lapon elérhetők.

Üzleti folyamatok és alkalmazások

BPEL v1.1 alapú kooperáció modellezése OSGi-SCA alapú workflow támogatás BPEL v2 alapú munkafolyamatok modellezése Folyamatmodellek formális verifikációja Nagy rendelkezésre állást biztosító szoftver technológiák (SA-Forum) alkalmazása hálózatos játék szerveroldalán Webszolgáltatás alapú keretrendszer Webszolgáltatások automatikus konfigurációja Ajax webalkalmazások automatikus kódgenerálása FileNet P8 ECM rendszer

Kritikus beágyazott rendszerek

Beágyazott rendszerek modell alapú fejlesztése Beágyazott rendszerek (avionics) modell alapú fejlesztése Elosztott, többprocesszoros beágyazott információs rendszerek fejlesztésének támogatása nyílt fejlesztő rendszer segítségével Biztonságkritikus rendszerek felhasználói kezelőfelületeinek tesztelése Szkript nyelvi környezet fejlesztése űrszonda szimulátorhoz Beágyazott rendszerek tervezésének ütemezése Keretprogram tervezése tesztsorozat generálásához Biztonságkritikus rendszerek architektúra tervezése

Rendszerfelügyelet

Virtualizáció, mint energia hatékony informatikai eszköz IBM Tivoli Netcool portfolió IT infrastruktúra visszacsatolás alapú szabályozása Intel Active Management Technology Eljárásrend alapú infrastruktúra menedzsment Hibaterjedés általánosított modellezése és analízise I Hibaterjedés általánosított modellezése és analízise II Hibaterjedés általánosított modellezése és analízise III Szolgáltatási szintek mérése Kapacitástervezés

Modell alapú rendszertervezés és verifikáció

Modelltranszformáció példák alapján (MTBE) Modell alapú tesztelés mobil környezetben Modell alapú hibainjektáló környezet fejlesztése Modellek és forráskód szinkronizációja Modelltranszformációk verifikációja Alkalmazások fejlesztése és tesztelése mobil ad-hoc környezetben Inkrementális modelltranszformációk Modelltranszformáció helyesség ellenőrzése Model Transformation by Example (MTBE) - Komplex esettanulmány Kényszerek kezelése ViatraDSM alatt Beágyazott rendszerek platform-független modelljéhez GEF grafikus editor készítése Modell alapú robosztusság tesztelés Egzotikus modellellenőrzés Ontológia bányászat

 

---

Valid HTML and CSS