SOCA: Domain Analysis for Highly Automated Driving Systems

Highly automated driving systems need to master a highly complex environment and are required to show meaningful behavior in any situation occurring in mixed traffic with humans. Deriving a sufficiently complete and consistent set of system-level requirements capturing all possible traffic situations is a significant problem that has not been solved in existing literature. In this paper, we propose a new method called SOCA addressing this problem by introducing a novel abstraction of traffic situations, called zone graph, and using this abstraction in a morphological behavior analysis. The morphological behavior analysis enables us to derive a set of system-level requirements with guarantees on completeness and consistency. We illustrate our method on a slice-of-reality example from the automated driving domain.