Yes and formal verification; it's been around since the 90's. And now we even have high level tools like TLA+ available to reason about distributed system requi

Yes and formal verification; it's been around since the 90's. And now we even have high level tools like TLA+ available to reason about distributed system requirements. And while we're at it, the full force of standard software engineering principles for automotive firmware. Remember what they found when they examined the Toyota code. https://www.edn.com/toyotas-killer-firmware-bad-design-and-its-consequences/ https://www.edn.com/toyotas-killer-firmware-bad-design-and-i...