Write a Blog >>
SEAMS 2022
Mon 23 - Tue 24 May 2022
co-located with ICSE 2022
Wed 18 May 2022 12:30 - 12:40 at SEAMS room - Doctoral track Chair(s): Shiva Nejati

video link

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 May

Displayed time zone: Eastern Time (US & Canada) change

12:30 - 14:00
Doctoral track SEAMS 2022 at SEAMS room
Chair(s): Shiva Nejati University of Ottawa
12:30
10m
Paper
Safe Adaptation of Cobotic Cells based on Petri NetsDoctoral Symposium
SEAMS 2022
Sebastian Ebert Technische Universität Dresden
DOI Pre-print
12:40
10m
Paper
From Systems to Ecosystems: Rethinking Adaptive SafetyDoctoral Symposium
SEAMS 2022
David Halasz Masaryk University
DOI Pre-print
12:50
10m
Doctoral 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
60m
Panel
Discussion
SEAMS 2022


Information for Participants
Wed 18 May 2022 12:30 - 14:00 at SEAMS room - Doctoral track Chair(s): Shiva Nejati
Info for room SEAMS room:

Click here to go to the room on Midspace