Plano de pesquisa de mestrado em ciência da computação. Márcio G. Morais

Documentos relacionados
DEMONSTRATIVO DE CÁLCULO DE APOSENTADORIA - FORMAÇÃO DE CAPITAL E ESGOTAMENTO DAS CONTRIBUIÇÕES

PRÓ-TRANSPORTE - MOBILIDADE URBANA - PAC COPA CT /10

PRÓ-TRANSPORTE - MOBILIDADE URBANA - PAC COPA CT /10

Engenharia de Software. Projeto de Software. Projeto: definição. Profa. Dra. Lúcia V. L. Filgueiras Profa. Dra. Selma Shin Shimizu Melnikoff

DATA DIA DIAS DO FRAÇÃO DATA DATA HORA DA INÍCIO DO ANO JULIANA SIDERAL T.U. SEMANA DO ANO TRÓPICO

InGriDE: Um Ambiente Integrado de Desenvolvimento para Computação em Grade

JADEX: A BDI REASONING ENGINE. Alexander Pokahr, Lars Braubach e Winfried Lamersdorf Springer US - Multi-Agent Programming 2005 pp.

Inteligência Artificial. Prof. Ilaim Costa Jr.

Sistemas Distribuídos

MANUAL PARA DESENVOLVIMENTO DE SOFTWARE TRABALHO DE CONCLUSAO DE CURSO EM SISTEMAS DE INFORMAÇÃO

Data Moeda Valor Vista Descrição Taxa US$ 07-Jul-00 Real 0,5816 Sem frete - PIS/COFINS (3,65%) NPR 1,81 14-Jul-00 Real 0,5938 Sem frete - PIS/COFINS

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ CAMPUS CURITIBA CURSO DE ENGENHARIA DE CONTROLE E AUTOMAÇÃO AMANDA LÚCIA CARSTENS RAMOS

INE 5423 Banco de Dados I

Introdução 12 que inuenciam a execução do sistema. As informações necessárias para o diagnóstico de tais problemas podem ser obtidas através da instru

4 Arquitetura Adotada

Engenharia de Software

TABELA PRÁTICA PARA CÁLCULO DOS JUROS DE MORA ICMS ANEXA AO COMUNICADO DA-87/12

Safra 2016/2017. Safra 2015/2016

Programação Paralela e Distribuída

As 10 Áreas da Engenharia de Software, Conforme o SWEBOK Prof. Elias Ferreira

Como Modelar com UML 2

RELATÓRIO DE ACOMPANHAMENTO DA EXECUÇÃO FINANCEIRA

Disciplina de Programação de Robôs Móveis SSC-0712

Prof. Luiz A. Nascimento

1- Confiabilidade ( 2 ) Proteção contra perdas e estragos. 2- Integridade ( 3 ) Proteção contra interferência de cortes de funcionamento

Aula 2 BD Introdução. Profa. Elaine Faria UFU

O que é um sistema distribuído?

ATIVIDADES PRÁTICAS SUPERVISIONADAS

MBA em Gestão de Projetos

Introdução a Teste de Software

ilaicol Versão Plano de Testes

Sumário do Plano de Testes

Plano de Trabalho Docente Ensino Técnico

Agência Nacional de Transportes Aquaviários

Ciclos de Vida de Software

DESENVOLVIMENTO DE UM ROBÔ AUTÔNOMO PARA PARTICIPAÇÃO EM COMPETIÇÃO DE SUMÔ RESUMO

Prof. Esp. Fabiano Taguchi

Banco de Dados. Perspectiva Histórica dos Bancos de Dados. Prof. Walteno Martins Parreira Jr

SSC Engenharia de Software. Prof. Paulo C. Masiero

3. Engenharia dos requisitos de software

Apresentação do Curso de Engenharia de Software /2

Monitor WMS. Monitoramento Automatizado de Processos

Programação Concorrente

PROBEX ROBÓTICA PRATA Plano de Execução para a Apresentação de Projetos no II Encontro de Robótica ROBOGAME

UNIVERSIDADE ESTADUAL DE PONTA GROSSA PRÓ-REITORIA DE PESQUISA E PÓS-GRADUAÇÃO PROGRAMA DE PÓS-GRADUAÇÃO EM QUÍMICA APLICADA MESTRADO EM QUÍMICA

