For a professional race car, I don't think safety is an overriding concern, given its intended use case. I think the late Robert Dewar (of AdaCore fame) made a

For a professional race car, I don't think safety is an overriding concern, given its intended use case. I think the late Robert Dewar (of AdaCore fame) made a similar comment about fighter jets: Is it really a domain for safety-critical engineering if the only thing that prevents the plane from disintegrating mid-air is a continuously running computer program?