definição: principal software de um computador que funciona como suporte lógico, controlando a execução dos programas e assegurando serviços
como a atribuição de recursos, o encadeamento das tarefas, o controlo das entradas e saídas e a gestão dos dados