e a definição dos procedimentos. Sistema informatizado adequado à metodologia utilizada. Manual de procedimentos elaborado/atualizado.

Conceitos de Sistemas Distribuídos

Banco de Dados. Introdução. Profa. Flávia Cristina Bernardini

PROCESSO DE DESENVOLVIMENTO DE SOFTWARE

2 Sistemas Multi-Agentes e Ambientes de Desenvolvimento de Software

SSC643 -Avaliação de Desempenho de Sistemas Computacionais Sarita Mazzini Bruschi

Objetivo do programa. Desenvolvimento competitivo e sustentável. Promoção de parcerias estratégicas. Produtividade. Valor agregado. Ganho de qualidade

Protótipo de um robô rastreador de objetos. Orientando: Emerson de Oliveira Orientador : Miguel Wisintainer

Sérgio Koch Van-Dall

Plano de Trabalho Docente Ensino Técnico

Câmara 3D. Projectos 2000/2001

Escolhendo um Modelo de Ciclo de Vida

ORGANIZAÇÃO CURRICULAR TÉCNICO NA ÁREA DE INFORMÁTICA: HABILITAÇÃO TÉCNICO EM INFORMÁTICA NA MODALIDADE A DISTÂNCIA /1

Objetivos do curso. Bibliografia. Critérios de avaliação. Critérios de avaliação. Critérios de avaliação 03/07/2016

RECALL SMITHS LISTA DOS PRODUTOS ENVOLVIDOS, IMPORTADOS AO BRASIL PELA CIRÚRGICA FERNANDES, COM INFORMAÇÕES SOBRE PRODUTOS VENDIDOS E EM ESTOQUE

Introdução a UML (Unified Modeling Language)

Vênus Em Aquário 25 Dez Vênus Em Peixes 18 Jan Vênus Em Áries 12 Fev Vênus Em Touro 8 Mar Vênus Em Gêmeos 4 Abr 1940

Informática UFRGS. Programação com Objetos Distribuídos (C. Geyer) Java Comunicação 1

Técnicas para obtenção de Tolerância a Falhas

Projeto Cooperativa MPS.BR SOFTSUL. Relato de experiências, lições aprendidas, melhores práticas e dificuldades da IOGE SOFTSUL (RS)

Engenharia de Requisitos

Matriz de Especificação de Prova da Habilitação Técnica de Nível Médio. Habilitação Técnica de Nível Médio: Técnico em Mecatrônica

Bibliotecas e Componentes para Interatividade de Jogos em Flash

ENGENHARIA DE SOFTWARE

Automock. Interaction-based Mock Code Generation. Renato Miceli Costa Ribeiro

Linguagens de Programação

Sistemas Distribuídos

LATIM - Laboratório Virtual de Técnicas de Implementação Segura. Meta 38 GerPri Gerenciamento de Identidades com Privacidade

Unidade 1 Introdução

Trabalho Final de SISTEMAS INTEGRADOS DE MANUFATURA

UNIVERSIDADE FEDERAL DO PARANÁ UFPR BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO

Protótipo de uma ferramenta de apoio para desenvolvimento de sistemas web para WebIntegrator

ANEXO I. PROJETO DE CURTA DURAÇÃO

Aula 01 Conceito de Banco de Dados e SGBD

Sistemas de Troca de Mensagens

Computação na Biologia Molecular e Bionanotecnologia: Computação Biológica

hardware software software computador microcontrolador hardware sensores sistema de controle de malha fechada.

RECURSOS HUMANOS. Introdução ao Benner RH. Núcleo da Solução

TCC EM SISTEMAS DA INFORMAÇÃO. Aula 9- Modelando um Sistema com a UML parte 2

Construa um sistema completo de teste HIL preparado para o futuro

Plano de Trabalho Docente Ensino Técnico

Subsistemas de E/S Device Driver Controlador de E/S Dispositivos de E/S Discos Magnéticos Desempenho, redundância, proteção de dados

6 Análise e Expectativas Contratantes X Contratados

