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 »

MODELS 2010 konferencia Osloban

Idén a norvégiai Oslóban került megrendezésre október 3. és 8. közötta 13. IEEE/ACM MODELS 2010 konferencia (International Conference on Model Driven Engineering Languages and Systems), amely a modellvezérelt szoftver és rendszertervezés legjelentősebb nemzetközi tudományos fóruma. Tovább »

Szakirány- és laborbemutató nyílt nap

Csoportunk egy kötetlen beszélgetés és laborlátogatás keretében újból megszervezi a Rendszertervezés BSc ágazatának és Szolgáltatásbiztos rendszertervezés MSc ágazatának nyílt napját október 25-én hétfőn az IL405-ös laborban. Tovább »

29. DASC konferencia Salt Lake Cityben

A 2010. október 3. és 7. között Salt Lake City (USA) megrendezett  29th AIAA & IEEE Digital Avionics Systems Conference (DASC) konferencián a csoport kutatási eredményeit mutatta be Horváth Ákos tudományos munkatárs, aki az ARINC 653 szabványnak megfelelő repülőgépeken használt valós idejű operációs rendszerekhez történő konfigurációs fájlok modell alapú generálásával foglalkozott a DIANA projekt keretében.

 

ICGT10 konferencia Enschedeben

Hegedüs Ábel és Ujhelyi Zoltán doktoranduszok, valamint Varró Dániel, egyetemi docens részt vettek a 5th International Conference on Graph Transformations konferencián 2010. szeptember 27 - október 1. között Enschedeben (Hollandia). Tovább »

Tartalom átvétel