Research papers · Posted 2022.10.13 · Preprint
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
Overview
The paper uses formal methods to justify decomposition of functional safety requirements across feedback-loop components. Proven component models become requirements, providing structured mathematical evidence within an automated-driving safety case.
Author-supplied source information
Author-supplied information on arXiv.
8 pages, 3 figures. This work has been submitted to the IEEE for possible publication
Version: v1