Részvétel e-Freight WP2 megbeszélésen Innsbruckban

2011. március 9-11-ig az Innsbrucki Egyetem adott otthont az e-Freight WP2 munkacsoport technikai megbeszélésének. Az eseményen Pataricza András, Gönczy László és Kövi András vettek részt. A találkozó célja a projekt keretében készülő platform és keretrendszer részleteinek tisztázása és a további munkamenet meghatározása volt. A csoportunk az aktuálisan folyó ontológia alapú tervezési metodikát fejtette ki, és helyezte kontextusba a projekten belül.

A kép az Axamer Lizum síterepet mutatja, amely hozzávetőleg 20 perc autózásra van Innsbrucktól.

 

On-line elérhető előadás a tanszék ipari kutatási eredményéről

A BME-MIT az Optxware  Kft közreműködésével az IBM Data Storage Systems megbízásából a korábbi megrendelési adatok statisztikai feldolgozásával  prediktív eljárást dolgozott ki a várható termelésre, valamint szimulációs és hatásanalízis módszerekkel vizsgálta annak optimalizálási lehetőségeit. Tovább »

Előadás a VERFE 2011 workshopon

Az Olaszországban, Como-ban megrendezett VERFE 2011 workshopon előadásra került Dr. Pataricza András, Salánki Ágnes és Kocsis Imre "Qualitative Characterization of Quality of Service Interference between Virtual Machines" című cikke.

Részvétel a SecureChange kutatási projekt megbeszélésén Innsbruckban

2011. január 18-20-ig az Innsbrucki Egyetem adott otthont a SecureChange EU kutatási projekt soron következő megbeszélésének, amely a projekt második évét zárta le. Kutatócsoportunkat dr. Varró Dániel és Bergmann Gábor képviselte. A partnerek összefoglalták a projekt második éve alatt született eredményeket, terveket készítettek ezek validációjára, egyeztettek a további együttműködésről és integrációról, valamit folytatták a felkészülést az áprilisi beszámolóra. Csoportunk a WP3 eszközeit is technikáit egyesítő demonstrátor prototípust mutatta be, amely az EMF-IncQuery technológiára épít. Tovább »

MOGENTES megbeszélés Grazban

A 3 éves MOGENTES projekt a végéhez közeledik, az utolsó előtti megbeszélésére 2010. december 2-3-án került sor Grazban, ahol a csoportot dr. Polgár Balázs képviselte. Az összejövetel célja az elért eredmények értékelése és a demonstrátor alkalmazások áttekintése volt. Tovább »

Formal Methods in Railway and Automotive Systems

December első napjaiban Braunschweigben rendezték a Formal Methods for Automation and Safety in Railway and Automotive Systems konferenciát. Ezen dr. Pataricza András meghívott előadóként, dr. Majzik István pedig a "Legal Framework and Risk Metrics" szekció elnökeként és a "Model-based Integration Framework for Development and Testing Tool-chains" cikkünk előadójaként vett részt (a cikk szerzői dr. Polgár Balázs, Ráth István és Majzik István).
Pataricza professzor "Towards Open Modular Critical Systems" című előadása a konferencia egyik legmagasabbra értékelt előadása volt. Tovább »

Eclipse DemoCamp Budapest

2010. november 19-én megrendezésre került az Eclipse DemoCamps budapesti rendezvénye, amely célja, hogy az Eclipse felhasználói bemutassák egymásnak legfrissebb munkáikat. A csoportot Bergmann Gábor, Horváth Ákos, Pintér Gergely, Ráth István és Ujhelyi Zoltán képviselte. Tovább »

Kari TDK 2010.

2010. november 17-én került megrendezésre a 2010-es Tudományos Diákköri Konferencia a Villamosmérnöki és Informatikai Karon. A csoport hallgatói összesen öt dolgozatot mutattak be a nap során, két első és három második helyezést elérve. Az eredményekhez ezúton is gratulálunk! Tovább »

BME kutatóegyetemi rendezvény

"Hogyan tovább, Műegyetem?" címmel került sor a BME kutatóegyetemi programjának bemutatására a Központi épület disztermében. Az öt kiemelt kutatási területből csoportunk az Intelligens környezetek és e-technológiák terület Intelligens gépi és fizikai világ projektjében vesz részt. Kutatási témánk:  Modell alapú tervezési és analízis módszerek kidolgozása kritikus számítógépes rendszerekhez.

SecureChange WP3 értekezlet Párizsban

Párizsban, a Thales Research modern épületében került sor a SecureChange kutatási projekt WP3 munkacsoportjának gyűlésére. Csoportunkat Bergmann Gábor képviselte. A partnerek megvitatták a projekt második évének utolsó teendőit, egyeztették a hamarosan esedékes beszámolók tartalmát, terveket készítettek a partnerek ill. munkacsoportok közötti elvi és szoftveres integrációra, és ismertették saját munkáikat. Az FTSRG a projekt támogatásával megvalósult kutatási eredményeit prezentálta, köztük az EMF-IncQuery eszközt és Hegedüs Ábel ereményeit BPEL verifikáció ill. execution trace back-annotation témában.

  Tovább »

Tartalom átvétel