Mérnök informatikus szak BSc Informatikai …Méréstechnika és Információs Rendszerek Tanszék Mérnök informatikus BSc – Rendszertervezés ágazat Mérnök informatikus szak

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



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)



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



Alkalmazási területek

Rendszertervez és

Üzletifolyamatok

Informatikaiinfrastruktúra

Beágyazottrendszerek

Fejlesztésitechnológiák



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



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.



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


Adatvezérelt alk.fejlesztése


Objektumorientáltszoftverfejlesztés



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



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



Megismerhet ő technológiák:

Automatikus k ódgenerálás




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,…




Felügyeleti szoftverek




Modell a lapú szoftverfejlesztés




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



Rendszertervez és



Ö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







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











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



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



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







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


környezetben











környezetben


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



Nemzetk özi kapcsolatok

• Projektpartnerek:



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



Beágyazott rendszerek és komponenseik



Szoftvertervezés szolgáltatásorientáltrendszerekben



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



Modell alapú tesztgenerálásbeágyazott rendszerekben



A szolgáltatásbiztonságmérése és analízise



Generikus platformbeágyazott rendszerekhez



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



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



További inform áció az ágazatról

http://www.inf.mit.bme.hu /

Documents

Mérnök informatikus szak BSc Informatikai …Méréstechnika és Információs Rendszerek Tanszék Mérnök informatikus BSc – Rendszertervezés ágazat Mérnök informatikus szak