Organização para Realização de Teste de Software

Refere-se a um conjunto de problemas encontrados no desenvolvimento de software:

RUP RATIONAL UNIFIED PROCESS

Programação de Sistemas Distribuídos e Concorrência

IX Seminário de Tecnologia em Saneamento Ambiental da Regional São Paulo

Gerência de Projetos e Manutenção de Software Aula 1- Apresentação do Curso Andréa Magalhães Magdaleno

SISTEMA COMPUTACIONAL PARA ANÁLISES DE DADOS EM AGRICULTURA DE PRECISÃO

Arquitetura de software

SNORT. Sistema de Detecção de Intrusão de Rede. Amanda Argou Vilnei Neves REDES II

Transcrição:

Plano de pesquisa de mestrado em ciência da computação. Márcio G. Morais

Introdução Falhas em Robótica Sistema de múltiplos robôs Software em robótica Estado da Arte Situação dos Frameworks c/ tolerância a falhas Abstração em Programação de Robôs Plano de Pesquisa Motivação Objetivo e Escopo Problema de Pesquisa Tolerância a Falhas Cooperativa Cronograma e Atividades

Laboratórios ambiente controlado Mundo real dinâmico e imprevisível

Linhas de produção da indústria Agricultura de precisão Pecuária Entretenimento Pesquisa espacial Logistica de tropas e bombardeios

Mundo real dinâmico e imprevisível Interação com humanos e outros robôs Interação com o ambiente Fenômenos naturais Uso contínuo desgaste natural Suscetibilidade à interferências Causam defeitos!!!

Falhas podem ocasionar Manutenção não programada - Prejuízos na produção Resultado diferente do esperado Prejuízo na produção Interação com humanos risco à integridade Robôs projetos customizados custo ao usuário Tolerância a Falhas Confiança do usuário no sistema

Vantagens e aplicações Menor tempo para atingir objetivos Paralelismo na execução de tarefas Resolver tarefas complexas com custo mais baixo Redes de diferentes robôs especializados Exemplo de aplicação Sistemas de busca e coleta Qual robô está disponível? Qual robô está mais próximo? Qual robô é capaz de coletar um determinado item?

Uso do framework devido ao alto grau de complexidade do software Sistema distribuído Modular Comprometido com restrições de tempo real Arranjo em camadas Separação de responsabilidades Baixo acoplamento Alta coesão

Framework arranjo em camadas Camada de decisão - definição dos objetivos, execução de ações e avaliação de sucesso ou falha Camada de execução - infraestrutura de software - troca de informações entre camadas ou módulos Camada funcional interface entre o hardware e as demais camadas

Grande parcela dos frameworks não possui implementação de tolerância a falhas Uma parcela menor possui de forma implícita Pequena parte possui sistema tolerante a falhas A. Elkady e T. Sobh, Robotics Middleware: A Comprehensive Literature Survey and Attribute-Based Bibliography, em Journal of Robotics, 2012.

Rotinas de controle tolerante a falhas Eficientes enquanto atuam sobre sensores e atuadores Não estão aptos a considerar falhas relacionadas ao conhecimento de alto nível Mecanismos de recuperação de falhas eficientes Soluções não são flexíveis para gerenciar situações experimentadas durante missões complexas. D. Crestani e K. Godary-Dejean, Fault Tolerance in Control Architectures for Mobile Robots: Fantasy or Reality?, em 7th National Conference on Control Architectures of Robots, 2012.

Redes homogêneas de robôs Cooperação entre agentes na forma de redundância de sensores Detecção ocorre quando dois robôs se encontram Isolamento ocorre quando três robôs se encontram Falhas de alto nível são consideradas falso positivo R. A. Carrasco, F. Núñez e A. Cipriano, Fault detection and isolation in cooperative mobile robots using multilayer architecture and dynamic observers, Robotica, pp. 555-562, 2011.

