SAFETYLIT WEEKLY UPDATE

We compile citations and summaries of about 400 new articles every week.
RSS Feed

HELP: Tutorials | FAQ
CONTACT US: Contact info

Search Results

Journal Article

Citation

Ozkan M, Demirci Z, Aslan, Yazici A. Machines (Basel) 2023; 11(2): e282.

Copyright

(Copyright © 2023, MDPI Multidisciplinary Digital Publishing Institute)

DOI

10.3390/machines11020282

PMID

unavailable

Abstract

Software development for robotic systems is traditionally performed based on simulations, manual code implementation, and testing. However, this software development approach can cause safety issues in some scenarios, including multiple robots sharing a workspace. When different robots are executing individual planned tasks, they may collide when not adequately coordinated. Safety problems related to coordination between robots may not be encountered during testing, depending on timing, but may occur during the system's operation. In this case, formal verification methods can provide a more reliable means to ensure the safety of robotic systems. This paper uses the formal method of model checking for the safety verification of multiple industrial robot manipulators with path conflicts. We give comparative results of two model-checking tools applied to a system with two robot manipulators. Whole workflows, from requirement specification to testing, are presented.


Language: en

Keywords

formal verification; industrial robot; model checking; model-driven engineering

NEW SEARCH


All SafetyLit records are available for automatic download to Zotero & Mendeley
Print