Rendszertervezés Mérnök informatikus szak BSc Informatikai technológiák szakirány http://www.inf.mit.bme.hu/ Mérnök informatikus BSc
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
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
Rendszertervezés Alkalmazási területek Üzleti folyamatok Informatikai infrastruktúra Beágyazott rendszerek Fejlesztési technológiák Mérnök informatikus BSc
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
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
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
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
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
Megismerhető technológiák: Automatikus kódgenerálás Mérnök informatikus BSc
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
Megismerhető technológiák: Felügyeleti szoftverek Mérnök informatikus BSc
Megismerhető technológiák: Modell alapú szoftverfejlesztés Mérnök informatikus BSc
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
Rendszertervezés Mérnök informatikus BSc
Ö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
Ö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
Ö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
Ö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
TDK és OTDK eredmények Országos TDK 2007 Országos TDK 2005 Országos Kari TDK 2003 2009 Országos Kari TDK 2003 2008 Kari TDK 2007 Kari TDK 2006 I. díjak II. díjak III. díjak Mérnök informatikus BSc
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
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
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
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
Nemzetközi kapcsolatok Projekt partnerek: Mérnök informatikus BSc
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
Beágyazott rendszerek és komponenseik Mérnök informatikus BSc
Szoftvertervezés szolgáltatásorientált rendszerekben Mérnök informatikus BSc
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
Modell alapú tesztgenerálás beágyazott rendszerekben Mérnök informatikus BSc
A szolgáltatásbiztonság mérése és analízise Mérnök informatikus BSc
Generikus platform beágyazott rendszerekhez Mérnök informatikus BSc
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
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
További információ az ágazatról http://www.inf.mit.bme.hu/ Mérnök informatikus BSc