Localised bugs [LWN.net]

Localised bugs

Posted Sep 26, 2024 14:15 UTC (Thu) by Wol (subscriber, #4433)
In reply to: Localised bugs by pizza
Parent article: Resources for learning Rust for kernel development

> If your reactor core is capable of venting radiation into crew quarters and/or your soup dispenser is connected to the reactor in any way, you have far more serious problems than the language the language used to write their respective control software.

Doesn't that describe the modern car, though? :-)

Cheers,
Wol

to post comments

Localised bugs

Posted Sep 26, 2024 15:11 UTC (Thu) by pizza (subscriber, #46) [Link]

> Doesn't that describe the modern car, though? :-)

As someone whose $dayjob currently revolves around SoCs targeting next-gen Automobiles, yes and no.

Yes in the sense that these systems _may_ share common physical communication buses, but No in the sense that when they do, there are figurative (as well as literal) firewalls designed into the overall system to ensure only suitably blessed messages are acted upon by any given component.

That isn't to say that bugs can't occur [1], just that this class of bug is nearly always due to incorrect/incomplete specifications, typically due to poorly-thought-out scope creep [2], not traits of the language used to implement the specification.

[1] I recall reading that someone was able to trigger brake lockup on some Jeep models via their cellular modems
[2] eg by exposing what was once a completely private and trusted bus to the open internet with no authentication to enable remote start capabilities.