A SecureChange EU projekt Budapesten

Micskei Zoltán, h, 2010-08-30 12:49

A SecureChange EU projekt következő megbeszélését Budapesten tartja szeptember 13-15 között, melynek az FTSRG csoport ad otthont. A megbeszélés során az informatikai rendszerekben bekövetkező változások biztonsági hatásait kiértékelő módszereket és eszközöket fejlesztik tovább a 10 országból ide érkező kutatók és szakemberek. Bővebb információ: http://www.securechange.eu

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

Micskei Zoltán, k, 2010-07-06 11:00

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

Ujhelyi Zoltán, h, 2010-07-05 13:00

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.

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

Pataricza András, v, 2010-07-04 23:00

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 »

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

Pataricza András, v, 2010-07-04 23:00

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 »

DepCos2010 konferencia

Szatmári Zoltán, p, 2010-07-02 13:03

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

Kövi András, h, 2010-06-21 10:38

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.

Tovább »

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

Horváth Ákos, h, 2010-06-14 23:00

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

Polgár Balázs, p, 2010-05-28 23:00

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

Majzik István, sze, 2010-05-19 23:00

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 »

Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció