Compositional code-level safety verification for automated driving controllers

2025-06-02

0

PRE

AI

DOI：10.1016/j.jss.2025.112499

原文求助

摘要

En 中文

• 一种在代码级别自动验证自动驾驶控制器安全性的框架。 • 利用组合契约和有界模型检测进行子系统验证。 • 一种可扩展的验证基于神经网络的控制器的方法。 • 在传统神经网络自适应巡航和车道保持控制器中的有效应用。

Keyword:

Formal verification

Compositional reasoning

Deep neural network verification

Model-based software analysis

Adaptive cruise control

Lane-keeping assist

Automated driving