Acessar Arquivo select nrseqoco, cdext, COALESCE(dsdes,'ARQUIVO UNICO') as dsdes, nmobj, nrparoco, dtdspobj, COALESCE(dtexpobj,'1900-01-01') as dtexpobj, nrseqace, COALESCE(mconteudot007.nrseqdes,0) as nrseqdes from maxadm.mconteudot007, maxadm.mdominiot007, maxadm.mdominiot013 where nrseqcon = 26525 and mconteudot007.NrSeqExt = mdominiot007.NrSeqExt and mconteudot007.nrseqdes=mdominiot013.nrdesidi and mdominiot013.nrseqidi=1 union select nrseqoco, cdext, 'ARQUIVO UNICO' as dsdes, nmobj, nrparoco, dtdspobj, COALESCE(dtexpobj,'1900-01-01') as dtexpobj, nrseqace, mconteudot007.nrseqdes from maxadm.mconteudot007, maxadm.mdominiot007 where nrseqcon = 26525 and mconteudot007.NrSeqExt = mdominiot007.NrSeqExt and mconteudot007.NrSeqDes is null union select nrseqoco, cdext, 'ARQUIVO UNICO' as dsdes, nmobj, nrparoco, dtdspobj, COALESCE(dtexpobj,'1900-01-01') as dtexpobj, nrseqace, mconteudot007.nrseqdes from maxadm.mconteudot007, maxadm.mdominiot007, maxadm.mdominiot013 where nrseqcon = 26525 and mconteudot007.NrSeqExt = mdominiot007.NrSeqExt and mconteudot007.nrseqdes=mdominiot013.nrdesidi and nrdesidi not in (select nrdesidi from mdominiot013 where mdominiot013.nrseqidi=1 ) order by nrparoco	NA ÍNTEGRA - PDF
Título: UMA SISTEMÁTICA DE MONITORAMENTO DE ERROS EM SISTEMAS DISTRIBUÍDOS
Autor(es): CARLA GALDINO WANDERLEY
Wanderley, Carla Galdino
Número do Conteúdo: 26525
Referência [pt]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=26525@1
Referência [en]: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=26525@2
Referência DOI: https://doi.org/10.17771/PUCRio.acad.26525
Sistemas formados por componentes distribuídos possibilitam a ocorrência de falhas provenientes da interação entre componentes. A etapa de testes desta classe de sistemas é árdua, já que prever todas as interações entre componentes de um sistema é inviável. Portanto, ainda que um sistema de componentes seja testado, a ocorrência de erros em tempo de execução continua sendo possível e, evidentemente, esses erros devem ser observados disparando alguma ação que impeça de causarem grandes danos. Este trabalho apresenta um mecanismo de identificação de erros de inconsistência semântica de tipos baseado em logs estruturados. Falhas de inconsistência semântica de tipos são falhas decorrentes da interpretação errônea de valores que são representados sintaticamente sob os mesmos tipos básicos. O mecanismo proposto consiste na geração de logs estruturados conforme a definição de interfaces de comunicação e a identificação de anomalias através de uma técnica existente de verificação de contratos. Além disso, o mecanismo propõe um modelo de gestão taxonômica de tipos semânticos utiliza a técnica de Raciocínio Baseado em Casos (RBC). O mecanismo de identificação de falhas foi implementado através de uma extensão do middleware Robot Operation System (ROS). O mecanismo, além de observar erros, gera informação complementar que visa auxiliar a diagnose da causa do erro observado. Finalmente, uma prova de conceito aplicada a um sistema de controle de locomoção de um robô híbrido, adaptado de um sistema real, foi desenvolvida para a validação da identificação de falhas.