English
Related papers

Related papers: A Systems Approach for Eliciting Mission-Centric S…

200 papers

Several approaches have been used to assess the performance of cyberphysical systems and their exposure to various types of risks. Such assessments have become increasingly important as autonomous attackers ramp up the frequency, duration…

Cryptography and Security · Computer Science 2021-02-02 Alexandre Ligo , Alexander Kott , Igor Linkov

Unmanned Traffic Management (UTM) federated ecosystems, such as InterUSS, enable secure coordination among UAS Service Suppliers (USSs). However, they bring up some security challenges at the infrastructure level that haven't been fully…

Cryptography and Security · Computer Science 2026-05-13 Henrique Curi de Miranda , Ágney Lopes Roth Ferraz , Wagner Comin Sonaglio , Lourenço Alves Pereira Júnior

With the rising popularity of UAVs in the civilian world, we are currently witnessing and paradim shift in terms of operational safety of flying vehicles. Safe and ubiquitous human-system interaction shall remain the core requirement but…

Robotics · Computer Science 2018-03-28 Juan-Pablo Afman , Laurent Ciarletta , Eric Feron , John Franklin , Thomas Gurriet , Eric N. Johnson

The threats faced by cyber-physical systems (CPSs) in critical infrastructure have motivated the development of different attack detection mechanisms, such as those that monitor for violations of invariants, i.e. properties that always hold…

Cryptography and Security · Computer Science 2020-10-08 Cheah Huei Yoong , Venkata Reddy Palleti , Arlindo Silva , Christopher M. Poskitt

Cybersecurity is one of the most pressing technological challenges of our time and requires measures from all sectors of society. A key measure is automated security response, which enables automated mitigation and recovery from cyber…

Computer Science and Game Theory · Computer Science 2025-03-14 Kim Hammar

Multi-agent cyberphysical systems enable new capabilities in efficiency, resilience, and security. The unique characteristics of these systems prompt a reevaluation of their security concepts, including their vulnerabilities, and mechanisms…

Cyberspace is full of uncertainty in terms of advanced and sophisticated cyber threats which are equipped with novel approaches to learn the system and propagate themselves, such as AI-powered threats. To debilitate these types of threats,…

Cryptography and Security · Computer Science 2021-11-01 Hooman Alavizadeh , Julian Jang-Jaccard , Simon Yusuf Enoch , Harith Al-Sahaf , Ian Welch , Seyit A. Camtepe , Dong Seong Kim

Testing of autonomous systems is extremely important as many of them are both safety-critical and security-critical. The architecture and mechanism of such systems are fundamentally different from traditional control software, which appears…

Software Engineering · Computer Science 2021-03-15 Qunying Song , Emelie Engström , Per Runeson

Industrial cyber-physical systems (ICPSs) manage critical infrastructures by controlling the processes based on the "physics" data gathered by edge sensor networks. Recent innovations in ubiquitous computing and communication technologies…

Cryptography and Security · Computer Science 2021-01-12 Hakan Kayan , Matthew Nunes , Omer Rana , Pete Burnap , Charith Perera

We propose developing an integrated system to keep autonomous unmanned aircraft safely separated and behave as expected in conjunction with manned traffic. The main goal is to achieve safe manned-unmanned vehicle teaming to improve system…

Cyber-physical systems often contend with incomplete architectural documentation or outdated information resulting from legacy technologies, knowledge management gaps, and the complexity of integrating diverse subsystems over extended…

Cryptography and Security · Computer Science 2026-04-08 Shaofei Huang , Christopher M. Poskitt , Lwin Khin Shar

Context: An assurance case is a structured hierarchy of claims aiming at demonstrating that a given mission-critical system supports specific requirements (e.g., safety, security, privacy). The presence of assurance weakeners (i.e.,…

Software Engineering · Computer Science 2023-11-15 Kimya Khakzad Shahandashti , Alvine B. Belle , Timothy C. Lethbridge , Oluwafemi Odu , Mithila Sivakumar

Spacecraft must operate under environmental and actuator uncertainties while meeting strict safety requirements. Traditional approaches rely on scenario-based heuristics that fail to account for stochastic influences, leading to suboptimal…

Systems and Control · Electrical Eng. & Systems 2025-12-10 Quentin Rommel , Michael Hibbard , Pavan Shukla , Himanshu Save , Srinivas Bettadpur , Ufuk Topcu

Vehicles passengers and other traffic participants are protected more and more by integral safety systems. They continuously perceive the vehicles environment to prevent dangerous situations by e.g. emergency braking systems. Furthermore,…

Software Engineering · Computer Science 2014-08-26 Christian Berger , Delf Block , Christian Hons , Stefan Kühnel , André Leschke , Bernhard Rumpe , Torsten Strutz

The development of algorithms for secure state estimation in vulnerable cyber-physical systems has been gaining attention in the last years. A consolidated assumption is that an adversary can tamper a relatively small number of sensors. In…

Optimization and Control · Mathematics 2024-05-31 Vito Cerone , Sophie M. Fosson , Diego Regruto , Francesco Ripa

Industrial Control Systems (ICSs) are widely used in critical infrastructures that face various cyberattacks causing physical damage. With the increasing integration of the ICSs and information technology (IT), ensuring the security of ICSs…

Optimization and Control · Mathematics 2024-12-17 Navid Aftabi , Dan Li , Ph. D. , Thomas Sharkey , Ph. D

Testing and validating Cyber-Physical Systems (CPSs) in the aerospace domain, such as field testing of drone rescue missions, poses challenges due to volatile mission environments, such as weather conditions. While testing processes and…

Software Engineering · Computer Science 2025-01-30 Michael Vierhauser , Kristof Meixner , Stefan Biffl

The widespread use of software-intensive cyber systems in critical infrastructures such as ships (CyberShips) has brought huge benefits, yet it has also opened new avenues for cyber attacks to potentially disrupt operations. Cyber risk…

Cryptography and Security · Computer Science 2022-12-22 Rishikesh Sahay , D. A. Sepulveda Estay , Weizhi Meng , Christian D. Jensen , Michael Bruhn Barfod

Autonomous systems with cognitive features are on their way into the market. Within complex environments, they promise to implement complex and goal oriented behavior even in a safety related context. This behavior is based on a certain…

Artificial Intelligence · Computer Science 2020-02-20 Henrik J. Putzer , Ernest Wozniak

In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to…

Formal Languages and Automata Theory · Computer Science 2021-09-06 Tomas Kulik , Brijesh Dongol , Peter Gorm Larsen , Hugo Daniel Macedo , Steve Schneider , Peter Würtz Vinther Tran-Jørgensen , Jim Woodcock