
Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
| Metadados | Descrição | Idioma |
|---|---|---|
| Autor(es): dc.contributor | Rodrigues, Genaína Nunes | - |
| Autor(es): dc.creator | Araujo, Gabriel Frutuoso Pereira | - |
| Data de aceite: dc.date.accessioned | 2025-03-18T17:18:56Z | - |
| Data de disponibilização: dc.date.available | 2025-03-18T17:18:56Z | - |
| Data de envio: dc.date.issued | 2025-03-17 | - |
| Data de envio: dc.date.issued | 2025-03-17 | - |
| Data de envio: dc.date.issued | 2025-03-17 | - |
| Data de envio: dc.date.issued | 2024-10-27 | - |
| Fonte completa do material: dc.identifier | http://repositorio.unb.br/handle/10482/51944 | - |
| Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/926107 | - |
| Descrição: dc.description | Sistemas ciber-físicos (CPS), como satélites, carros autônomos, robôs de serviço e IoTs, estão presentes em nossas vidas diárias. Esses sistemas devem atender a requisitos que especificam seu funcionamento ao longo do tempo. Durante o desenvolvimento de tais sistemas, designers e engenheiros devem testar se a implementação atende às suas especificações. Além disso, em caso de violação, é necessário identificar e diagnosticar de onde vem a falha. Compreender tais violações é especialmente crucial em sistemas críticos de segurança. Este trabalho apresenta uma técnica inovadora para diagnosticar qualquer sistema utilizando apenas seus requisitos e traços de teste. Aproveitando técnicas como verificação de traços e programação genética, fornecemos um diagnóstico informativo. O diagnóstico mostra aos engenheiros quais mudanças são suficientes para satisfazer o requisito violado. O usuário também pode personalizar a abordagem para focar em informações específicas relevantes para o seu contexto. Nós avaliamos nossa abordagem em duas vertentes: acurácia e eficácia. Avaliamos a capacidade de nossa abordagem em fornecer diagnósticos informativos e o tempo necessário para gerar esses diagnósticos. Nossa abordagem mostrou que pode produzir um resultado informativo para a maioria de nossos experimentos em um tempo razoável. A ferramenta excedeu o limite de tempo em alguns experimentos, não produzindo diagnóstico nesses casos. | - |
| Descrição: dc.description | Cyber-physical systems (CPS) such as satellites, self-driving cars, service robots, and IoTs are in our daily lives. These systems must satisfy requirements specifying their operation over time. During the development of such systems, designers and engineers must test whether the implementation meets its specifications. In addition, in the case of a violation, they need to identify and diagnose where the failure comes from. Understanding such violations is especially crucial in safety-critical systems. This work presents a novel technique to diagnose any system using only its requirements and test traces. Leveraging techniques like trace-checking and genetic programming, we deliver an informative diagnosis. The diagnosis shows to engineers what changes are sufficient to satisfy the violation requirement. The user can also customize the approach to focus on specific information relevant to the user. We evaluate our approach in two verticals: accuracy and efficiency. We evaluate the capability of our approach in delivering informative diagnoses and the time it takes to provide these diagnoses. Our approach shows that it can produce an informative output for most of our experiments in a reasonable time. The tool exceeded its time budget for the remaining experiments, not producing any diagnosis. | - |
| Descrição: dc.description | Instituto de Ciências Exatas (IE) | - |
| Descrição: dc.description | Departamento de Ciência da Computação (IE CIC) | - |
| Descrição: dc.description | Programa de Pós-Graduação em Informática | - |
| Formato: dc.format | application/pdf | - |
| Idioma: dc.language | pt_BR | - |
| Direitos: dc.rights | Acesso Aberto | - |
| Direitos: dc.rights | A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.unb.br, www.ibict.br, www.ndltd.org sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra supracitada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data. | - |
| Palavras-chave: dc.subject | Diagnóstico | - |
| Palavras-chave: dc.subject | Verificação de rastro | - |
| Palavras-chave: dc.subject | Verificação em tempo real | - |
| Palavras-chave: dc.subject | Propriedades temporais | - |
| Palavras-chave: dc.subject | Sistemas ciberfísicos | - |
| Título: dc.title | Trace-diagnostic for signal temporal properties : an evolutionary approach | - |
| Tipo de arquivo: dc.type | livro digital | - |
| Aparece nas coleções: | Repositório Institucional – UNB - Rep. 1 | |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: