5.1–Exemplosdeentidadesdetemporealsãoofluxodeumlíquidoemum tubo,osetpointdeumlaçodecontroleselecionadopelooperador,ouaposição desejadadeumaválvuladecontrole. Os atribut ibutos os estáticosde osde uma entidade dade RT,do tempo real. al. Exemplosde atributosestáticossãoonome,otipo,odomíniodevalores,eataxamáximade mudança. mudança. Para Paraatr atribu ibutos tos dinâmic dinâmicos, os, omaisimportant omaisimportante eé éovalorda ovalorda variáve variávelde lde controlenuminstanteemparticular. 5.2 5.2 – Uma Uma obser observaç vação ão é uma uma obser observaç vação ão de estado estado se o valo valor r da obser observa vação ção contêmo contêmoesta estadoabsol doabsolutodaentida utodaentidadeRT.O deRT.O tempodaobserv tempodaobservação ação deestadose deestadose refe refere re ao ponto onto no temp tempo o real real quan quando do a enti entida dade de RT foi foi amos amostr trad ada. a. Uma Uma obser observa vaçã ção o é uma uma obse observ rvaç ação ão de event evento o se ela ela cont contêm êm infor informa maçõ ções es sobre sobre a mudan mudança ça de valo valore res s entr entre e os esta estados dos velhos velhos e os estado estados s novo novos. s. O tempo tempo da observaçãodeeventodenotaamelhorestimativadoinstantedoevento. Asem Asemân ânti tica cada daso sobs bser ervvaçõe açõesd sdee eest stad adoc ocas asam ambe bemc mcom omase asemâ mânt ntic icad adas as mensagensdeestados.Umanovaleituradaobservaçãodeestadosubstituias leiturasanterioresporqueclientes leiturasanterioresporqueclientes estãonormalmenteinteress estãonormalmenteinteressadosnos adosnosvalore valores s maisrecentesdasvariáveisdeestado. Obse Observ rvaç açõe ões sde deev even ento tost stem emm mai aise sefi fici ciên ênci cian anos osda dado dos squ queo eobs bser erva vaçã çãod ode e estadonocasoondeaentidadeRTnãomudafrequentemente. 5.3– 1-Seaobservaçãodeeventoéacionadoporevento,então,otempode oco ocorrênc ência do evento é ass assumida para ara ser ser a borda orda de subida do sinal inal de interrupção.Qualquerrespostaatrasadaparaessesinaldeinterrupçãocausará umerronaetiquetadetempodaobser umerronaetiquetadetempodaobservaçãodeevent vaçãodeevento.Seoeventoobser o.Seoeventoobservadoé vadoé acio aciona nado do por por temp tempo, o, entã então, o, o temp tempo o de ocor ocorrê rênc ncia ia do even evento to pode pode ser ser em qualquerpontodentrodointervalodeamostragem. 2-Desdequeovalordeumaobservaçãodeeventocontêmadiferença entreumestadovelhoeumestadonovo,aperdaouduplicaçãodeumaúnica observa observaçãode çãodeeve evento nto causa causaa aper perdada dada sincro sincroniza nizaçãodo çãodoest estadoentr adoentre eo oest estado ado do obs observ ervado ador e o estado ado do recept eptor. Do ponto de vista da segurança, observaçõesdeeventosãomaisfrágeisdoqueobservaçõesdeestado. 3-UmaobservaçãodeeventoéapenasenviadoseaentidadeRTmuda seuvalor.Alatênciaparaadetecçãodefalhasdonóobservadornãopodeser delimitadoporqueorecept delimitadoporqueoreceptorassumequeaentidadenãomodific orassumequeaentidadenãomodificouseuvalorse ouseuvalorse nenhumanovamensagemdeeventoapareceu. 5.4–Acuráciatemporaldenotaorelacionamentotemporalentreumaentidade RTesuaimagemRTassociada. RTesuaimagemRTassociada.Porumaimage PorumaimagemRTserarmaz mRTserarmazenadanumob enadanumobjeto jeto RT, RT, a acur acurác ácia ia temp tempor oral al pode pode tamb também ém ser ser vist vista a como como a rela relaçã ção o entr entre e uma uma entidadeRTeumobjetoRT. Acur Acurác ácia iat tem empo pora rallé éa adi dife fere renç nça aen entr tre esu sua aim imag agem eme ea ae ent ntid idad ade ere real al.. A “história recente” é um conjunto ordenado de instantes, onde o tamanhoda“históriarecente”échamadodeintervalodeacuráciatemporalou deacuráciatemporal.
5.5 – Uma imagem RT paramétrica é uma imagem RT que é atualizada perio zdicamenteporumamensagemdeobservaçãodeestadodeumentidade RTrelacionadacom umperíodode atualização !"#$%& eaoperaçãoéalinhada nafasedoremetente.Eointervalodeacuráciatemporal satisfazaseguinte condição: !""
!"" > (!"#$%& + !"#$ + + !"# )
Uma imagem RT sensível à fase é uma imagem do receptor onde a operaçãoRTdoremetenteéalinhadoàfaseesatisfazasseguintescondições: !"" ≤ (!"#$%& + !"#$ + + !"# )
e !"" > (!"#$ + + !"# ) !"#$ ->piorcasodetempodeexecuçãodoremetente. ->piorcasodeatrasodecomunicação. !"# ->piorcasodetempodeexecuçãodoreceptor.
5.6–Asestradasparaomodelodeestimaçãodeestadoséotamanhoprecisodo intervalodetempo.Paraaestimaçãodosestadosénecessárioterumprotocolo decomunicaçãocomumjittermínimoouumabasedetempoglobalcomuma boaprecisão,sembasedetempoglobalnãoépossívelestimarosestados. 5.7– 5.8– 5.9– a) !"#$%&"&'
!"#$%&"&'
=
=
!"#$ + 2!"#
!"#$ + 2
=
∗
− !"# + !
!! 20 − 1 + 10 ∗ 10
!"#$%&"&'
=
− !"#$
39.01
b) !"#$%&"&'
!"#$%&"&'
=
=
!"#$ + !"# + 2
!"#$ + 20 + 2
=
∗
!"#$%&"&'
=
!! 20 ∗ 10
− !"#$
20.04
5.10 – A acurácia temporal depende da dinâmica da aplicação de controle enquanto o “action delay” é uma implementação especifica de duração. Uma imagemRTpodeapenasserusadaseamensagemquetransportouaimagemé permanente e a imagem é temporalmente acurado. Em um sistema sem estimaçãodeestados,ambasascondiçõespodemapenassersatisfeitasnojanela dotempo(!"#$%&"&' !"# + ). ,
!""
5.11–Determinismoéumapropriedadedesejadadacomputaçãoquepermitea prediçãodassaídasdeuminstantefuturocombaseemumdadoestadoiniciale entradastemporizadas. UmsistemasecomportadeterministicamenteL,sedadoumestadoinicial e um conjunto de entradas ordenadas, então os estados subsequentes e os valoresdassaídassubsequentessãoimplicadas. 5.12– 5.13– 1 – Preempção e bloqueio de tarefas. Preempção e bloqueio de tarefas ampliaotempodeexecuçãodastarefasepodeatrasarumresultadoatéajanela deaceitaçãotersidofechada. 2 – Mecanismos de repetição. Qualquer mecanismo de repetição no hardwareousoftwarelevaaoaumentodotempodeexecuçãoepodecausarum atrasoinaceitáveldeumresultadodevalorcorreto. 3–Condiçõesdecorrida.Umaoperaçãodeesperadosemáforopodedar inicio ao nãodeterminismo, por causa dos resultados incertos em relação ao processoquevenceráacorridapelosemáforo.Omesmoargumentoseaplicaao protocolodecomunicaçãoqueresolveoconflitodeacessoconfiandonasaída dasdecisõestemporaisnãodeterminísticas. 5.14–Paraconstruirumsistemadereplicadeterminado,énecessárioassegurar que o estado inicial de todas as computações envolvidas é definido consistentemente.Éimpossívelconstruirumsistemadetemporealdistribuído dereplicadeterminísticasemoestabelecimentodeumtipodebasedetempo globalesparsaparaaetiquetadetempoconsistentedoseventos,afimdeser capazdedeterminarseumeventoéincluídonoestadoinicialounão.Semabase de tempo global esparsa e eventos esparsos, simultaneidade não pode ser resolvida consistentemente em um sistema distribuído, possivelmente resultandoemumaordemtemporalinconsistentedasmensagensreplicadasque relatam sobre esses eventos simultâneos. Inconsistente ordenação resulta na perdadedeterminismoréplica. Aatribuiçãodeeventosparaumabasedetempoglobalesparsapodeser estabelecidanoníveldosistemapelageraçãodeeventosesparsosounonívelde aplicação pela execução de protocolos de aceitação que atribui aos eventos densosconsistentementeaintervalosesparsos. O sistema de transporte de mensagens entre os componentes ser previsível,istoé,osinstantesdeentregadasmensagenspodemserprevistosea ordem temporal das mensagens recebidas é a mesma ordem temporal das mensagensenviadasatravésdetodososcanais.
Osistemadecomputadoreoobservar(usuário)concordamcomanoção deprecisãodotemporeal. Todos as computações envolvidas são infalíveis, isto é, não existem construções de programas na implementação que produz arbitrariamente resultados ou contêm NDDCs, e que o resultado final da computação será avaliadaduranteajaneladeaceitaçãoantecipada. NDDC->Non-DeterministicDesignConstructs. 5.15–Acoordenaçãointer-réplicadeveserevitadaporqueelacomprometea independênciadasréplicas, e requer tempoadicionale bandadecomunicação adicional. 5.16-
