Online Motion Analyzer (OMA): A Software Service for Runtime Verification of Robotic Systems' Safety

被引：0
|
作者：
Kahraman, Serhat [1 ]
Bulut, Mert [1 ]
Degirmenci, Elif [1 ]
Kirca, Yunus Sabri [1 ]
Ozkan, Metin [1 ]
Yazici, Ahmet [1 ]
机构：
[1] Eskisehir Osmangazi Univ, Bilgisayar Muhendisligi ESOGU Intelligent Factory, Elekt & Elektr Muhendisligi, Eskisehir, Turkiye
来源：
2023 31ST SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE, SIU | 2023年
关键词：
Runtime Verification; Safety; Online Motion Analyzer (OMA);
D O I：
10.1109/SIU59756.2023.10223793
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The safety of robotic systems has gained an importance with increasing autonomous behavior. Runtime Verification (RV) is a technique used to check software accuracy and reliability by monitoring the robot's states during robot operation. In this study, Online Motion Analyzer (OMA) service was developed for runtime verification of joint states of industrial robot arms. The developed OMA service has been successfully tested on a real robotic system constructed as TRL5 level in IFARLab.
引用
收藏
页数：4
相关论文
共 36 条
  • [1] An Online Distance Tracker for Verification of Robotic Systems' Safety
    Guclu, Esra
    Ornek, Ozlem
    Ozkan, Metin
    Yazici, Ahmet
    Demirci, Zekeriyya
    [J]. SENSORS, 2023, 23 (06)
  • [2] Runtime Verification for Anomaly Detection of Robotic Systems Security
    Kirca, Yunus Sabri
    Degirmenci, Elif
    Demirci, Zekeriyya
    Yazici, Ahmet
    Ozkan, Metin
    Ergun, Salih
    Kanak, Alper
    [J]. MACHINES, 2023, 11 (02)
  • [3] Online and Offline Stream Runtime Verification of Synchronous Systems
    Sanchez, Cesar
    [J]. RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 138 - 163
  • [4] TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems
    Begemann, Marian Johannes
    Kallwies, Hannes
    Leucker, Martin
    Schmitz, Malte
    [J]. THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 388 - 398
  • [5] Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems
    Raju, Dhananjay
    Bharadwaj, Sudarshanan
    Djeumou, Franck
    Topcu, Ufuk
    [J]. IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2021, 8 (02): : 621 - 632
  • [6] Safety Functions and Software Verification of NPP Safety Important Systems
    Jharko, Elena Ph.
    [J]. IFAC PAPERSONLINE, 2019, 52 (13): : 1385 - 1390
  • [7] HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems
    Solet, Dimitry
    Bechennec, Jean-Luc
    Briday, Mikael
    [J]. 2018 NASA/ESA CONFERENCE ON ADAPTIVE HARDWARE AND SYSTEMS (AHS 2018), 2018, : 249 - 256
  • [8] Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets
    Pelletier, Baptiste
    Lesire, Charles
    Grand, Christophe
    Doose, David
    Rognant, Mathieu
    [J]. 2023 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2023), 2023, : 10580 - 10586
  • [9] Runtime verification of service-oriented systems: a well-rounded survey
    Babaee, Reza
    Babamir, Seyed Morteza
    [J]. INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES, 2013, 9 (03) : 213 - 267
  • [10] REX: A Development Platform and Online Learning Approach for Runtime Emergent Software Systems
    Porter, Barry
    Grieves, Matthew
    Rodrigues Filho, Roberto
    Leslie, David
    [J]. PROCEEDINGS OF OSDI'16: 12TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2016, : 333 - 348
1234