megbeszélés

2011. január 18-20-ig az Innsbrucki Egyetem adott otthont a SecureChange EU kutatási projekt soron következő megbeszélésének, amely a projekt második évét zárta le. Kutatócsoportunkat dr. Varró Dániel és Bergmann Gábor képviselte. A partnerek összefoglalták a projekt második éve alatt született eredményeket, terveket készítettek ezek validációjára, egyeztettek a további együttműködésről és integrációról, valamit folytatták a felkészülést az áprilisi beszámolóra. Csoportunk a WP3 eszközeit is technikáit egyesítő demonstrátor prototípust mutatta be, amely az EMF-IncQuery technológiára épít. Tovább »

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 »

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

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 »

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.