I have been thinking about this recently. What are the most rigorous "software actual engineering" fields, or projects?
Autopilot systems in airliners came to mind. Not just autopilot, but FADEC, and other flight control systems. Medical devices? ... Or, are all those teams just winging it as well?