Robson dos Santos e Silva

Formação complementar

Idiomas

Participação em eventos

Produções bibliográficas

• Silva, Robson ; Mota, Alexandre ; Starr, Rodrigo Rizzi . Formal MDE-Based Tool Development. Advances in Intelligent Systems and Computing. 1ed.: Springer International Publishing, 2014, v. 263, p. 105-125.

• SILVA, R. S. ; Mota, Alexandre ; STARR, R. R. . Creating GUI-based DSL formal tools. In: 14th IEEE International Conference on Information Reuse and Integration, 2013, San Francisco, California, USA. Proceedings of the 2013 IEEE 14 th International Conference on Information Reuse and Integration, 2013. p. 520-527.

• FERREIRA, M. ; SILVA, R. S. ; GUIMARAES, C. ; CARVALHO, J. ; VIEIRA, V. . Um estudo de caso com análise comparativa entre ferramentas de BI livre e proprietaria. In: VI ESCOLA REGIONAL DE BANCO DE DADOS, 2010, Joinville - SC. Anais VI ERBD 2010, 2010.

• DIAS, D. M. ; SILVA, R. S. ; FREITAS, L. ; DURAN, A. . Mecanizando o componente de navegação do IBMs CICS: um experimento do Grande Desafio. In: IX Escola Regional de Computação Bahia - Alagoas - Sergipe, 2009, Ilhéus. Anais da IX ERBASE, 2009.

• SILVA, R. S. ; Mota, Alexandre ; STARR, R. R. . Creating GUI-based DSL formal tools. 2013. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

Projetos de pesquisa

• 2009 - 2009

  Otimização da Multa Global de Continuidade Através de Técnicas de Análises Multivariadas, Descrição: Desenvolver uma metodologia que permita combinar os consumidores em conjuntos que garantam a minimização da multa global relativa aos indices de continuidade, essa metodologia deve resolver o problema da explosão combinatória causada pela quantidade de conjuntos possíveis de criação/combinação e será incorporada ao software soa, desenvolvido no ciclo de 2005. Implementar a metodologia desenvolvida em um software aplicativo. Este desenvolvimento trará os seguintes ganhos: 1 - Aumentar a produtividade da negociação entre ANEEL e COELBA na definição dos indices de continuidade dos conjuntos da COELBA. 2 - Determinar agilidade nos processos de decisão sobre investimentos em conjuntos com multas relativas a indices de continuidade. O principal problema a ser resolvido é a explosão combinatória para encontrar a configuração ótima de conjuntos, não é viável realizar a combinação exaustiva e depois comparar todos os resultados obtidos e escolher aquele que é responsável pela menor multa global. Essa explosão combinatória é conhecida como números de Bell Acredita-se que o uso de algorítmos genéticos possa resolver o problema computacional, porém é preciso garantir que as gerações que surjam não tenham indivíduos invalidos (as restrições de continuidade de área são difíceis de tratar nos modelos conhecidos de cruzamento e evolução). Outros algoritmos de otimização serão investigados, até que se encontre um algorítmo que possa tratar o problema de otimização. Em paralelo será estudada a possibilidade de correlacionar as multas de duração e de frequência de interrupções de maneira que outro indicador seja usado para minimizar a multa global da concessionária, permitindo o uso de algoritmos mais simples ou já conhecidos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Robson dos Santos e Silva - Integrante / Renato José Pino de Araújo - Coordenador / Mariana Torres Strauch - Integrante / André Carvalho Valente - Integrante / Xerxes Pereira - Integrante / Antônio Lucas Neres de Oliveira Barros - Integrante.

• 2007 - 2008

  Utilização de métodos formais no desenvolvimento de um sistema de arquivos verificável para o Padrão POSIX (LINUX)., Descrição: Este projeto endereça este mini desafio e propõe o desenvolvimento formal de um sistema de arquivo verificável baseado em memórias flash, compatível com o padrão POSIX. O desafio aqui é gerar: (i) a especificação formal do comportamento das funcionalidades oferecidas pelo sistema de arquivos; (ii) a lista de suposições inerentes ao hardware escolhido; (iii) e o conjunto invariantes, assertions, e propriedades relativas às estruturas de dados e algoritmos utilizados na implementação do sistema de arquivos. A etapa inicial deste projeto consiste na verificação formal de um micro-kernel que dará suporte ao sistema de arquivos a ser especificado. O micro-kernel que foi verificado é o simple-kernel proposto no livro Formal Refinement for Operating System Kernels (Iain D. Craig), que satisfaz as necessidades especificas deste projeto. Esta iniciativa visa potencializar a participação da UFBA no circuito de Métodos Formais. Com o desenvolvimento desse projeto, a UFBA passa a integrar uma comunidade de instituições de excelência que atuam em Métodos Formais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (3) . , Integrantes: Robson dos Santos e Silva - Integrante / Diego Machado Dias - Integrante / Leo Freitas - Integrante / Adolfo Duran - Coordenador / Aline Maria Santos Andrade - Integrante., Financiador(es): Universidade Federal da Bahia - Bolsa., Número de produções C, T & A: 1

Projetos de desenvolvimento

