ARCNet RPP Name – ADAS Test Generation
August 6, 2020
The goal of the “Link Formal Models to Implementation” (LFMI) ADAS subtask is to develop new methods and tools for demonstrating that an autonomous system implementation satisfies its formal model(s). Although a formal model that specifies the required behavior of an autonomous system is valuable, the ultimate objective of the development process is to produce an autonomous system that satisfies its requirements. To detect defects in a formal model, such as inconsistencies and violations of system properties, one can use static analysis tools, such as consistency checkers, SMT solvers, and model checkers. To detect defects in the implementation, in contrast, one can use dynamic analysis tools that check the implementation during run-time. One effective approach to evaluating the correctness of an autonomous system’s implementation is to apply black-box testing to determine whether the implementation, given a sequence of system inputs, produces the correct system outputs.