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
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

15:00 - 16:15: A3-Systems Engineering IITechnical Track at Room A
Chair(s): Nelly BencomoAston University
15:00 - 15:20
Full-paper
Technical Track
Betty H.C. ChengMichigan State University, Robert Clark, Jonathon Fleck, Michael LangfordMichigan State University, Philip McKinley
15:20 - 15:40
Full-paper
Technical Track
Sophie Wood, Nicholas MatragkasUniversity of York, Dimitris KolovosUniversity of York, Richard PaigeMcMaster University, Simos GerasimouUniversity of York, UK
Link to publication Pre-print
15:40 - 16:00
Full-paper
Technical Track
Hui SongSINTEF Digital, Rustem Dautov, Nicolas Ferry, Arnor SolbergTellu IoT ordinary PC member PI papers, Franck Fleurey
16:00 - 16:15
Demonstration
Technical Track