Safe Adaptation of Cobotic Cells based on Petri NetsDoctoral Symposium
Collaborative robotic cells combine human skills with the latest advancements in robotic accuracy and reliability. Cobotic cell parts are distributed and adapt their behavior to changing tasks and environments. The specific missions of cobotic cells, depend on their field of application, but are critical for human safety, which introduces complexity, increasing testing and development effort. Component-based software engineering is used to manage complexity, but ensuring safety and correctness requires verification and validation, which is complex and demanding to re-ensure, when composed behavior changes. This also applies to the widely used middleware Robot Operating System (ROS), where existing approaches only model high level communication or integrate models. Also, verification of cobotic cell must reflect their context-adaptivity, to check safety critical reactions to contexts-changes. To overcome these inhibitors, a model-driven development approach based on Petri nets is proposed, modeling central aspects of ROS-based cobotic cells. By using formal models, the testing effort at development time is reduced, because global behavior remains formally proven, and only local components have to be retested. Within this work, the plans for this model-driven software approach are reported.
Wed 18 MayDisplayed time zone: Eastern Time (US & Canada) change
12:30 - 14:00 | |||
12:30 10mPaper | Safe Adaptation of Cobotic Cells based on Petri NetsDoctoral Symposium SEAMS 2022 Sebastian Ebert Technische Universität Dresden DOI Pre-print | ||
12:40 10mPaper | From Systems to Ecosystems: Rethinking Adaptive SafetyDoctoral Symposium SEAMS 2022 David Halasz Masaryk University DOI Pre-print | ||
12:50 10mDoctoral symposium paper | DevOps for Digital Business: Optimizing the performance and economic efficiency of software productsDoctoral Symposium SEAMS 2022 Soude Ghari Ecole Polytechnique Montreal DOI | ||
13:00 60mPanel | Discussion SEAMS 2022 |