Middleware + linguagem de agente Maioria dos sistemas robóticos multiagentes Comunicação entre os agentes desenvolvendo software customizado Uso de sistemas multiagentes Software resultante é mais reusável, escalável e flexível Mantém a robutez e os requisitos de modularidade Oferece padrão de comunicação entre agentes Permite sistema tolerante a falhas de alto nível Abstração dos detalhes de hardware P. Iñigo-Blasco, F. Diaz-del-Rio, M. C. Romero-Ternero, D. Cagigas-Muñiz e S. Vicente- Diaz, Robotics software frameworks for multi-agent robotic systems development, Robotics and Autonomous Systems, vol. 60, pp. 803-821, 2012.

Aumento do uso de robôs Aumento da expectativa quanto ao funcionamento Sistemas múltiplos robôs Potencial Robustez via redundância Assumir tarefas Necessidade de maior abstração para descrever aplicação de tolerância a falhas

Sistema de tolerância a falhas descrito em linguagem de alto nível Abstração de detalhes de hardware Cooperação entre múltiplos robôs

Como? Integração do framework e sistema multiagente Propor processos de software que possibilitem o trânsito de informação entre as camadas de software

Infraestrutura para permitir a comunicação entre agentes Troca de mensagens entre a camada de alto nível dos robôs Integrar middleware e sistema multiagente

Técnicas de detecção e recuperação de falhas utilizando sistema multiagente Múltiplos robôs Falhas físicas Falhas de interação

1. Estudo do middleware Estudo das principais características e recursos de comunicação oferecidos pelo middleware Ao final desta etapa espera-se ter conhecimento detalhado sobre o middleware e os pontos estratégicos a serem trabalhados para viabilizar o método proposto

2. Estudo do sistema multiagentes Estudo das características do sistema multiagente, da sua infraestrutura e sistema de troca de mensagens entre agentes focando na integração com o middleware Ao final desta etapa espera-se ter o conhecimento necessário para efetuar as mudanças necessárias à integração;

3. Integração do middleware com sistema multiagente Baseado nos estudos das duas atividades anteriores, realizar a integração middleware com o sistema multiagente Desenvolver uma pequena aplicação multiagente para validar a implementação e avaliação de desempenho.

4. Definição de situações de falhas Análise das características dos diferentes tipos de robôs disponíveis para este estudo Definir um conjunto de possíveis falhas, sejam elas físicas ou de interação Desenvolver um método cooperativo de detecção, isolamento, e recuperação das falhas entre múltiplos robôs

5. Desenvolvimento de processos sintetizadores Desenvolver os processos da camada de execução capazes que receber informações de sensores por meio de mensagens oriundas de um ou mais processos da camada funcional Sintetizar tais informações gerando um percepção sobre si mesmo ou sobre o ambiente e enviar para o processo na camada de decisão no qual o sistema multiagente está sendo executado

6. Desenvolvimento de processos decompositores Desenvolver os processos da camada de execução capazes de receber ações por meio de mensagens oriundas da camada de decisão e decompor tais ações em um conjunto ou sequência de comandos, enviados para os processos da camada funcional

7. Desenvolvimento de estudo de caso Validação e avaliação dos métodos de tolerância a falhas em múltiplos robôs 8. Revisão do Estado da Arte Revisão, de forma contínua, de publicações científicas relacionadas com este trabalho

9. Seminário de Andamento Revisão das atividades listadas Apresentação sobre o andamento de tais atividades e pesquisas relacionadas 10. Escrita de Artigos Escrita de artigos relacionados aos métodos, algoritmos e técnicas empregados no trabalho 11. Escrita da Dissertação 12. Defesa da Dissertação

ID Atividade 2014 Jan 2014 Fev 2014 Mar 2014 Abr 2014 Mai 2014 Jun 2014 Jul 2014 Ago 2014 Set 2014 Out 2014 Nov 2014 Dez 2015 Jan 1 Estudo do middleware X X 2 Estudo do sistema multiagentes X X 3 Integração do middleware com sistema multiagente X X 4 Definição de situações de falhas X 5 Desenvolvimento de processos sintetizadores X X X 6 Desenvolvimento de processos decompositores X X X 7 Desenvolvimento de estudo de caso X X 8 Revisão do Estado da Arte X X X X X X X X X X X X 9 Seminário de Andamento X X 10 Escrita de Artigos X X 11 Escrita da Dissertação X X X 12 Defesa da Dissertação X