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

Uma reflexo...
Clique para editar o estilo do ttulo mestre
OTempo...

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

1
Agenda
Clique para editar o estilo do ttulo mestre

IntroduoaosSistemasdeTempoReal:
o Motivaoparaoestudo;
o Definies;
o AlgumasconcepeserradassobreSTR;
o Classificao;
o PontoschavesparaaconcepodeSTR;
o reasdepesquisas.

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

Motivao para o estudo

Clique para editar o estilo do ttulo mestre
SistemasdeTempoReal(STR)
o Sistemascaracterizadosporestaremsujeitosarequisitosassociadospassagem
dotempo.

mbitodosSTR
o Desdecontroladoresdepequenoseletrodomsticos,atsistemasdecontrolede
trfegoareoeferrovirio.
o Desdecontroladoresrobticosataplicaesdevdeoconferncia

Asserofundamental
o A
Autilizaodesistemascomputacionaisparaocontroledeatividadescom
utilizao de sistemas computacionais para o controle de atividades com
requisitostemporais,requeraseleoeutilizaodemetodologiasadequadas
paraoseucorretofuncionamento.

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

2
Motivao para o estudo
Clique para editar o estilo do ttulo mestre

PrticascorrentesemSTR

o Autilizaodemetodologiaseferramentasconvencionaisparao
desenvolvimentodesistemasdetemporealpodetercomoconseqncia
comportamentotemporalmenteimprevisveldasaplicaes
desenvolvidas,nooferecendoumaadequadagarantiadecorreto
funcionamento.

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

Motivao para o estudo

Clique para editar o estilo do ttulo mestre

reasdeaplicaodosSTR:
o Telecomunicaes/Comunicaesdedados:Comutaotelefnica,vdeo
conferncia,aplicaesmultimdia...
o Aeroespacial:Avinica;Satlites;
o DriveByWire:controledemotor,ABS,segurana,conforto,etc.
o Defesa:Controledemsseis;Radar;Sonar;
o AutomaoIndustrial:Controledeprocessos/manufatura;
o SetorFinanceiro:Transaesembolsa;Sistemasbancriosonline;
o Transportes:Sinalizaoferroviria,trfegoareo.

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

3
Definies
Clique para editar o estilo do ttulo mestre

SistemadeTempoReal
o Um
UmSistemadeTempoRealumsistemacomputacionalreativo,ouseja,que
Sistema de Tempo Real um sistema computacional reativo, ou seja, que
reageaestmulosexternos(incluindopassagemdotempo)emintervalosde
tempoimpostospeloseuambiente(operadoreobjetocontrolado);
o UmSistemadeTempoRealpodesercaracterizadoporter,emgeral,um
funcionamentocontnuoquelhepermitereagiraestmulosexternos.

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

Definies
Clique para editar o estilo do ttulo mestre

SistemadeTempoReal

o Acorreodeumsistemadetemporealdependenosdoresultado
lgicodascomputaesefetuadas,mastambmdoinstantedetempoem
queosresultadossoproduzidos[Stankovic,1988].

o UmSistemadeTempoRealnoumsistemarpido,massimumsistema
previsvel.

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

4
Definies
Clique para editar o estilo do ttulo mestre

Sistemasgenricosvs.SistemasdeTempoReal

o Executarumadeterminadatarefanomenorintervalodetempopossvel
Objetivodeumgeneralpurposesystem

o Nuncaultrapassarointervalodetempoprdeterminadoparaexecutar
umadeterminadatarefa
ObjetivodeumSTR(aconseqnciadaperdadeumametatemporalpodeserdrstica).

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

Definies
Clique para editar o estilo do ttulo mestre

SistemasEmbarcados(EmbeddedSystems):

o umsistemanoqualapartefsicaeapartecomputacionalesto
um sistema no qual a parte fsica e a parte computacional esto
fortementeintegradas,interagindoatravsdesensoreseatuadorespara
desempenharumafunoespecfica;

o UmSistemaEmbarcadotambmumsistemacomputacionalreativo,ou
seja,quereageaestmulosexternosemintervalosdetempoimpostos
peloseuambiente;

o UmsistemaembarcadoquasesempreumSTR.PormumSTRno
obrigatoriamenteumsistemaembarcado.

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

5
Definies
Clique para editar o estilo do ttulo mestre

ParmetrosTemporais:

o Osrequisitostemporaisdeumsistemadetemporealsoimpostospelo
seuambiente,assimcomoaexecuodassuasaplicaestambm
frequentementecontroladapeloambiente:

o Aultrapassagemdeumametatemporal(deadline)correspondeauma
falhatemporal(quandooservioprestadonoestemconformidade
comaespecificao).

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

Definies
Clique para editar o estilo do ttulo mestre

ParmetrosTemporais:
o TempodeResposta:Intervaloentreoinstanteemqueumaoumais
entradasmodificamoseuvaloreoinstanteemqueosistema
computacionalreageaessasmodificaes,atravsdeumamodificaodo
valordassuassadas.

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

6
Algumas concepes erradas sobre STR
Clique para editar o estilo do ttulo mestre

Temporealsignificaexecuorpida(errado!)
o Osrequisitostemporaispodemsercrticosenosercurtos(ex.controle
detemperaturadeumacaldeira).

CasoumprocessadornopreenchaosrequisitosdeumSTR,ento
bastarutilizarumprocessadormaisrpido(errado!)
o Apotnciadeclculoumacondionecessriamasnosuficienteparaa
A potncia de clculo uma condio necessria mas no suficiente para a
garantiadosrequisitostemporais.

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

Algumas concepes erradas sobre STR

Clique para editar o estilo do ttulo mestre

Nonecessriafundamentaocientficaparaaconcepo/
desenvolvimentodeSistemasdeTempoReal(errado!)

o Poderiaserverdadeh25anos,masquantomaioracomplexidadedos
sistemas,maioranecessidadedeumafortefundamentaotericaparaa
suaconcepo/desenvolvimento;
Escalonamentodetemporeal;verificaoformal;etc.

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

7
Algumas concepes erradas sobre STR
Clique para editar o estilo do ttulo mestre

OambientedeumSTRtipicamenteesttico(errado!)

o Existe
Existeumcadavezmaiornmerodeaplicaesdetempo realcom
um cada vez maior nmero de aplicaes de temporeal com
ambientesdinmicos.

AutilizaodeumcomputadorparasuportedeumSTRimplicaa
programaodedevicedrivers(errado!)

o Existemjlinguagensdealtonvelqueintegramgestodepolticasde
escalonamento,comoporexemploAda05,javadetemporeal,etc.
escalonamento como por exemplo Ada05 java de tempo real etc

o ExistemSistemasOperacionaisdeTempoReal.

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