• 2009 - 2010

  Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), Descrição: O novo modelo do setor elétrico enfatiza a necessidade de contratar antecipadamente, com base na projeção de longo prazo, e as penalidades por sub-contratação e os limites de repasse reforçam a importância de metodologias para gestão de contratos e de uma sistemática de acompanhamento que permita fazer ajustes em tempo hábil. Ressalta-se, também, a importância de analisar o risco embutido em estratégias de contratação alternativas. Nesse contexto, o presente projeto objetivou o desenvolvimento do Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), para permitir o acompanhamento da evolução do mercado de energia elétrica, facilitando a avaliação dos riscos decorrentes de estratégias de contratação de energia alternativas, frente a possíveis cenários de evolução da oferta e da demanda.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Robson dos Santos e Silva - Integrante / Renato José Pino de Araújo - Coordenador / Mariana Torres Strauch - Integrante / Christiane Santana - Integrante / Victor Araújo Valente - Integrante.

• 2009 - 2010

  Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), Descrição: O novo modelo do setor elétrico enfatiza a necessidade de contratar antecipadamente, com base na projeção de longo prazo, e as penalidades por sub-contratação e os limites de repasse reforçam a importância de metodologias para gestão de contratos e de uma sistemática de acompanhamento que permita fazer ajustes em tempo hábil. Ressalta-se, também, a importância de analisar o risco embutido em estratégias de contratação alternativas. Nesse contexto, o presente projeto objetivou o desenvolvimento do Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), para permitir o acompanhamento da evolução do mercado de energia elétrica, facilitando a avaliação dos riscos decorrentes de estratégias de contratação de energia alternativas, frente a possíveis cenários de evolução da oferta e da demanda.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Robson dos Santos e Silva - Integrante / Renato José Pino de Araújo - Coordenador / Mariana Torres Strauch - Integrante / Christiane Santana - Integrante / Victor Araújo Valente - Integrante.

• 2009 - 2010

  Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), Descrição: O novo modelo do setor elétrico enfatiza a necessidade de contratar antecipadamente, com base na projeção de longo prazo, e as penalidades por sub-contratação e os limites de repasse reforçam a importância de metodologias para gestão de contratos e de uma sistemática de acompanhamento que permita fazer ajustes em tempo hábil. Ressalta-se, também, a importância de analisar o risco embutido em estratégias de contratação alternativas. Nesse contexto, o presente projeto objetivou o desenvolvimento do Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), para permitir o acompanhamento da evolução do mercado de energia elétrica, facilitando a avaliação dos riscos decorrentes de estratégias de contratação de energia alternativas, frente a possíveis cenários de evolução da oferta e da demanda.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Robson dos Santos e Silva - Integrante / Renato José Pino de Araújo - Coordenador / Mariana Torres Strauch - Integrante / Christiane Santana - Integrante / Victor Araújo Valente - Integrante.

• 2009 - 2010

  Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), Descrição: O novo modelo do setor elétrico enfatiza a necessidade de contratar antecipadamente, com base na projeção de longo prazo, e as penalidades por sub-contratação e os limites de repasse reforçam a importância de metodologias para gestão de contratos e de uma sistemática de acompanhamento que permita fazer ajustes em tempo hábil. Ressalta-se, também, a importância de analisar o risco embutido em estratégias de contratação alternativas. Nesse contexto, o presente projeto objetivou o desenvolvimento do Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), para permitir o acompanhamento da evolução do mercado de energia elétrica, facilitando a avaliação dos riscos decorrentes de estratégias de contratação de energia alternativas, frente a possíveis cenários de evolução da oferta e da demanda.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Robson dos Santos e Silva - Integrante / Renato José Pino de Araújo - Coordenador / Mariana Torres Strauch - Integrante / Christiane Santana - Integrante / Victor Araújo Valente - Integrante.

• 2009 - 2010

  Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), Descrição: O novo modelo do setor elétrico enfatiza a necessidade de contratar antecipadamente, com base na projeção de longo prazo, e as penalidades por sub-contratação e os limites de repasse reforçam a importância de metodologias para gestão de contratos e de uma sistemática de acompanhamento que permita fazer ajustes em tempo hábil. Ressalta-se, também, a importância de analisar o risco embutido em estratégias de contratação alternativas. Nesse contexto, o presente projeto objetivou o desenvolvimento do Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), para permitir o acompanhamento da evolução do mercado de energia elétrica, facilitando a avaliação dos riscos decorrentes de estratégias de contratação de energia alternativas, frente a possíveis cenários de evolução da oferta e da demanda.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Robson dos Santos e Silva - Integrante / Renato José Pino de Araújo - Coordenador / Mariana Torres Strauch - Integrante / Christiane Santana - Integrante / Victor Araújo Valente - Integrante.

• 2009 - 2010

  Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), Descrição: O novo modelo do setor elétrico enfatiza a necessidade de contratar antecipadamente, com base na projeção de longo prazo, e as penalidades por sub-contratação e os limites de repasse reforçam a importância de metodologias para gestão de contratos e de uma sistemática de acompanhamento que permita fazer ajustes em tempo hábil. Ressalta-se, também, a importância de analisar o risco embutido em estratégias de contratação alternativas. Nesse contexto, o presente projeto objetivou o desenvolvimento do Sistema Integrado de Gestão de Mercado e Análise de Risco para a Cemar (SIGMAR), para permitir o acompanhamento da evolução do mercado de energia elétrica, facilitando a avaliação dos riscos decorrentes de estratégias de contratação de energia alternativas, frente a possíveis cenários de evolução da oferta e da demanda.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Robson dos Santos e Silva - Integrante / Renato José Pino de Araújo - Coordenador / Mariana Torres Strauch - Integrante / Christiane Santana - Integrante / Victor Araújo Valente - Integrante.

Prêmios