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 »

Nikolas Nehmer: Enforcing consistency in the presence of exceptions

Okt.1-én (pénteken) 13:00-kor az I.L. 405.-ben Nikolas Nehmer (TU Kaiserslautern) "Enforcing consistency in the presence of exceptions" címmel előadást tart. Tovább »

SEFM 2010 konferencia Pisaban

A 2010. szeptember 13. és 16. között Pisaban (Olaszország) megrendezett  8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) konferencián a csoport kutatási eredményeivel szerepelt Hegedüs Ábel doktorandusz, aki a szimulációs utak modelltranszformáció alapú visszavetítésének kihívásait vizsgálta. A prezentáció mellett poszterrel és eszköz demonstrációval is részt vett a csoport a konferencián.

Tartalom átvétel