verifikáció

Sikerrel zárult az R5-COP projekt első évének szakmai értékelése március 26-án Brüsszelben. Kutatócsoportunkból Majzik István mutatta be az inkrementális teszteléssel és futásidőbeli verifikációval foglalkozó munkacsomag eredményeit. A projekt 2015-ben is megnyerte az ARTEMIS Co-Summit "Exhibition Award" díját. Tovább »

2015. január 21-22-én került sor az R5-COP - Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (Átkonfigurálható ROS-alapú rugalmas és intelligens kooperatív robot rendszerek) ARTEMIS projekt éves megbeszélésére Rigában. A projektben csoportunk feladata új tesztelési és verifikációs módszerek kidolgozása. Tovább »

Kutatócsoportunk nemzetközi szinten is kiemelkedő eredményt ért el a TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) tudományos konferencián.

A CERN genfi központjában tartott "Specification based test case generation and monitor synthesis" címmel meghívott előadást kutatócsoportunk oktatója, dr. Majzik István. Tovább »

Kutatócsoportunk tagjai két előadást tartottak a  "1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS 2014)" konferencián megnyitásaként. Tovább »

2014. május 19-20-án került sor az R5-COP - Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (Átkonfigurálható ROS-alapú rugalmas és intelligens kooperatív robot rendszerek) ARTEMIS projekt indító megbeszélésére Odense-ben, a Danish Technological Institute robottechnológiai intézetében. A projektben csoportunk feladata új tesztelési és verifikációs módszerek kidolgozása. Tovább »

A Formális módszerek tárgyból elkészítendő kötelező házi feladat megtalálható a tárgy házi feladatok oldalán. Tovább »

Október 30-31-én került sor az R3-COP (Robust & Safe Mobile Co-operative Autonomous Systems) ARTEMIS projekt záró beszámolójára külső bírálók és a projekt ipari partnereinek részvételével Stuttgartban, a Fraunhofer Intézetben. Csoportunk az autonóm robotok környezetfüggő viselkedésének teszteléséhez dolgozott ki és mutatott be új, modell alapú módszereket. A bírálók és az ipari partnerek is elismerően fogadták az eredményeket. Tovább »

Majzik István meghívást kapott az IFIP szolgáltatásbiztonsággal és hibatűréssel foglalkozó munkacsoportjának nyári workshopjára, ahol autonóm rendszerek robusztusságának teszteléséről tartott előadást. Tovább »

Június 27-én Prof. Lionel Briand, a Luxemburgi Egyetem Szoftver verifikáció és validáció laboratóriumának vezetője volt vendégünk, aki a modellalapú szoftvertesztelés hatékony technikáiról tartott előadást. Tovább »