Előadás az Internet of Things konferencián

Dr Pataricza András május 16-än az Európai Bizottság és a Nemzeti Innovációs Hivatal  által közösen szervezett magasszintű,  Internet of Things konferencián előadta dr. Charaf Hassannal közösen jegyzett "Model-based Design and Operation in Internet of Things" című előadásukat, amelynek videofelvétele megtekinthető itt 

 

Előadás a Szoftvertesztelés szakkonferencián

2011. május 11-én Micskei Zoltán és Dr. Polgár Balázs előadást tartottak a  „Szoftvertesztelés – Interaktív szakmai fórum” című IIR-Szakkonferencián Modell alapú tesztelés alkalmazása egy konkrét projektben – A MOGENTES EU-s kutatási projektben összegyűlt tapasztalatok bemutatása címmel. Tovább »

MSc diákunk felvételt nyert a CERN Technical Student programba

Csikós Donát, tanszékünk MSc-s hallgatója felvételt nyert a svájci CERN központba, ahol a "Technical Student" nevű ösztöndíj keretében 12 hónapot tölthet. Feladatai közé a laborokban található mérési eszközök szoftvereinek, illetve azok változásának kezelése tartoznak. Hallgatónk sikeréhez hozzájárultak a Formális módszerek tantárgy keretében elsajátított statikus programellenőrzési technikák is.

Az R3-COP projekt megbeszélése

Március végén került sor az R3-COP - Robust & Safe Mobile Co-operative Autonomous Systems (Robusztus és biztonságos mobil kooperatív autonóm rendszerek) ARTEMIS projekt éves megbeszélésére a dániai Odense-ben, az ottani DTI CRT robottechnológiai központban. A projektben vállalt tesztelési feladatainkat dr. Majzik István mutatta be.
A tesztelés mellett tanszéki kutatók közreműködnek még tanuló algoritmusok és tudásintegráció kidolgozásában is. Tovább »

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 »

Tartalom átvétel