Un insieme di elementi hardware, firmware e software che controlla l'esecuzione dei programmi per elaboratore e fornisce servizi di allocazione di risorse del computer, controllo di processo, controllo di ingresso/uscita e gestione dei file in un sistema informatico.