Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Wed 21 Oct 2020 15:00 - 15:20 at Room A - A3-Systems Engineering II Chair(s): Nelly Bencomo

Cyber-physical systems that implement self-adaptive behavior, such as autonomous robots, need to ensure that requirements remain satisfied across run-time adaptations. The Robot Operating System (ROS), a middleware infrastructure for robotic systems, is widely used in both research and industrial applications. However, ROS itself does not provide functionality to assure self-adaptive behavior. This paper introduces AC-ROS, which fills this gap by using assurance case models at run time to manage the self-adaptive operation of ROS-based software. Assurance cases provide structured arguments that a system satisfies requirements and can be specified graphically with Goal Structuring Notation (GSN) models. AC-ROS uses GSN models to instantiate and populate a ROS-based MAPE-K framework, which in turn uses these models at run time to assure system behavior adheres to requirements across adaptations. For this study, AC-ROS is implemented and tested on EvoRally, a 1:5-scale autonomous vehicle controlled by software based on ROS.

Wed 21 Oct

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

15:00 - 16:15
A3-Systems Engineering IITechnical Track at Room A
Chair(s): Nelly Bencomo Aston University
15:00
20m
Full-paper
AC-ROS: Assurance Case Driven Adaptation for the Robot Operating SystemFT
Technical Track
Betty H.C. Cheng Michigan State University, Robert Clark , Jonathon Fleck , Michael Langford Michigan State University, Philip McKinley
15:20
20m
Full-paper
Supporting Robotic Software Migration Using Static Analysis and Model-Driven EngineeringP&I
Technical Track
Sophie Wood , Nicholas Matragkas University of York, Dimitris Kolovos University of York, Richard Paige McMaster University, Simos Gerasimou University of York, UK
Link to publication Pre-print
15:40
20m
Full-paper
Model-Based Automatic Fleet Deployment of Edge Computing ApplicationsP&I
Technical Track
Hui Song SINTEF Digital, Rustem Dautov , Nicolas Ferry , Arnor Solberg Tellu IoT ordinary PC member PI papers, Franck Fleurey
16:00
15m
Demonstration
CyprIoT Project - An Open Source Toolset to Model and Generate a Network of ThingsDemo
Technical Track