中文
相关论文

相关论文: ROBUST: 221 Bugs in the Robot Operating System

200 篇论文

Program repair research has made tremendous progress over the last few years, and software development bots are now being invented to help developers gain productivity. In this paper, we investigate the concept of a " program repair bot "…

软件工程 · 计算机科学 2019-03-11 Simon Urli , Zhongxing Yu , Lionel Seinturier , Martin Monperrus

The Robot Operating System (ROS) provides a software framework, and ecosystem of knowledge and community supplied resources to rapidly develop and prototype intelligent robotics applications. By standardizing communication, configuration…

机器人学 · 计算机科学 2024-09-04 Arne Wendt , Thorsten Schüppstuhl

Fog Robotics renders networked robots with greater mobility, on-demand compute capabilities and better energy efficiency by offloading heavy robotics workloads to nearby Edge and distant Cloud data centers. However, as the de-facto standard…

机器人学 · 计算机科学 2022-10-24 Kaiyuan Chen , Jiachen Yuan , Nikhil Jha , Jeffrey Ichnowski , John Kubiatowicz , Ken Goldberg

Cybersecurity in robotics is an emerging topic that has gained significant traction. Researchers have demonstrated some of the potentials and effects of cyber attacks on robots lately. This implies safety related adverse consequences…

It is imperative to develop an intrusion prevention system (IPS), specifically designed for autonomous robotic systems. This is due to the unique nature of these cyber-physical systems (CPS), which are not merely typical distributed…

机器人学 · 计算机科学 2024-12-30 Enrique Soriano-Salvador , Francisco Martín-Rico , Gorka Guardiola Múzquiz

Robots applications in our daily life increase at an unprecedented pace. As robots will soon operate "out in the wild", we must identify the safety and security vulnerabilities they will face. Robotics researchers and manufacturers focus…

机器人学 · 计算机科学 2021-11-18 Michele Colledanchise

The increasing impact of robotics on industry and on society will unavoidably lead to the involvement of robots in incidents and mishaps. In such cases, forensic analyses are key techniques to provide useful evidence on what happened, and…

A controller -- a software module managing hardware behavior -- is a key component of a typical robot system. While control theory gives safety guarantees for standard controller designs, the practical implementation of controllers in…

软件工程 · 计算机科学 2026-02-05 Nils Chur , Thorsten Berger , Einar Broch Johnsen , Andrzej Wąsowski

The development of autonomous aerial systems, particularly for multi-robot configurations, is a complex challenge requiring multidisciplinary expertise. Unlike ground robotics, aerial robotics has seen limited standardization, leading to…

This paper presents a framework for monitoring human and robot conditions in human multi-robot interactions. The proposed framework consists of four modules: 1) human and robot conditions monitoring interface, 2) synchronization time…

机器人学 · 计算机科学 2020-06-09 Wonse Jo , Shyam Sundar Kannan , Go-Eum Cha , Ahreum Lee , Byung-Cheol Min

Rust is gaining popularity for its well-known memory safety guarantees and high performance, distinguishing it from C/C++ and JVM-based languages. Its compiler, rustc, enforces these guarantees through specialized mechanisms such as trait…

编程语言 · 计算机科学 2025-04-01 Zixi Liu , Yang Feng , Yunbo Ni , Shaohua Li , Xizhe Yin , Qingkai Shi , Baowen Xu , Zhendong Su

The integration of artificial intelligence, especially large language models in robotics, has led to rapid advancements in the field. We are now observing an unprecedented surge in the use of robots in our daily lives. The development and…

机器人学 · 计算机科学 2024-09-17 Diba Afroze , Yazhou Tu , Xiali Hei

Depth estimation from monocular images is pivotal for real-world visual perception systems. While current learning-based depth estimation models train and test on meticulously curated data, they often overlook out-of-distribution (OoD)…

计算机视觉与模式识别 · 计算机科学 2023-10-24 Lingdong Kong , Shaoyuan Xie , Hanjiang Hu , Lai Xing Ng , Benoit R. Cottereau , Wei Tsang Ooi

Software architecture related issues are important for robotic systems. Architecture centric development and evolution of software for robotic systems has been attracting researchers attention for more than two decades. The objective of…

软件工程 · 计算机科学 2017-01-20 Aakash Ahmad , Muhammad Ali Babar

Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentially endanger nearby astronauts and costly equipment. To…

Software defects are a major threat to the reliability of computer systems. The literature shows that more than 30% of bug reports submitted in large software projects are misclassified (i.e., are feature requests, or mistakes made by the…

软件工程 · 计算机科学 2025-03-04 Renato Andrade , César Teixeira , Nuno Laranjeiro , Marco Vieira

The Robot Operating System (ROS) has significantly gained popularity among robotic engineers and researchers over the past five years, primarily due to its powerful infrastructure for node communication, which enables developers to build…

In recent years, IoT platforms and systems have been rapidly emerging. Although IoT is a new technology, new does not mean simpler (than existing networked systems). Contrarily, the complexity (of IoT platforms and systems) is actually…

密码学与安全 · 计算机科学 2020-03-04 Wei Zhou , Chen Cao , Dongdong Huo , Kai Cheng , Lan Zhang , Le Guan , Tao Liu , Yaowen Zheng , Yuqing Zhang , Limin Sun , Yazhe Wang , Peng Liu

Open source software ecosystems consist of thousands of interdependent libraries, which users can combine to great effect. Recent work has pointed out two kinds of risks in these systems: that technical problems like bugs and…

软件工程 · 计算机科学 2022-05-11 William Schueller , Johannes Wachs

Robot systems are increasingly integrating into numerous avenues of modern life. From cleaning houses to providing guidance and emotional support, robots now work directly with humans. Due to their far-reaching applications and…

机器人学 · 计算机科学 2022-01-24 Upinder Kaur , Haozhe Zhou , Xiaxin Shen , Byung-Cheol Min , Richard M. Voyles