Hallgatóink visszajöttek Kínából

Két hallgatónk, Jámbor Attila és Szabó Tamás a Huawei ösztöndíjpályázat győzteseként 10 napot Kínában töltöttek, ahol ízelítőt kaptak a kínai kultúrából, megtekintették a történelmi nevezetességeket, emellett betekintést nyertek a Huawei kínai központjába is. Hallgatóink beszámolót tartottak a kinti élményeikből a kutatócsoportnak.

Meghívott előadás a hibatűréssel foglalkozó világkonferencián

Az IEEE/IFIP Dependable Systems and Networks című konferenciáján Hong Kongban, amely a szakma legrangosabb rendezvénye  részt vett Dr. Pataricza András egyetemi tanár. Tovább »

Huawei ösztöndíjpályázat győztesei

Két hallgatónk, Jámbor Attila és Szabó Tamás megnyerte a Huawei által kiírt kutatási ösztöndíjat (https://www.vik.bme.hu/aktualis/hirek/277/). Attila és Tamás az ösztöndíj összege mellett nyertek egy 10 napos kínai körútat is, amely során nem csak Kína fontosabb nevezetességeit, de a Huawei kínai kutatóközpontját is meglátogatják! Tovább »

EMF-IncQuery előadás az ICMT 2011 konferencián Zürichben

Idén június 27-től július 1-ig a Zürichi Műszaki Egyetem (ETH) adott otthont a TOOLS konferenciasorozat újabb állomásának. A világszinten jelentős tudományos rendezvény négy kisebb konferenciát (ICMT, TAP, SC, TOOLS Europe) és nyolc workshopot foglal magában.

Kutatócsoportunk tagjai a június 27-28-án lebonyolított ICMT 2011 konferencián publikáltak egy EMF-IncQuery témájú cikket, amelyet Bergmann Gábor utazott ki előadni. A június 27-i előadást számottevő érdeklődés fogadta, és a kialakuló viták érdekes, új irányokat vetettek fel. Tovább »

Az R3-COP projekt első évének beszámolója

Június 30-án került sor Brüsszelben az R3-COP - Robust & Safe Mobile Co-operative Autonomous Systems (Robusztus és biztonságos mobil kooperatív autonóm rendszerek) ARTEMIS projekt első éves beszámolójára a kijelölt bírálók előtt. A WP4.2 "Behaviour testing of autonomous systems" munkacsomag koncepcióját Majzik István mutatta be. A projekt első évét  és ezen belül a BME részfeladatainak teljesítését is sikeresnek ítélték a bírálók.

Csoportunkból a tesztelési feladat kidolgozásán Micskei Zoltán, Szatmári Zoltán és Oláh János dolgoznak. A projektben tanszéki kutatók közreműködnek még tanuló algoritmusok és tudásintegráció kidolgozásában is.

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 »

Tartalom átvétel