Varró Dániel a Software and Systems Modeling folyóirat szerkesztőbizottságában

Dr. Varró Dániel meghívást kapott a Springer által kiadott, és 1.53-as impakt faktorral rendelkező nemzetközi Software and Systems Modeling (SoSyM) folyóirat szerkesztőbizottságába. Szerkesztőbizottsági tagként a folyóiratba beküldött publikációk bírálati folyamatát kell szerveznie és felügyelnie.

Útközben - BME kutatóegyetemi rendezvény

"Útközben" címmel került sor egy szakmai konferencia keretében a BME kutatóegyetemi program első évének zárására. Csoportunk az Intelligens környezetek és e-technológiák terület Intelligens gépi és fizikai világ projektjében vesz részt. Modell alapú tervezési és analízis módszerek kidolgozása kritikus számítógépes rendszerekhez témában elért első eredményeinket Majzik István mutatta be.

SecureChange értekezlet és ATM workshop Rómában

  A SecureChange EU kutatási projekt harmadik évének egyik legfontosabb találkozója zajlott le a héten Rómában, amelyett egy szűkebb körű ipari validációs próba előzött meg. 

  Hétfőn és kedden a DeepBlue consulting&research látta vendégül a projekt légiirányítási (ATM) esettanulmányával foglalkozókat római irodájában, akik légiirányító és légibiztonsági ipari szakértők előtt mutatták be a projekt releváns eredményeit. A bemutatott prototípusok között szerepel a WP3 munkacsoport SeCMER eszköze is, amely csoportunk EMF-IncQuery technológiáján alapul. Az ipari visszajelzések gyűjtését célzó validációs esemény interaktív programja számos értékes tapasztalatot szolgáltatott. Ezen a rendezvényen tanszékünket Bergmann Gábor képviselte. Tovább »

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 »

Tartalom átvétel