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

The wide use of robotic systems in several application domains contributed to developing robotic software highly coupled to the hardware platform running the robotic system. Due to increased maintenance cost, lack of tacit knowledge or changing business priorities, the robotic hardware is infrequently upgraded, thus increasing the risk the robotic system to fall into technology stagnation. Reducing this risk entails migrating the system and its software to a new hardware platform. Conventional software engineering practices such as complete re-development and code-based migration, albeit useful in supporting the resolution of these obsolescence issues, they are time-consuming, error-prone and overly expensive. Our RoboSMi model-driven approach supports the migration of the software controlling a robotic system between hardware platforms. First, RoboSMi executes static analysis on the robotic software of the source hardware platform to identify platform-dependent and platform-agnostic software constructs. By analysing a model that expresses the architecture of robotic components on the target platform, RoboSMi establishes the hardware configuration of those components and suggests software libraries for each component whose execution will enable the robotic software to control the components. Finally, RoboSMi through code-generation produces software for the target platform and indicates areas that require manual intervention by robotic engineers to complete the migration. We evaluate the applicability of RoboSMi and analyse the level of automation and performance provided from its use by migrating two robotic systems deployed for an environmental monitoring and a line following mission from a Propeller Activity Board to an Arduino Uno.

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