English
Related papers

Related papers: Enabling the Deployment of Any-Scale Robotic Appli…

200 papers

Development, deployment and maintenance of networked software has been revolutionized by DevOps, which have become essential to boost system software quality and to enable agile evolution. Meanwhile the Internet of Things (IoT) connects…

Software Engineering · Computer Science 2021-11-04 Koen Zandberg , Emmanuel Baccelli

Context: Applying Microservices Architecture (MSA) in DevOps has received significant attention in recent years. However, there exists no comprehensive review of the state of research on this topic. Objective: This work aims to…

Software Engineering · Computer Science 2020-08-19 Muhammad Waseem , Peng Liang , Mojtaba Shahin

The increasingly dynamic market for embedded systems makes virtual prototypes an indispensable tool for hardware/software codesign. The broad acceptance of the methodology has led to a diverse range of solutions: from open-source, pure…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-13 Tim Kraus , Axel Sauer , Ingo Feldner

The Rocker Project provides widely used Docker images for R across different application scenarios. This article surveys downstream projects that build upon the Rocker Project images and presents the current state of R packages for managing…

Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component interface functional dependences, we develop a formal model…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-01 Lorenzo Bacchiani , Mario Bravetti , Saverio Giallorenzo , Jacopo Mauro , Iacopo Talevi , Gianluigi Zavattaro

Microservice and serverless computing systems open up massive versatility and opportunity to distributed and datacenter-scale computing. In the meantime, the deployments of modern datacenter resources are moving to disaggregated…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-04-26 Xiaoyi Lu , Arjun Kashyap

This article presents the design and the implementation of a cloud system for knowledge-based autonomous interaction devised for Social Robots and other conversational agents. The system is particularly convenient for low-cost robots and…

Robotics · Computer Science 2023-03-17 Lucrezia Grassi , Carmine Tommaso Recchiuto , Antonio Sgorbissa

This paper describes our use of Industry 4.0 Asset Administration Shells (AASs) in the context of service robots. We use AASs with software components of service robots and with complete service robot systems. The AAS for a software…

Robotics · Computer Science 2022-08-03 Vineet Nagrath , Timo Blender , Nayabrasul Shaik , Christian Schlegel

Containers are used by an increasing number of Internet service providers to deploy their applications in multi-access edge computing (MEC) systems. Although container-based virtualization technologies significantly increase application…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-24 Ao Liu , Shaoshi Yang , Jingsheng Tan , Zongze Liang , Jiasen Sun , Tao Wen , Hongyan Yan

The use of the ROS middleware is a growing trend in robotics in general, ROS and hard real-time embedded systems have however not been easily uniteable while retaining the same overall communication and processing methodology at all levels.…

Robotics · Computer Science 2014-07-30 Anders Blaabjerg Lange , Ulrik Pagh Schultz , Anders Stengaard Soerensen

This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS is a framework for the analysis and quality improvement of robotics software developed using the popular Robot Operating System (ROS). It builds on a static analysis…

Software Engineering · Computer Science 2021-03-03 André Santos , Alcino Cunha , Nuno Macedo

Deploying autonomous robots in safety-critical domains requires architectures that ensure operational effectiveness and safety compliance. In this paper, we contribute the Safe-ROS architecture for developing reliable and verifiable…

Logic in Computer Science · Computer Science 2025-11-19 Diana C. Benjumea , Marie Farrell , Louise A. Dennis

The next chapter of the robotics revolution is well underway with the deployment of robots for a broad range of commercial use-cases. Even in a myriad of applications and environments, there exists a common vocabulary of components that…

Robotics · Computer Science 2022-11-16 Steve Macenski , Tully Foote , Brian Gerkey , Chris Lalancette , William Woodall

Robotic systems are routinely used in the logistics industry to enhance operational efficiency, but the design of robot workspaces remains a complex and manual task, which limits the system's flexibility to changing demands. This paper aims…

Robotics · Computer Science 2025-03-10 Peiyu Zeng , Yijiang Huang , Simon Huber , Stelian Coros

Resource management is the principal factor to fully utilize the potential of Edge/Fog computing to execute real-time and critical IoT applications. Although some resource management frameworks exist, the majority are not designed based on…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-11 Zhiyu Wang , Mohammad Goudarzi , Jagannath Aryal , Rajkumar Buyya

The complexity of today's robot control systems implies difficulty in developing them efficiently and reliably. Systems engineering (SE) and frameworks come to help. The framework metamodels are needed to support the standardisation and…

Robotics · Computer Science 2023-08-28 Tomasz Winiarski

Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are increasingly used in safety-critical applications such as autonomous driving, where the cost of unintended behavior is high. The coordination mechanism between…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-21 Soroush Bateni , Marten Lohstroh , Hou Seng Wong , Rohan Tabish , Hokeun Kim , Shaokai Lin , Christian Menard , Cong Liu , Edward A. Lee

The application of autonomous mobile robots in robotic security platforms is becoming a promising field of innovation due to their adaptive capability of responding to potential disturbances perceived through a wide range of sensors.…

Robotics · Computer Science 2021-03-09 Mashnoon Islam , Touhid Ahmed , Abu Tammam Bin Nuruddin , Mashuda Islam , Shahnewaz Siddique

The rapid technological advances in the Internet of Things (IoT) allows the blueprint of Smart Cities to become feasible by integrating heterogeneous cloud/fog/edge computing paradigms to collaboratively provide variant smart services in…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-04-07 Qian Qu , Ronghua Xu , Seyed Yahya Nikouei , Yu Chen

The reuse of technologies and inherent complexity of most robotic systems is increasingly leading to robots with wide attack surfaces and a variety of potential vulnerabilities. Given their growing presence in public environments, security…