verifikáció

Prof. Stefano Russo és kollégáinak látogatása

Június 26-án csoportunkat meglátogatták Prof. Stefano Russo és kollégái, akik a Nápolyi Egyetem IT technológia tanszékének oktatói. Tovább »

Poszter az Ericsson University Exhibition rendezvényen

Csoportunk a "Formal Verification of State Machine Models" poszterrel szerepelt az Ericsson valamint a BME és az ELTE kutatócsoportjainak együttműködését bemutató "Ericsson University Exhibition" rendezvényen. Tovább »

SZVV kiselőadások

2011. november 30-tól december 8-ig, az órák szokásos időpontjaiban kerülnek sorra a kiselőadások a Szoftver verifikáció és validáció tárgyból. Tovább »

Biztonságos és robusztus autonóm rendszerek

November 16-17-én került sor az R3-COP - Robust & Safe Mobile Co-operative Autonomous Systems (Robusztus és biztonságos mobil kooperatív autonóm rendszerek) ARTEMIS projektünk második éves projekt megbeszélésére az Acciona ipari partnerünk madridi főhadiszállásán. A robusztussági és biztonsági tesztelési koncepciónk előrehaladását Majzik István mutatta be.

Csoportunkból a tesztelési feladat kidolgozásán Micskei Zoltán, Szatmári Zoltán és Oláh János dolgoznak. A projektben tanszéki kutatók közreműködnek még tanuló algoritmusok és tudásintegráció kidolgozásában is, dr. Dobrowiecki Tadeusz vezetésével.

Tartalom átvétel