Rendszertervezés ágazat

Átírás

1 Rendszertervezés Mérnök informatikus szak BSc Informatikai technológiák szakirány Mérnök informatikus BSc

2 A szakirány és ágazatai Informatikai technológiák szakirány Rendszertervezés (MIT) Rendszerfejlesztés (IIT) Szoftverfejlesztés (AAIT) - Ágazati lehetőségek: Önálló laboratórium és Szakdolgozat kidolgozása Laboratóriumi mérések Választható tárgyak MSc szakirány előkészítése Mérnök informatikus BSc

3 A Rendszertervezés kompetenciák Komponens integráció Ellenőrzés és tesztelés Rendszermodellezés Rendszerfelügyelet Rendszertervezés: A specifikációtól az üzemeltetésig Modell alapú technológiák Komponens alapú rendszerintegráció Igazoltan helyes tervezés Üzemeltetés és rendszerfelügyelet Mérnök informatikus BSc

4 Rendszertervezés Alkalmazási területek Üzleti folyamatok Informatikai infrastruktúra Beágyazott rendszerek Fejlesztési technológiák Mérnök informatikus BSc

5 Potenciális munkahelyek Rendszertervező, megoldásszállító cégek Beágyazott komponensek integrálása Web szolgáltatások kialakítása Munkafolyamatok integrációja Rendszerintegrátor és tanácsadó cégek Vállalati informatikai rendszerek tervezése Szoftverfejlesztő cégek Architektúra tervezés, fejlesztés irányítása Informatikai szolgáltatók, saját infrastruktúrával rendelkező cégek Rendszerfelügyelet Mérnök informatikus BSc

6 Hallgatóink elhelyezkedése Az utóbbi években: IBM Magyarország Tivoli Services Specialist, Systems Management Specialist IBM Canada, Toronto Laboratory DB2 Peformance Analyst Morgan Stanley Nokia Siemens Networks OptXware Kft. Google Nav'N'Go Cambridge Technology Partners, Zürich Korábbi évfolyamok (ötéves képzés): HP Magyarország Ericsson Magyarország Lufthansa SAAB T-Systems Raiffeisen Bank CIB Bank KFKI Rendszerintegrációs ZRt. Mérnök informatikus BSc

7 Az ágazathoz kötődő tárgyak Szakirány előadás 3/1/0/v/4 Adatvezérelt alk. fejlesztése 6. félév Szakirány előadás 3/1/0/v/4 Intelligens rendszerfelügyelet 7. félév Elágazó előadás 3/1/0/v/5 Rendszermodellezés Szakirány előadás 3/1/0/v/4 Objektumorientált szoftverfejlesztés Szakirány labor 0/0/2/f/2 Informatikai technológiák I. Önálló labor 0/0/4/f/6 Önálló laboratórium Szakirány labor 0/0/2/f/2 Informatikai technológiák II. Szakdolgozat 0/10/0/a/15 Szakdolgozat Választható tárgy 2/0/0/f/2 Eclipse alapú technológiák Választható tárgy 4/0/0/v/4 Modell alapú rendszertervezés Mérnök informatikus BSc

8 Laboratóriumaink IBM technológiai labor Academic Initiative (Scholars) program Budapest Center of Advanced Studies Rational termékcsalád Tivoli termékcsalád WebSphere termékcsalád Intel virtualizációs labor Virtualizációs technológiák Active Management Mérnök informatikus BSc

9 Megismerhető technológiák Modell alapú rendszertervezés: - Szakterület specifikus nyelvek (UML profilok, SysML, AADL) - Tervezői rendszerek (Eclipse, VIATRA, Rational Software Architect) Rendszerintegrációs technológiák: - Web szolgáltatások (IBM WebSphere) - Workflow keretrendszerek (Domino Workflow, WebSphere Business Modeler) - Köztesrétegek (Service Availability Forum) - Fürtözés, virtualizáció (Xen, VMWare) Rendszertervezés Integrált rendszerfelügyelet: - IBM Tivoli termékcsalád (Monitoring, Identity Manager, Tivoli CCMDB) - Távoli felügyelet (Intel vpro) Rendszerverifikáció és -tesztelés: - Modell alapú helyességbizonyítás (Esterel SCADE, statikus ellenőrzők) - Funkcionális és teljesítménytesztelés (Rational Functional / Performance Tester) Mérnök informatikus BSc

