Abstract-System övervakning kan hjälpa till att upptäcka avvikelser och undvika fel. Att tillverka monitorer för dagens robotsystem kan dock vara mycket svårt på grund av systemens inneboende komplexitet. I detta arbete tar vi itu med denna utmaning genom ett tillvägagångssätt som automatiskt leder till systeminvarianter och syntetiserar dessa invarianter till monitorer. Tillvägagångssättet är nytt genom att det härleder invarianter genom att observera de meddelanden som skickas mellan systemnoder och de invarierande typerna är skräddarsydda för att matcha de rumsliga, temporala och operativa attributen hos robotsystem. Dessutom kan den genererade bildskärmen integreras sömlöst i system som är byggda ovanpå publiceringsabonnemangsarkitekturer. En tillämpning av tekniken på ett system som består av ett obemannade luftfartyg (UAV) som landar på en rörlig plattform visar att det avsevärt kan minska antalet krascher i oväntade landningsscenarier.
Jiang m.fl. Ref övervaka inferred invarianter för feldetektering under landning på en rörlig plattform.
Reducing failure rates of robotic systems though inferred invariants monitoring
{'venue': '2013 IEEE/RSJ International Conference on Intelligent Robots and Systems', 'journal': '2013 IEEE/RSJ International Conference on Intelligent Robots and Systems', 'mag_field_of_study': ['Computer Science']}