Augmented reality on lidar data: Going beyond vehicle-in-the-loop for automotive software validation
Testing and validating advanced automotive software is of paramount importance to
guarantee safety and quality. While real-world testing is highly demanding and simulation …
guarantee safety and quality. While real-world testing is highly demanding and simulation …
Weakly supervised reinforcement learning for autonomous highway driving via virtual safety cages
The use of neural networks and reinforcement learning has become increasingly popular in
autonomous vehicle control. However, the opaqueness of the resulting control policies …
autonomous vehicle control. However, the opaqueness of the resulting control policies …
Design and Assurance of Safety-Critical Systems with Artificial Intelligence in FPGAs: The Safety ArtISt Method and a Case Study of an FPGA-Based Autonomous …
AV Silva Neto, HL Silva, JB Camargo Jr, JR Almeida Jr… - Electronics, 2023 - mdpi.com
With the advancements in utilizing Artificial Intelligence (AI) in embedded safety-critical
systems based on Field-Programmable Gate Arrays (FPGAs), assuring that these systems …
systems based on Field-Programmable Gate Arrays (FPGAs), assuring that these systems …
[HTML][HTML] State-of-the-Art Authentication and Verification Schemes in VANETs: A Survey
ABSTRACT Vehicular Ad-Hoc Networks (VANETs), a subset of Mobile Ad-Hoc Networks
(MANETs), are wire-less networks formed around moving vehicles, enabling communication …
(MANETs), are wire-less networks formed around moving vehicles, enabling communication …
A novel framework for the design of resilient cyber-physical systems using control theory and formal methods
Cyber-Physical Systems (CPSs) intertwine distributed controllers, which control physical
processes. As these systems require guarantees on their stability and safety, there is a need …
processes. As these systems require guarantees on their stability and safety, there is a need …
A Sequential Metamorphic Testing Framework for Understanding Autonomous Vehicle's Decisions
Being an indispensable part of future autonomous transportation systems, autonomous
vehicles (AVs) are expected to drive safely with minimal human inputs. In addition to safety …
vehicles (AVs) are expected to drive safely with minimal human inputs. In addition to safety …
Optimization techniques and formal verification for the software design of boolean algebra based safety-critical systems
Artificial intelligence, and the ability to learn optimized solutions that comply with a set of
safety rules, could facilitate the human-based design process of safety-critical systems …
safety rules, could facilitate the human-based design process of safety-critical systems …
[HTML][HTML] Cybersecurity in Autonomous Vehicles—Are We Ready for the Challenge?
The rapid development and deployment of autonomous vehicles (AVs) present
unprecedented opportunities and challenges in the transportation sector. While AVs promise …
unprecedented opportunities and challenges in the transportation sector. While AVs promise …
Identifying and Explaining Safety-critical Scenarios for Autonomous Vehicles via Key Features
N Neelofar, A Aleti - ACM Transactions on Software Engineering and …, 2024 - dl.acm.org
Ensuring the safety of autonomous vehicles (AVs) is of utmost importance, and testing them
in simulated environments is a safer option than conducting in-field operational tests …
in simulated environments is a safer option than conducting in-field operational tests …
Empirical formal methods: guidelines for performing empirical studies on formal methods
MH ter Beek, A Ferrari - Software, 2022 - mdpi.com
Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines
for such studies. We mention their main ingredients and then define nine different study …
for such studies. We mention their main ingredients and then define nine different study …