UNIVERSIDADE FEDERAL DO PIAU - UFPI

DEPARTAMENTO DE COMPUTAO - DC
.: BACHARELADO EM CINCIA DA COMPUTAO :.

Introduo aos
Sistemas de Tempo Real (STR)
Aulas baseadas na disciplina STR ministrada na Ps-Graduao em
Engenharia Eltrica e de Computao da UFRN no ano de 2006.

Prof. Erico Meneses Leo

Universidade Federal do Piau Departamento de
Centro de Cincias da Natureza
Departamento de Computao
Computao
ericoleao@ufpi.edu.br

Agenda
Clique para editar o estilo do ttulo mestre

Introduo aos Sistemas de Tempo Real:

o Motivao para o estudo;
o Definies;
o Algumas concepes erradas sobre STR;
o Classificao;
o Pontos chaves para a concepo de STR;
o reas de pesquisas.

Tpicos em Programao - STR Erico Meneses Leo DIE/CCN/UFPI

1
Classificao
Clique para editar o estilo do ttulo mestre

Tpicos em Programao - STR Erico Meneses Leo DIE/CCN/UFPI

Classificao
Clique para editar o estilo do ttulo mestre

Sistema Crtico vs. Sistema No-Crtico:

o Considera-se um STR como sendo crtico caso o no cumprimento de uma

meta temporal (deadline) tenha consequncias graves para a utilidade
do sistema (prejuzo causa vrias ordens de grandeza superior ao
benefcio decorrente da sua correta execuo);

o Considera-se um STR como sendo no-crtico caso esse no cumprimento

de metas temporais tenha unicamente consequncias ligeiras para a
utilidade do sistema;

Tpicos em Programao - STR Erico Meneses Leo DIE/CCN/UFPI

2
Classificao
Clique para editar o estilo do ttulo mestre

Sistema Crtico vs. Sistema No-Crtico

o Enquanto que num sistema crtico as metas temporais so de
cumprimento obrigatrio, num sistema no-crtico as metas temporais
descrevem o comportamento temporal desejado para o sistema:

Exemplo: uma aplicao de vdeo-conferncia.

Tpicos em Programao - STR Erico Meneses Leo DIE/CCN/UFPI

Classificao
Clique para editar o estilo do ttulo mestre

Num Sistema de Tempo-Real no-crtico so aceitveis as

seguintes ocorrncias:
o Uma meta temporal (deadline) ocasionalmente ultrapassada (estando
definido o nmero mximo de ultrapassagens por intervalo de tempo);

o A prestao de um servio pode estar ocasionalmente atrasada (estando

definido o atraso mximo aceitvel).
As aplicaes interativas podem ser consideradas, na generalidade dos casos, aplicaes
no-crticas em termos temporais.

Tpicos em Programao - STR Erico Meneses Leo DIE/CCN/UFPI

3
Classificao
Clique para editar o estilo do ttulo mestre

Sistema Avaria-Seguro vs. Sistema Avaria-Operacional:

o Caso existam um ou mais estados seguros de funcionamento do objeto

controlado, em caso de avaria o sistema computacional deve evoluir para
um desses estados (Fail-Safe);

o Caso no existam estados seguros de funcionamento, o sistema deve

manter um nvel mnimo de funcionalidade com segurana (Fail-
Operational System);

Tpicos em Programao - STR Erico Meneses Leo DIE/CCN/UFPI

Classificao
Clique para editar o estilo do ttulo mestre

Sistemas de Tempo-Real No-Crticos:

o Os STR no crticos podem ser classificados em funo de parmetros que

influenciem decisivamente a utilidade do sistema (parmetros que, em
caso de no cumprimento, provocam um prejuzo vrias ordens de
grandeza superior ao benefcio decorrente da correta execuo do STR).
Por exemplo:
Elevada disponibilidade de servio, no caso de um sistema de comutao telefnica;
Elevada integridade na manipulao de dados, no caso de um sistema bancrio interativo.

Tpicos em Programao - STR Erico Meneses Leo DIE/CCN/UFPI

4
Pontos chaves para a concepo de STR
Clique para editar o estilo do ttulo mestre

Determinismo de execuo: Previsibilidade

o Devero ser conhecidos todos os clculos efetuados para a determinao

da carga imposta sobre o sistema computacional (aplicao e sistema
operacional);

o Devero ser conhecidos os tempos de execuo das aplicaes suportadas

(no pior caso, e de uma forma no subestimada).

o A correta seleo da ordem de execuo das tarefas/funes uma das

funes mais relevantes num STR:
Utilizao de algoritmos de escalonamento adequados.

Tpicos em Programao - STR Erico Meneses Leo DIE/CCN/UFPI

Pontos chaves para a concepo de STR

Clique para editar o estilo do ttulo mestre

Limite previsibilidade de um STR:

o Na fase de concepo de um STR, a sua previsibilidade depende de um

conjunto de pressupostos relativos ao ambiente:
Pressupostos de Carga: definio da carga mxima do sistema computacional, atravs da
especificao da taxa mxima de transaes entre o sistema computacional e o ambiente;
Pressupostos de Falhas: definio do tipo e freqncia de falhas que o sistema deve
suportar (tolerar);

Tpicos em Programao - STR Erico Meneses Leo DIE/CCN/UFPI

5
reas de pesquisas
Clique para editar o estilo do ttulo mestre
Especificao e Verificao Formal.
Anlise de Desempenho:
o Baseada em simulaes e testes.
Sistemas Operacionais de Tempo-Real.
Linguagens de Programao de Tempo-Real.
Engenharia de Software:
o QoS;
o Modularidade, adaptabilidade.
Bases de Dados Distribudas de Tempo-Real.
Tolerncia a Falhas.
Teoria de Escalonamento de Tempo-Real.
Arquitetura de Computadores para Sistemas de Tempo-Real.
Sistemas Multimdia de Tempo-Real
Protocolos de Comunicao de Tempo-Real.

Tpicos em Programao - STR Erico Meneses Leo DIE/CCN/UFPI

UNIVERSIDADE FEDERAL DO PIAU - UFPI

DEPARTAMENTO DE COMPUTAO - DC
.: BACHARELADO EM CINCIA DA COMPUTAO :.

Introduo aos
Sistemas de Tempo Real (STR)
Aulas baseadas na disciplina STR ministrada na Ps-Graduao em
Engenharia Eltrica e de Computao da UFRN no ano de 2006.

Prof. Erico Meneses Leo

Universidade Federal do Piau Departamento de
Centro de Cincias da Natureza
Departamento de Computao
Computao
ericoleao@ufpi.edu.br