10 Megismerhető technológiák: Automatikus kódgenerálás Mérnök informatikus BSc

11 Megismerhető technológiák: Köztesréteg szoftverek Szabványos keretrendszer nagy rendelkezésreállású szolgáltatások ipari szintű támogatására Nokia, Ericsson, IBM, HP, Intel, Sun, Oracle, Fujitsu-Siemens, Mérnök informatikus BSc

12 Megismerhető technológiák: Felügyeleti szoftverek Mérnök informatikus BSc

13 Megismerhető technológiák: Modell alapú szoftverfejlesztés Mérnök informatikus BSc

14 Megismerhető technológiák: Web szolgáltatások Címtár Portál szerver Web szolgáltatások EJB konténer Web konténer Adatbázis szerver Hozzáférésvédelem LDAP Mérnök informatikus BSc

15 Rendszertervezés Mérnök informatikus BSc

16 Önálló labor témakörök Üzleti folyamatok és és alkalmazások --Web Web szolgáltatások integrációja --Munkafolyamatok modellezése és és kialakítása --e-business alkalmazások fejlesztése Mérnök informatikus BSc

17 Önálló labor témakörök Üzleti folyamatok és és alkalmazások --Web Web szolgáltatások integrációja --Munkafolyamatok Kritikus beágyazott modellezése rendszerek és és kialakítása --e-business - -Modell alkalmazások alapú tervezés fejlesztése --Hibatűrés, terheléselosztás --Forráskód generálás, ütemezés generálás Mérnök informatikus BSc

18 Önálló labor témakörök Üzleti folyamatok és és alkalmazások --Web Web szolgáltatások integrációja --Munkafolyamatok Kritikus beágyazott modellezése rendszerek és és kialakítása --e-business - -Modell alkalmazások alapú tervezés fejlesztése --Hibatűrés, Rendszerfelügyelet terheléselosztás --Forráskód - -Teljesítmény- generálás, és ütemezés felhasználó generálás monitorozás --Öngyógyító rendszerek --Szolgáltatási szint szerződések felügyelete Mérnök informatikus BSc

19 Önálló labor témakörök Üzleti folyamatok és és alkalmazások --Web Web szolgáltatások integrációja --Munkafolyamatok Kritikus beágyazott modellezése rendszerek és és kialakítása --e-business - -Modell alkalmazások alapú tervezés fejlesztése --Hibatűrés, Rendszerfelügyelet terheléselosztás --Forráskód - -Teljesítmény- generálás, és ütemezés felhasználó generálás monitorozás --Öngyógyító Modell rendszerek alapú tervezés és és verifikáció --Szolgáltatási - -Szakterület-specifikus szint szerződések nyelvek felügyelete --Programok statikus analízise --Automatikus tesztgenerálás és és végrehajtás Mérnök informatikus BSc

20 TDK és OTDK eredmények Országos TDK 2007 Országos TDK 2005 Országos Kari TDK Országos Kari TDK Kari TDK 2007 Kari TDK 2006 I. díjak II. díjak III. díjak Mérnök informatikus BSc

21 TDK témáink az elmúlt évekből Üzleti folyamatok és és alkalmazások --Webszolgáltatások rendelkezésreállás növelése --BPEL folyamatok automatikus ellenőrzése --SOA SOA rendszerk modellvezérelt fejlesztése Mérnök informatikus BSc

22 TDK témáink az elmúlt évekből Üzleti folyamatok és és alkalmazások --Webszolgáltatások rendelkezésreállás növelése --BPEL Kritikus folyamatok beágyazott automatikus rendszerek ellenőrzése --SOA- SOA rendszerk -Kódgenerálás modellvezérelt beágyazott fejlesztése rendszerekben (UML, szakterület-specifikus nyelvek) --Tesztgenerálás és és tesztfedettség mérés Mérnök informatikus BSc

