CSCS10 doktorandusz konferencia

A 2010. június 29. és július 2. között Szegeden megrendezett Conference of PhD Students in Computer Science (CSCS) doktorandusz konferencián a csoport kutatási eredményeivel szerepelt három doktorandusz. Demián Tamás a Common Logic megközelítést ismertette, Szombath István függőségek automatikus felderítése kapcsán elért eredményeit mutatta be, míg Ujhelyi Zoltán modelltranszformációs programok típushelyességét vizsgálta.

Szombath István előadását Excellent Talk of the Session díjjal jutalmazták.

2013-ban az FTSRG rendezi a hibatűrő számítástechnika legrangosabb konferenciáját

Pataricza András egyetemi tanár részt vett a hibatűrő számítástechnika nemzetközileg legrangosabbanak számító IEEE Dependable Systems and Networks 2010. évi konferenciáján Chicagóban. Tovább »

Sikeres előadás a hibatűrő rendszerek vezető konferenciáján

Pataricza András egyetemi tanár részt vett a hibatűrő számítástechnika nemzetközileg legrangosabbanak számító IEEE Dependable Systems and Networks konferenciáján és előadást tartott annak PFARM (Proactive Failure Avoidance, Recovery and Maintenance) nevű workshopján . Tovább »

DepCos2010 konferencia

A 2010. június 28. és július 2. között Szatmári Zoltán a lengyelországi Brunow-ban mutatta be az ontológia alapú modellezés területén elért kutatási eredményeit Ontology Based Assessment in Development of Safety Critical Systems címmel.

RDCS2010 workshop és ICDCS konferencia

A 2010. június 21-én, Genovában, Olaszországban megrendezett Resilience of Distributed Computing Systems (RDCS 2010) workshop-on Kövi András prezentálta Micskei Zoltánnal közös "Robustness Testing of Standard Specifications-based HA Middleware" című cikküket. A workshop az AMBER projekt eredményeinek terjesztését tűzte ki alapvetően célul, így a cikk mellett előadást tartott az AMBER projektben létrehozott RAW Data Repository használatáról is.

A DIANA projekt sikeresen zárult és elnyerte az EC tetszését

Közel három és fél év után sikerrel fejeződött be a DIANA (Distributed, Equipment Independent ENvironment for Advanced AvioNics Applications) EU FP6-os kutatási projektje. Tovább »

Bemutattuk a modellalapú tesztgeneráló eszközünket Oxfordban

Elkészült a modellalapú tesztgeneráló eszközünk prototípusa, melyet bemutattunk a MOGENTES projekt partnereknek Oxfordban, a negyedéves technikai projekt megbeszélésen 2010. május 27-28-án. Bemutattuk továbbá ontológiaalapú modellellenőrző módszerünk továbbfejlesztett változatát és az eszközintegrációs keretrendszerünk követelménykövethetőséget támogató komponensét.  Csoportunkat Dr. Pataricza András és Dr. Polgár Balázs képviselte. Tovább »

Autonóm robotok fejlesztése - Megkezdődött az R3-COP projekt

Münchenben, az Infineon telephelyén került sor az R3-COP (Robust & Safe Mobile Cooperative Autonomous Systems) projekt indító megbeszélésére. A projekt célja az autonóm működésű mobil robotok fejlesztését segítő komponensek, valamint tervezési és tesztelési módszerek kidolgozása. Ipari partnerként többek között a Siemens, a Philips és a Thales is közreműködik a projektben. Tovább »

Részvétel a SecureChange kutatási projekt általános gyűlésén Trentoban

2010. május 10-12. között Varró Dániel és Bergmann Gábor az olaszországi Trento városában részt vett a SecureChange kutatási projekt értekezletén. A gyűlésen 12 partnerszervezet 23 képviselője jelent meg. Az elmúlt időszak munkájának áttekintésén és az eredmények ill. bírálatok megvitatásán túl az egyes munkacsoportok közötti integráció volt az elsődleges téma.

e-Freight platform meeting (Athén, Görögország)

Az e-Freight projekt WP2 munkacsoportja találkozót tartott Athénban a platform kérdéseinek megvitatására. A találkozó fő célja az volt, hogy  pontosabb kép alakuljon ki, milyen elvárásoknak kell megfelelnie az e-Freight platformnak, milyen környezetben kell működnie, és mit kellene megvalósítania. Ehhez a jövőbeli felhasználó projekt partnerek (vámhatóság, kikötői hatóságok, szállító cégek...) előadták a követelményeiket, majd a résztvevők egyeztették nézeteiket a platform fejlesztési irányairól és az általa nyújtott szolgáltatásokról..

Tartalom átvétel