Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features
IEEE Design & Test, pp. 31-38, 2018.
Vehicle safetyAlgorithm design and analysisAnalytical modelsComputational modelingSensitivity analysisMore(3+)
Analyzing the safety of automotive systems at the application level is -especially challenging as often very complex or even incomplete models are available. The authors combine formal reasoning with simulation data to effectively -validate safety or estimate worst case situations of automotive control systems.
Full Text (Upload PDF)
PPT (Upload PPT)