Cyber-physical embedded systems with transient supervisory command and control: a framework for validating safety response in automated collision avoidance …

DK Trembley - 2018 - search.proquest.com
The ability to design and engineer complex and dynamical Cyber-Physical Systems (CPS)
requires a systematic view that requires a definition of level of automation intent for the …

[PDF][PDF] Increasingly Autonomous CPS: Taming Emerging Behaviors from an Architectural Perspective.

J Hugues, D Cancila - AISafety@ IJCAI, 2022 - ceur-ws.org
The safety demonstration of Increasingly-Autonomous Cyber-Physical Systems is posing
new challenges for the safety community: standards and practices must be adjusted to …

High assurance control of cyber-physical systems with application to unmanned aircraft systems

C Kwon - 2017 - search.proquest.com
With recent progress in the networked embedded control technology, cyber attacks have
become one of the major threats to Cyber-Physical Systems (CPSs) due to their close …

SURE: A modeling and simulation integration platform for evaluation of secure and resilient cyber–physical systems

X Koutsoukos, G Karsai, A Laszka… - Proceedings of the …, 2017 - ieeexplore.ieee.org
The exponential growth of information and communication technologies have caused a
profound shift in the way humans engineer systems leading to the emergence of closed-loop …

Safety Assurance of Autonomous Learning-Enabled Cyber Physical Systems

P Musau - 2022 - search.proquest.com
There are few technologies that hold as much promise as autonomous Cyber-physical
systems (CPS) in re-orienting the way we move around, explore new environments …

Considerations in assuring safety of increasingly autonomous systems

EE Alves, D Bhatt, B Hall, K Driscoll, A Murugesan… - 2018 - ntrs.nasa.gov
Recent technological advances have accelerated the development and application of
increasingly autonomous (IA) systems in civil and military aviation. IA systems can provide …

Behavioral validation in Cyber-physical systems: Safety violations and beyond

M Goyal - 2022 - search.proquest.com
The advances in software and hardware technologies in the last two decades have paved
the way for the development of complex systems we observe around us. Avionics …

A conceptual safety supervisor definition and evaluation framework for autonomous systems

P Feth, D Schneider, R Adler - … 2017, Trento, Italy, September 13-15, 2017 …, 2017 - Springer
The verification and validation (V&V) of autonomous systems is a complex and difficult task,
especially when artificial intelligence is used to achieve autonomy. However, without proper …

Perspectives on Securing Cyber Physical Systems

Z Furness - Complexity Challenges in Cyber Physical Systems …, 2019 - books.google.com
Cyber‐physical systems (CPS) are “smart systems that include engineered interacting
networks of physical and computational components”(NIST 2017). The term “smart” refers to …

Dynamic Safety Assurance of Autonomous Cyber-Physical Systems

S Ramakrishna - 2022 - search.proquest.com
Abstract Cyber-Physical Systems (CPSs) are ubiquitous through our interactions with
applications such as smart homes, medical devices, avionics, and automobiles. However …