In effetti all'universita' non si studia particolarmente questo aspetto.

So che l'elettronica di controllo, sistemi "embedded", si basano sugli FPGA,, che sono schede con microcontrollori programmabili. Tali sistemi hanno software specifico che non richiede i classici sistemi operativi (windows o UNIX), scritti per usare le solite architetture (x86, Alpha, ecc..).
Hanno software scritto per lavorare in modo efficiente e fare le operazioni specifiche e previste, con eventuali deviazioni.
In tal modo non sono soggette a errori tipi delle piattaforme con sistemi operativi piu' complessi (e meno implementati), come windows e sistemi UNIX.

E' probabile ci siano macchine con sistemi operativi classici, per operazioni meno funzionali ai fini del controllo dell'impianto.