[HTML][HTML] Criticality metrics for automated driving: A review and suitability analysis of the state of the art
L Westhofen, C Neurohr, T Koopmann, M Butz… - … Methods in Engineering, 2023 - Springer
The large-scale deployment of automated vehicles on public roads has the potential to
vastly change the transportation modalities of today's society. Although this pursuit has been …
vastly change the transportation modalities of today's society. Although this pursuit has been …
An analysis of adversarial attacks and defenses on autonomous driving models
Nowadays, autonomous driving has attracted much attention from both industry and
academia. Convolutional neural network (CNN) is a key component in autonomous driving …
academia. Convolutional neural network (CNN) is a key component in autonomous driving …
Generating automated and online test oracles for simulink models with continuous and uncertain behaviors
Test automation requires automated oracles to assess test outputs. For cyber physical
systems (CPS), oracles, in addition to be automated, should ensure some key objectives:(i) …
systems (CPS), oracles, in addition to be automated, should ensure some key objectives:(i) …
P-DACCA: A probabilistic direction-aware cooperative collision avoidance scheme for VANETs
One of the major challenges in Vehicular Ad hoc Networks (VANETs) is to find a stable and
robust Cooperative Collision Avoidance (CCA) scheme to address the rising death toll …
robust Cooperative Collision Avoidance (CCA) scheme to address the rising death toll …
A case study of trust on autonomous driving
As autonomous vehicles have benefited the society, understanding the dynamic change of
humans' trust during human-autonomous vehicle interaction can help to improve the safety …
humans' trust during human-autonomous vehicle interaction can help to improve the safety …
Lifecycle management of automotive safety-critical over the air updates: A systems approach
H Guissouma, CP Hohl, F Lesniak… - IEEE …, 2022 - ieeexplore.ieee.org
With the increasing importance of Over The Air (OTA) updates in the automotive field,
maintaining safety standards becomes more challenging as frequent incremental changes …
maintaining safety standards becomes more challenging as frequent incremental changes …
Confidence composition for monitors of verification assumptions
Closed-loop verification of cyberphysical systems with neural network controllers offers
strong safety guarantees under certain assumptions. It is, however, difficult to determine …
strong safety guarantees under certain assumptions. It is, however, difficult to determine …
[HTML][HTML] On the road with RTLola: Testing real driving emissions on your phone
This paper is about shipping runtime verification to the masses. It presents the crucial
technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild …
technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild …
RTLola on board: Testing real driving emissions on your phone
This paper is about shipping runtime verification to the masses. It presents the crucial
technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild …
technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild …
[HTML][HTML] Runtime verification for anomaly detection of robotic systems security
Robotic systems are widely used in industry, agriculture, the inspection of infrastructure, and
even in our daily lives. The safety and security of robotic systems have become a primary …
even in our daily lives. The safety and security of robotic systems have become a primary …