Autonóm rendszerek tesztelése - R3-COP megbeszélés Erlangenben

A májusban elindult R3-COP ARTEMIS projekt WP4.2-es és WP4.3-as munkacsoportjának első megbeszélését az Universität Erlangen-Nürnberg szervezte. A megbeszélés során a résztvevők a V&V részfeladatokkal foglalkozó munkacsoport céljait tekintették át, majd ezután a partnerek (Austrian Institute of Technology GmbH, BME, Brno University of Technology, Friedrich-Alexander Universität Erlangen-Nürnberg, Inst. of Mathematics and Computer Science of the University of Latvia, Siemens AG) bemutatták korábbi kapcsolódó kutatási eredményeiket. Tovább »

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.

Tartalom átvétel