Sistemas de tempo real so sistemas que trabalham sob restries de tempo. Tipicamente, sistemas desse tipo consistem de subsistemas de controle (subsistemas de computadores) e subsistemas controlados (ambientes fsicos) interagindo atravs de trs operaes tiragem de amostras, processamento e respostas. Primeiramente, o subsistema de controle tira amostras de dados do ambiente fsico durante a sua operao normal. Em seguida, os dados so imediatamente processados, retornando uma resposta para o ambiente. Um exemplo seria um sistema que controla as pernas de um rob, que responde continuamente s mudanas do ambiente fsico num determinado intervalo de tempo. Caso o controle das pernas do rob responda no tempo errado, ele cair. Sistemas de tempo real podem ser classificados em Hard Real Time devem seguir as restries de tempo para evitar conseqncias catastrficas e esto normalmente relacionados vida das pessoas. Como exemplo, pode-se citar sistemas de controle de avio e sistemas de controle de processos qumicos. Soft Real Time sistemas que podem continuar funcionalmente corretos mesmo que restries temporais so sejam respeitadas. Exemplos so sistemas de aquisio de dados e sistemas de reserva de passagens areas. Sistemas de tempo real distribudos so aqueles que unem o conceito de sistemas distribudos (processos distintos rodando em processadores ou computadores diferentes) e sistemas de tempo real (seguem restries temporais). Em geral, STRDs elevam as caractersticas dos dois sistemas, de forma que a corretude deve adequar-se tanto aos requisitos distribudos quanto aos requisitos de tempo real. STRDs trazem como benefcios a concorrncia de operaes e a degradao. Desta forma, so utilizados com os objetivos de melhorar o tempo de resposta do sistema e aumentar a sua confiabilidade. Entretanto, esses benefcios tm um custo o aumento de complexidade para o particionamento e alocao de tarefas e a comunicao entre processos. A seguir, so descritas algumas das caractersticas de STRDs Operao