AC-ROS: Assurance Case Driven Adaptation for the Robot Operating SystemFT
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 OctDisplayed time zone: Eastern Time (US & Canada) change
15:00 - 16:15 | |||
15:00 20mFull-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 20mFull-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 20mFull-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 15mDemonstration | CyprIoT Project - An Open Source Toolset to Model and Generate a Network of ThingsDemo Technical Track |