CLESA: Traceability-Driven Runtime Safety Assurance for Brake-by-Wire Systems
Automotive functional safety increasingly depends on interactions among safety requirements, architecture allocation, runtime supervision, communication behavior, and deployment constraints. This paper proposes CLESA, a traceability-driven runtime safety assurance framework that formalizes a hazard-to-evidence closure...