Re:Rust is rolling off the Volvo assembly line
by adrianN on Wednesday October 09, 2024 @12:45AM
(#41784580)
That would explode the costs for marginal safety improvements. I think the same effort spent on better requirement engineering would yield more payoff.
[ Parent
| on HN ]
Re:Rust is rolling off the Volvo assembly line
by tialaramex on Wednesday October 09, 2024 @04:45AM
(#41785784)
Why do you believe this would "explode the costs" ?
Why would the resulting safety improvements be "marginal" ?
Re:Rust is rolling off the Volvo assembly line
by adrianN on Wednesday October 09, 2024 @01:47PM
(#41790669)
Because proving correctness for complex software is difficult and very few people have relevant experience. So it is both labor intensive and you need to pay high wages. I believe the safety improvements are marginal because of my experience in safety critical development. Almost all the bugs we did not find by testing turned out to be problems with the requirements that led to interoperability issues. Proving the correct implementation of wrong requirements would not have helped.