Runtime monitoring for safety of intelligent vehicles

K Watanabe, E Kang, CW Lin, S Shiraishi - Proceedings of the 55th …, 2018 - dl.acm.org
K Watanabe, E Kang, CW Lin, S Shiraishi
Proceedings of the 55th annual design automation conference, 2018dl.acm.org
Advanced driver-assistance systems (ADAS), autonomous driving, and connectivity have
enabled a range of new features, but also made automotive design more complex than ever.
Formal verification can be applied to establish functional correctness, but its scalability is
limited due to the sheer complexity of a modern automotive system. To manage high
complexity and limited development resources, one alternative is to apply runtime
monitoring techniques to detect when the system transitions into an unsafe state (ie, one …
Advanced driver-assistance systems (ADAS), autonomous driving, and connectivity have enabled a range of new features, but also made automotive design more complex than ever. Formal verification can be applied to establish functional correctness, but its scalability is limited due to the sheer complexity of a modern automotive system. To manage high complexity and limited development resources, one alternative is to apply runtime monitoring techniques to detect when the system transitions into an unsafe state (i.e., one where it violates a critical safety requirement). In this paper, we report on our experience integrating runtime monitoring into a development workflow and present practical design considerations on languages and tools from an industrial perspective. Using signal temporal logic (STL) [12] and the Breach [6] monitoring tool, we perform a case study showing how monitoring can be used to detect undesirable interactions between two ADAS features called Cooperative Pile-up Mitigation System (CPMS) and False-Start Prevention System (FPS). This is an initial step to utilize runtime monitoring to achieve high assurance in the design of intelligent vehicles.
ACM Digital Library
以上显示的是最相近的搜索结果。 查看全部搜索结果