23 TDK témáink az elmúlt évekből Üzleti folyamatok és és alkalmazások --Webszolgáltatások rendelkezésreállás növelése --BPEL Kritikus folyamatok beágyazott automatikus rendszerek ellenőrzése --SOA- SOA rendszerk -Kódgenerálás modellvezérelt beágyazott fejlesztése rendszerekben (UML, Rendszerfelügyelet szakterület-specifikus nyelvek) --Tesztgenerálás - -Informatikai és infrastruktúra és tesztfedettség modell mérés alapú vizsgálata --Szerverkonfigurációk kialakítása virtualizált környezetben Mérnök informatikus BSc

24 TDK témáink az elmúlt évekből Üzleti folyamatok és és alkalmazások --Webszolgáltatások rendelkezésreállás növelése --BPEL Kritikus folyamatok beágyazott automatikus rendszerek ellenőrzése --SOA- SOA rendszerk -Kódgenerálás modellvezérelt beágyazott fejlesztése rendszerekben (UML, Rendszerfelügyelet szakterület-specifikus nyelvek) --Tesztgenerálás - -Informatikai és infrastruktúra és tesztfedettség modell mérés alapú vizsgálata --Szerverkonfigurációk Modell alapú tervezés kialakítása és és virtualizált verifikáció környezetben - -Szakterület-specifikus nyelvek megvalósítása --Modell-transzformációs keretrendszer fejlesztése --Java Java programok statikus ellenőrzése Mérnök informatikus BSc

25 Nemzetközi kapcsolatok Projekt partnerek: Mérnök informatikus BSc

26 Nemzetközi projektjeink Szolgáltatás-orientált architektúra: SENSORIA: Modell transzformációk Megbízható elosztott rendszerek: HIDENETS: Mobil alkalmazások DESEREC: Dinamikus átkonfigurálás Biztonságkritikus rendszerek: DECOS, DIANA: Komponens-integráció SAFEDMI: Mozdonyvezetői kezelőfelület MOGENTES: Modell alapú tesztgenerálás GENESYS: Platform beágyazott rendszerekhez Mérnök informatikus BSc

27 Beágyazott rendszerek és komponenseik Mérnök informatikus BSc

28 Szoftvertervezés szolgáltatásorientált rendszerekben Mérnök informatikus BSc

29 Biztonságos kezelőfelület ERTMS mozdonyokhoz ERTMS TRAINBORNE SYSTEMS commercial field bus Vcc 1,2E-06 1,0E-06 EXCLUSION LOGIC SAFE DMI LCD lamp LCD DISPLAY Hazard rate 8,0E-07 6,0E-07 4,0E-07 2,0E-07 0,5 0,6 0,7 0,8 0,9 Control flow checking coverage Speaker wireless interface Keyboard Mérnök informatikus BSc

30 Modell alapú tesztgenerálás beágyazott rendszerekben Mérnök informatikus BSc

31 A szolgáltatásbiztonság mérése és analízise Mérnök informatikus BSc

32 Generikus platform beágyazott rendszerekhez Mérnök informatikus BSc

33 Hallgatói sikerek IBM Great Minds ösztöndíj: Szombath István, Paljak Gergely Siemens ösztöndíj (München): Szatmári Zoltán, Urbanics Gábor IBM Best PhD student awards: Pintér Gergely Ráth István OTDT Pro Scientia Aranyérem: Ráth István Önálló konferencia előadások (külföldön): Kövi András, Kovács Máté, Oláh János, Horváth Ákos, Ráth István, Service Availability Forum szakértő: Kövi András Mérnök informatikus BSc

34 Továbblépés: MSc szakirány Szolgáltatásbiztos rendszertervezés Rendszertervezés Szolgáltatásbiztonság Komponens illetve szolgáltatás alapú integráció BPEL WebSphere WSDL Megbízhatóság, rendelkezésre állás, teljesítmény tervezés SLA SAF AIS SRN Modell alapú rendszertervezés UML SysML Eclipse Szoftver ellenőrzési technikák Rational VIATRA Szoftver integrációs technológiák J2EE XML EJB Integrált rendszerfelügyelet Tivoli vpro VMware Mérnök informatikus BSc

35 További információ az ágazatról Mérnök informatikus BSc