English
Related papers

Related papers: A Systematic Security Testing Approach for InterUS…

200 papers

Testing and evaluation is an important step before the large-scale application of the autonomous driving systems (ADSs). Based on the three level of scenario abstraction theory, a testing can be performed within a logical scenario, followed…

Artificial Intelligence · Computer Science 2025-10-24 Xinzheng Wu , Junyi Chen , Jianfeng Wu , Longgao Zhang , Tian Xia , Yong Shen

The proliferation of Unmanned Aerial Vehicles (UAVs) embedded with vulnerable monolithic software has recently raised serious concerns about their security due to concurrency aspects and fragile communication links. However, verifying…

Cryptography and Security · Computer Science 2019-10-14 Omar M. Alhawi , Mustafa A. Mustafa , Lucas C. Cordeiro

For the design and implementation of engineering systems, performing model-based analysis can disclose potential safety issues at an early stage. The analysis of hybrid system models is in general difficult due to the intrinsic complexity…

Systems and Control · Computer Science 2015-01-26 Yi Deng , Agung Julius

Vertical take-off and landing (VTOL) unmanned aerial vehicles (UAVs) are versatile platforms widely used in applications such as surveillance, search and rescue, and urban air mobility. Despite their potential, the critical phases of…

Robotics · Computer Science 2024-12-13 Sandeep Banik , Jinrae Kim , Naira Hovakimyan , Luca Carlone , John P. Thomas , Nancy G. Leveson

Uncrewed Aerial Vehicles (UAVs) have become a focal point of research, with both established companies and startups investing heavily in their development. This paper presents our iterative process in developing a robust autonomous…

Background: Software systems powered by large language models are becoming a routine part of everyday technologies, supporting applications across a wide range of domains. In software engineering, many studies have focused on how LLMs…

Software Engineering · Computer Science 2025-08-05 Cleyton Magalhaes , Italo Santos , Brody Stuart-Verner , Ronnie de Souza Santos

The Internet of Things (IoT) is becoming an integral part of our modern lives as we converge towards a world surrounded by ubiquitous connectivity. The inherent complexity presented by the vast IoT ecosystem ends up in an insufficient…

Operating Systems · Computer Science 2023-11-01 Alvi Jawad

The continuous testing of small changes to systems has proven to be useful and is widely adopted in the development of software systems. For this, software is tested in environments that are as close as possible to the production…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-20 Jossekin Beilharz , Philipp Wiesner , Arne Boockmeyer , Lukas Pirl , Dirk Friedenberger , Florian Brokhausen , Ilja Behnke , Andreas Polze , Lauritz Thamsen

As technology advances, cities are evolving into smart cities, with the ability to process large amounts of data and the increasing complexity and diversification of various elements within urban areas. Among the core systems of a smart…

Cryptography and Security · Computer Science 2023-11-28 Jaewoong Choi , Min Geun Song , Hyosun Lee , Chaeyeon Sagong , Sangbeom Park , Jaesung Lee , Jeong Do Yoo , Huy Kang Kim

Unmanned aerial vehicle (UAV) networks are increasingly deployed for complex missions, including disaster response, intelligent logistics, and environmental monitoring. These missions generally require coordinated collaboration among…

Cryptography and Security · Computer Science 2026-03-03 Yao Wu , Ziye Jia , Jingjing Zhao , Haoyang Wang , Qihui Wu , Zhu Han

Cooperative Intelligent Transportation Systems (cITS) are a promising technology to enhance driving safety and efficiency. Vehicles communicate wirelessly with other vehicles and infrastructure, thereby creating a highly dynamic and…

Cryptography and Security · Computer Science 2018-11-30 Rens W. van der Heijden , Stefan Dietzel , Tim Leinmüller , Frank Kargl

Unmanned Aerial Systems (UAS), an integral part of the Advanced Air Mobility (AAM) vision, are capable of performing a wide spectrum of tasks in urban environments. The societal integration of UAS is a pivotal challenge, as these systems…

Computational Engineering, Finance, and Science · Computer Science 2023-10-20 Zhenyu Gao , John-Paul Clarke , Javid Mardanov , Karen Marais

This paper proposes a physics-inspired solution for low altitude Unmanned Aircraft System (UAS) Traffic Management (UTM) in urban areas. We decompose UTM into spatial and temporal planning problems. For the spatial planning problem, we use…

Systems and Control · Electrical Eng. & Systems 2022-04-13 Hamid Emadi , Ella Atkins , Hossein Rastgoftar

Evolving cybersecurity threats in complex cyber-physical systems pose significant risks to system functionality and safety. This experience report introduces ACTISM (Automotive Consequence-Driven and Threat-Informed Security Modelling), an…

Cryptography and Security · Computer Science 2025-02-06 Shaofei Huang , Christopher M. Poskitt , Lwin Khin Shar

The key concept for safe and efficient traffic management for Unmanned Aircraft Systems (UAS) is the notion of operation volume (OV). An OV is a 4-dimensional block of airspace and time, which can express an aircraft's intent, and can be…

Multiagent Systems · Computer Science 2021-11-11 Chiao Hsieh , Hussein Sibai , Hebron Taylor , Yifeng Ni , Sayan Mitra

Employing Unmanned Aircraft Systems (UAS) beyond visual line of sight (BVLOS) is an endearing and challenging task. While UAS have the potential to significantly enhance today's logistics and emergency response capabilities, unmanned flying…

Robotics · Computer Science 2024-06-24 Simon Kohaut , Benedict Flade , Devendra Singh Dhami , Julian Eggert , Kristian Kersting

Applications enabled by Cooperative Intelligent Transport Systems (C-ITS) represent a major step towards making the road transport system safer and more efficient (green), and thus suited for a sustainable future. Wireless communication…

Information Theory · Computer Science 2015-10-09 Erik G. Ström , Petar Popovski , Joachim Sachs

This paper gives insights into the DynaSoS project, which aims to propose a cross-domain roadmap for systems engineering research into trustworthy dynamic systems-of-systems with autonomous components. The project follows a methodology that…

Software Engineering · Computer Science 2022-06-14 Rasmus Adler , Frank Elberzhager , Julien Siebert

Testing microservice systems involves a large amount of planning and problem-solving. The difficulty of testing microservice systems increases as the size and structure of such systems become more complex. To help the microservice community…

Software Engineering · Computer Science 2023-06-12 Sheldon Smith , Ethan Robinson , Timmy Frederiksen , Trae Stevens , Tomas Cerny , Miroslav Bures , Davide Taibi

This paper surveys the area of Trust Metrics related to security for autonomous robotic systems. As the robotics industry undergoes a transformation from programmed, task oriented, systems to Artificial Intelligence-enabled learning, these…

Robotics · Computer Science 2023-04-05 Vincenzo DiLuoffo , William R. Michalson
‹ Prev 1 4 5 6 7 8 10 Next ›