A structured argument, supported by evidence, that a system is safe for a specific application in a given environment, often required for regulatory compliance in high-risk industries.