mérnök informatikus szak bsc informatikai …méréstechnika és információs rendszerek tanszék...
TRANSCRIPT
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Mérnök informatikus szak BScInformatikai technológiák szakirány
Rendszertervez és ágazat
Méréstechnika és Inform ációs Rendszerek Tanszék
http://www.inf.mit.bme.hu/
Rendszertervez és
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
A szakirány és ágazatai
Á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
Informatikai technológiák szakirány
-Rendszertervezés
(MIT)Rendszertervezés
(MIT)Rendszerfejlesztés
(IIT)
Rendszerfejlesztés(IIT)
Szoftverfejlesztés(AAIT)
Szoftverfejlesztés(AAIT)
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
A Rendszertervez és ágazat
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
Rendszer-modellezés
Komponensintegráció
Ellenőrzésés tesztelés
Rendszer-felügyelet
Rendszertervezés kompetenciákRendszertervezés kompetenciák
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Alkalmazási területek
Rendszertervez és
Üzletifolyamatok
Informatikaiinfrastruktúra
Beágyazottrendszerek
Fejlesztésitechnológiák
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
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éréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Hallgatóink elhelyezked ése
Az utóbbi években:• IBM Magyarország – Tivoli Services Specialist, System s Management Specialist• IBM Canada, Toronto Laboratory – DB2 Peformance Analys t• 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éréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Az ágazathoz k ötődő tárgyak
Szakirány előadás 3/1/0/v/4
Intelligens rendszerfelügyelet
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
Választható tárgy 2/0/0/f/2
Eclipse alapútechnológiák
6. félév
Elágazó előadás 3/1/0/v/5
Rendszer-modellezés
Szakirány labor 0/0/2/f/2
Informatikai technológiák II.
Szakdolgozat 0/10/0/a/15
Szakdolgozat
Választható tárgy 4/0/0/v/4
Modell alapúrendszertervezés
7. félév
Szakirány előadás 3/1/0/v/4
Adatvezérelt alk.fejlesztése
Szakirány előadás 3/1/0/v/4
Objektumorientáltszoftverfejlesztés
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Laboratóriumaink
• IBM technológiai laborAcademic Initiative (Scholars) programBudapest Center of Advanced StudiesRational term ékcsaládTivoli term ékcsaládWebSphere term ékcsalád
• Intel virtualiz ációs laborVirtualizációs technológiákActive Management
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Megismerhet ő technológiák
Modell alapú rendszertervezés:
- Szakterület specifikus nyelvek(UML profilok, SysML, AADL)
- Tervezői rendszerek(Eclipse, VIATRA, Rational Software Architect)
Integrált rendszerfelügyelet:
- IBM Tivoli termékcsalád(Monitoring, Identity Manager,Tivoli CCMDB)
- Távoli felügyelet (Intel vPro)
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)
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)
Rendszertervezés
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Megismerhet ő technológiák:
Automatikus k ódgenerálás
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Megismerhet ő technológiák:
Köztesréteg szoftverek
• Szabványos keretrendszer nagy rendelkezésreállású szolg áltatások ipari szint ű támogatásáraNokia, Ericsson,IBM, HP, Intel, Sun, Oracle,Fujitsu-Siemens,…
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Megismerhet ő technológiák:
Felügyeleti szoftverek
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Megismerhet ő technológiák:
Modell a lapú szoftverfejlesztés
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
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éréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Rendszertervez és
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Önálló labor témak örök
Üzleti folyamatok és alkalmazások- Web szolgáltatások integrációja- Munkafolyamatok modellezése és kialakítása- e-Business alkalmazások fejlesztése
Üzleti folyamatok és alkalmazások- Web szolgáltatások integrációja- Munkafolyamatok modellezése és kialakítása- e-Business alkalmazások fejlesztése
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Önálló labor témak örök
Üzleti folyamatok és alkalmazások- Web szolgáltatások integrációja- Munkafolyamatok modellezése és kialakítása- e-Business alkalmazások fejlesztése
Üzleti folyamatok és alkalmazások- Web szolgáltatások integrációja- Munkafolyamatok modellezése és kialakítása- e-Business alkalmazások fejlesztése
Kritikus beágyazott rendszerek- Modell alapú tervezés- Hibatűrés, terheléselosztás - Forráskód generálás, ütemezés generálás
Kritikus beágyazott rendszerek- Modell alapú tervezés- Hibatűrés, terheléselosztás - Forráskód generálás, ütemezés generálás
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Önálló labor témak örök
Üzleti folyamatok és alkalmazások- Web szolgáltatások integrációja- Munkafolyamatok modellezése és kialakítása- e-Business alkalmazások fejlesztése
Üzleti folyamatok és alkalmazások- Web szolgáltatások integrációja- Munkafolyamatok modellezése és kialakítása- e-Business alkalmazások fejlesztése
Kritikus beágyazott rendszerek- Modell alapú tervezés- Hibatűrés, terheléselosztás - Forráskód generálás, ütemezés generálás
Kritikus beágyazott rendszerek- Modell alapú tervezés- Hibatűrés, terheléselosztás - Forráskód generálás, ütemezés generálás
Rendszerfelügyelet- Teljesítm ény- és felhasználó monitorozás- Öngyógyító rendszerek- Szolgáltatási szint szerz ődések felügyelete
Rendszerfelügyelet- Teljesítm ény- és felhasználó monitorozás- Öngyógyító rendszerek- Szolgáltatási szint szerz ődések felügyelete
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Önálló labor témak örök
Üzleti folyamatok és alkalmazások- Web szolgáltatások integrációja- Munkafolyamatok modellezése és kialakítása- e-Business alkalmazások fejlesztése
Üzleti folyamatok és alkalmazások- Web szolgáltatások integrációja- Munkafolyamatok modellezése és kialakítása- e-Business alkalmazások fejlesztése
Kritikus beágyazott rendszerek- Modell alapú tervezés- Hibatűrés, terheléselosztás - Forráskód generálás, ütemezés generálás
Kritikus beágyazott rendszerek- Modell alapú tervezés- Hibatűrés, terheléselosztás - Forráskód generálás, ütemezés generálás
Rendszerfelügyelet- Teljesítm ény- és felhasználó monitorozás- Öngyógyító rendszerek- Szolgáltatási szint szerz ődések felügyelete
Rendszerfelügyelet- Teljesítm ény- és felhasználó monitorozás- Öngyógyító rendszerek- Szolgáltatási szint szerz ődések felügyelete
Modell alapú tervezés és verifikáció- Szakterület-specifikus nyelvek- Programok statikus analízise- Automatikus tesztgenerálás és végrehajtás
Modell alapú tervezés és verifikáció- Szakterület-specifikus nyelvek- Programok statikus analízise- Automatikus tesztgenerálás és végrehajtás
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
TDK és OTDK eredm ények
OrszágosTDK 2007
Kari TDK 2006
OrszágosTDK 2005
III. díjakII. díjakI. díjakOrszágosTDK 2007
Kari TDK 2007Kari TDK 2007Kari TDK 2006
OrszágosTDK 2005
III. díjakII. díjakI. díjak
OrszágosTDK 2003Kari TDK 2008Kari TDK 200
OrszágosTDK 2003Kari TDK 2009Kari TDK 200
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
TDK témáink az elm últ évekb ől
Üzleti folyamatok és alkalmazások- Webszolgáltatások rendelkezésreállás növelése- BPEL folyamatok automatikus ellen őrzése- SOA rendszerk modellvezérelt fejlesztése
Üzleti folyamatok és alkalmazások- Webszolgáltatások rendelkezésreállás növelése- BPEL folyamatok automatikus ellen őrzése- SOA rendszerk modellvezérelt fejlesztése
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
TDK témáink az elm últ évekb ől
Üzleti folyamatok és alkalmazások- Webszolgáltatások rendelkezésreállás növelése- BPEL folyamatok automatikus ellen őrzése- SOA rendszerk modellvezérelt fejlesztése
Üzleti folyamatok és alkalmazások- Webszolgáltatások rendelkezésreállás növelése- BPEL folyamatok automatikus ellen őrzése- SOA rendszerk modellvezérelt fejlesztése
Kritikus beágyazott rendszerek- Kódgenerálás beágyazott rendszerekben
(UML, szakterület-specifikus nyelvek)- Tesztgenerálás és tesztfedettség m érés
Kritikus beágyazott rendszerek- Kódgenerálás beágyazott rendszerekben
(UML, szakterület-specifikus nyelvek)- Tesztgenerálás és tesztfedettség m érés
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
TDK témáink az elm últ évekb ől
Üzleti folyamatok és alkalmazások- Webszolgáltatások rendelkezésreállás növelése- BPEL folyamatok automatikus ellen őrzése- SOA rendszerk modellvezérelt fejlesztése
Üzleti folyamatok és alkalmazások- Webszolgáltatások rendelkezésreállás növelése- BPEL folyamatok automatikus ellen őrzése- SOA rendszerk modellvezérelt fejlesztése
Kritikus beágyazott rendszerek- Kódgenerálás beágyazott rendszerekben
(UML, szakterület-specifikus nyelvek)- Tesztgenerálás és tesztfedettség m érés
Kritikus beágyazott rendszerek- Kódgenerálás beágyazott rendszerekben
(UML, szakterület-specifikus nyelvek)- Tesztgenerálás és tesztfedettség m érés
Rendszerfelügyelet- Informatikai infrastruktúra modell alapú vizsgálata- Szerverkonfigurációk kialakítása virtualizált
környezetben
Rendszerfelügyelet- Informatikai infrastruktúra modell alapú vizsgálata- Szerverkonfigurációk kialakítása virtualizált
környezetben
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
TDK témáink az elm últ évekb ől
Üzleti folyamatok és alkalmazások- Webszolgáltatások rendelkezésreállás növelése- BPEL folyamatok automatikus ellen őrzése- SOA rendszerk modellvezérelt fejlesztése
Üzleti folyamatok és alkalmazások- Webszolgáltatások rendelkezésreállás növelése- BPEL folyamatok automatikus ellen őrzése- SOA rendszerk modellvezérelt fejlesztése
Kritikus beágyazott rendszerek- Kódgenerálás beágyazott rendszerekben
(UML, szakterület-specifikus nyelvek)- Tesztgenerálás és tesztfedettség m érés
Kritikus beágyazott rendszerek- Kódgenerálás beágyazott rendszerekben
(UML, szakterület-specifikus nyelvek)- Tesztgenerálás és tesztfedettség m érés
Rendszerfelügyelet- Informatikai infrastruktúra modell alapú vizsgálata- Szerverkonfigurációk kialakítása virtualizált
környezetben
Rendszerfelügyelet- Informatikai infrastruktúra modell alapú vizsgálata- Szerverkonfigurációk kialakítása virtualizált
környezetben Modell alapú tervezés és verifikáció- Szakterület-specifikus nyelvek megvalósítása- Modell-transzform ációs keretrendszer fejlesztése- Java programok statikus ellen őrzése
Modell alapú tervezés és verifikáció- Szakterület-specifikus nyelvek megvalósítása- Modell-transzform ációs keretrendszer fejlesztése- Java programok statikus ellen őrzése
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Nemzetk özi kapcsolatok
• Projektpartnerek:
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
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éréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Beágyazott rendszerek és komponenseik
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Szoftvertervezés szolgáltatásorientáltrendszerekben
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Biztonságos kezel őfelületERTMS mozdonyokhoz
2,0E-07
4,0E-07
6,0E-07
8,0E-07
1,0E-06
1,2E-06
0,5 0,6 0,7 0,8 0,9
Control flow checking coverage
Haz
ard
rate
LCD DISPLAY
SAFE DMI
EXCLUSION LOGIC LCD lamp
Vcc
………
Keyboard
Speaker
ERTMS TRAINBORNE SYSTEMS
commercial field bus
wireless interface
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Modell alapú tesztgenerálásbeágyazott rendszerekben
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
A szolgáltatásbiztonságmérése és analízise
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Generikus platformbeágyazott rendszerekhez
Méréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
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éréstechnika és Információs Rendszerek TanszékMérnök informatikus BSc – Rendszertervezés ágazat
Mérnök informatikus szakBSc képzésRendszertervezés ágazat
Szolgáltatásbiztosrendszertervezés
Továbblépés: MSc szakirány
Komponens illetveszolgáltatás alapú
integráció
Modell alapúrendszertervezés
Szoftver integrációstechnológiák
Szoftver ellenőrzésitechnikák
Integráltrendszerfelügyelet
J2EEXML
UML
Eclipse
Rational
TivolivPro
VMware
VIATRA
EJB
SzolgáltatásbiztonságRendszertervezés
WSDL
WebSphere
SysML
BPEL Megbízhatóság,rendelkezésre állás,teljesítmény tervezés SRN
SAF AIS
SLA