EMF-IncQuery tutorial az EC-MFA 2011 konferencián

A csoport képviseletében Ráth István bemutatta az EMF-IncQuery eszközt a European Conference on Modeling Foundations and Applications konferencián, Birminghamben. A gyakorlati bemutató előadás (tutorial) során áttekintettük az eszköz használatát, újdonságait, valamint a legfrissebb fejlesztések eredményeit. Az előadás kiemelt népszerűségnek örvendett, és élénk érdeklődés mellett számos ipari és akadémiai partner fejezte ki szándékét a jövőbeli kutatási együttműködés iránt. Tovább »

Sikeresen zárult a MOGENTES projekt

2011. május 26-án a MOGENTES ("Modell bázisú teszgenerálás szolgáltatásbiztos beágyazott rendszerekben") konzorcium sikeresen mutatta be az EU képviselőinek az elmúlt három év során elért eredményeket, és kiérdemelte a "kiváló projekt" minősítést.

Csoportunk a sikerekhez a valósidejű alkalmazásokra történő UPPAAL alapú tesztgenerálással, az általános eszközintegrációs keretrendszer kidolgozásával és a tesztgenerálási folyamatok ebben való megvalósításával, ill. az integrációs munka koordinálásával járult hozzá. Tovább »

Pataricza András résztvett a Safecomp 2011 konferencia programbizottsági ülésén

Dr. Pataricza András tagként részt vett  a Safecomp 2011 konferencia programbizottsági ülésén, Rómában. A Safecomp a biztonságkritikus beágyazott rendszerek egyik legnevesebb konferenciája. 

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.

Tartalom átvétel