Bruno Costa e Silva Nogueira

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• HAHN, F. O. ; Bruno Nogueira ; PINHEIRO, RIAN G. S. . An optimization-based framework for personal scheduling during pandemic events. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (ONLINE) , v. X, p. 1, 2024.

• ROCHA JR, V. ; Jean Araujo ; Ermeson Andrade ; NOGUEIRA, BRUNO COSTA E SILVA . Modeling and Analysis of a Telesurgery Environment Considering a 5G Network. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. X, p. 1, 2024.

• FARIAS, D. ; FARIAS, I. ; Ermeson Andrade ; NOGUEIRA, BRUNO COSTA E SILVA . A modeling-based approach for dependability analysis of a constellation of satellites. Software and Systems Modeling , p. 1, 2024.

• MACHADO, M. ; Bruno Nogueira ; PINHEIRO, RIAN G. S. . An integrated ILS-VND strategy for solving the knapsack problem with forfeits. JOURNAL OF HEURISTICS , p. 1, 2024.

• OLIVEIRA, JOÃO LUIZ ALVES ; AQUINO, ANDRE L.L. ; PINHEIRO, RIAN G.S. ; Nogueira, Bruno . Optimizing public transport system using biased random-key genetic algorithm. APPLIED SOFT COMPUTING , v. 158, p. 111578, 2024.

• ARAUJO, C. G. ; Eduardo Tavares ; Meuse Nogueira ; Nogueira, Bruno . NoSQL-based storage systems: influence of consistency on performance, availability and energy consumption. JOURNAL OF SUPERCOMPUTING , p. 1, 2023.

• JUNIOR, V. ; Jean Araujo ; Ermeson Andrade ; NOGUEIRA, BRUNO COSTA E SILVA . Modeling and Analysis of a Telesurgery Environment Using Stochastic Petri Nets. IEEE Latin America Transactions , v. X, p. 1, 2023.

• VASCONCELOS, F. ; Rian Pinheiro ; Nogueira, Bruno . Performance Evaluation of Urban Traffic Using Simulation: A Case Study in Brazil. IEEE Latin America Transactions , v. X, p. 1, 2023.

• ARAUJO, C. G. ; Eduardo Tavares ; Meuse Nogueira ; Bruno Nogueira ; Paulo Maciel . Performability evaluation of NoSQL-based storage systems. JOURNAL OF SYSTEMS AND SOFTWARE , p. 111885, 2023.

• SILVA, L. G. ; CARDOSO, I. ; BRITO, C. ; NGUYEN, T. A. ; LEE, J. W. ; MIN, D. ; CHOI, E. ; Nogueira, Bruno ; SILVA, F. A. . Urban Advanced Mobility Dependability: A Model-Based Quantification on Vehicular Ad Hoc Networks with Virtual Machine Migration. SENSORS , v. 23, p. 9485, 2023.

• Alfredo Lima ; Bruno Nogueira ; AQUINO, A. ; Rian Pinheiro . A matheuristic approach for the minimum broadcast time problem using a biased random-key genetic algorithm. International Transactions in Operational Research , p. 1, 2022.

• SOUSA SOBRINHO, F. M. ; Gustavo Callou ; LEONARDO, W. S. ; Bruno Nogueira . Multi-Objective Optimization Strategy Applied in Data Centers Electrical Subsystems. IEEE Latin America Transactions , v. X, p. 1, 2022.

• Ermeson Andrade ; Nogueira, Bruno ; FARIAS JUNIOR, I. ; ARAUJO, D. . Performance and Availability Trade-Offs in Fog-Cloud IoT Environments. Journal of Network and Systems Management , v. 29, p. 2, 2021.

• GONCALVES, C. F. ; Nogueira, Bruno ; Gustavo Callou ; Ermeson Andrade . Avaliação de Desempenho, Consumo de Energia e Custo para Ambientes Baseados em Contêineres e Máquinas Virtuais. REVISTA BRASILEIRA DE COMPUTAÇÃO APLICADA , v. 13, p. 1, 2021.

• Almir Guimarães ; Paulo Maciel ; MATIAS, R. ; Bruno Silva ; Bruno Nogueira . An analytical approach for optimization of computer network design considering the integration of the communication and power infrastructures. International Journal of Network Management , p. 1, 2021.

• ARAUJO, C. G. ; NOGUEIRA, BRUNO COSTA E SILVA ; Meuse Nogueira ; Eduardo Tavares . Cloud storage availability and performance assessment: a study based on NoSQL DBMS. JOURNAL OF SUPERCOMPUTING , p. 1, 2021.

• ALVES, D. ; OLIVEIRA, D. ; Ermeson Andrade ; Bruno Nogueira . GPU-BRKGA: A GPU accelerated library for optimization using the biased random-key genetic algorithm. IEEE Latin America Transactions , v. X, p. 1, 2021.

• NASCIMENTO, ANDERSON ; Eduardo Tavares ; ALVES, GABRIEL ; TEIXEIRA, E. S. G. ; Bruno Nogueira . Performability evaluation of transport modes for cloud-based inbound logistics: a study based on coffee industry. INTERNATIONAL JOURNAL OF MANUFACTURING TECHNOLOGY AND MANAGEMENT , v. 34, p. 126, 2020.

• Nogueira, Bruno ; PINHEIRO, RIAN G. S. . A GPU based local search algorithm for the unweighted and weighted maximum s-plex problems. ANNALS OF OPERATIONS RESEARCH , v. 284, p. 367-400, 2020.

• Almir Guimarães ; Dênis Rodrigues ; Bruno Nogueira . Performability Evaluation of Voice Services in Converged Networks. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 27, p. 11-19, 2020.

• Nogueira, Bruno ; Tavares, Eduardo ; Maciel, Paulo . Iterated local search with tabu search for the weighted vertex coloring problem. COMPUTERS & OPERATIONS RESEARCH , v. 125, p. 105087, 2020.

• Nogueira, Bruno ; PINHEIRO, RIAN G. S. ; Tavares, Eduardo . Iterated local search for the generalized independent set problem. Optimization Letters , v. 15, p. 1345-1369, 2020.

• Nogueira, Bruno ; BARBOZA, ERICK . A FPGA-based accelerated architecture for the Continuous GRASP. COMPUTING , v. 103, p. 1333-1352, 2020.

• Andrade, Ermeson ; Nogueira, Bruno ; Callou, Gustavo ; ALVES, GABRIEL . Dependability analysis of a cyber-physical system for smart environments. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 31, p. e4739, 2019.

• Nogueira, Bruno ; Andrade, Ermeson ; Tavares, Eduardo . Power-aware scheduling of real-time applications onto MPSoC platforms with multi-bank shared memory. MICROPROCESSORS AND MICROSYSTEMS , v. 67, p. 93-102, 2019.

• Nogueira, Bruno ; Tavares, Eduardo ; ARAUJO, JEAN ; Callou, Gustavo . Accelerating continuous GRASP with a GPU. JOURNAL OF SUPERCOMPUTING , v. 75, p. 5741-5759, 2019.

• OLIVEIRA, J. ; Eduardo Antônio Guimarães Tavares ; TEIXEIRA, E. S. G. ; Bruno Nogueira . Video Conferencing Evaluation Considering Scalable Video Coding and SDN Network. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 25, p. 38, 2018.

• Nogueira, Bruno ; PINHEIRO, RIAN G. S. ; SUBRAMANIAN, ANAND . A hybrid iterated local search heuristic for the maximum weight independent set problem. Optimization Letters , v. 12, p. 567-583, 2018.

• Andrade, Ermeson ; Nogueira, Bruno . Performability Evaluation of a Cloud-Based Disaster Recovery Solution for IT Environments. Journal of Grid Computing , v. 17, p. 603-621, 2018.

• LIRA, VICTOR ; Tavares, Eduardo ; OLIVEIRA, MEUSE ; SOUSA, ERICA ; Nogueira, Bruno . Virtual network mapping considering energy consumption and availability. COMPUTING , v. 101, p. 937-967, 2018.

• Andrade, Ermeson ; Nogueira, Bruno . Dependability evaluation of a disaster recovery solution for IoT infrastructures. JOURNAL OF SUPERCOMPUTING , v. 76, p. 1828-1849, 2018.

• Nogueira, Bruno ; Maciel, Paulo ; Tavares, Eduardo ; SILVA, RICARDO M. A. ; Andrade, Ermeson . Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation. SOFT COMPUTING , v. 21, p. 4141-4158, 2017.

• Andrade, Ermeson ; Nogueira, Bruno ; MATOS, RUBENS ; Callou, Gustavo ; Maciel, Paulo . Availability modeling and analysis of a disaster-recovery-as-a-service solution. COMPUTING (WIEN. INTERNET) , v. 99, p. 929-954, 2017.

• Nogueira, Bruno ; PINHEIRO, RIAN G.S. . A CPU-GPU Local Search Heuristic for the Maximum Weight Clique Problem on Massive Graphs. COMPUTERS & OPERATIONS RESEARCH , v. 90, p. 232-248, 2017.

• TAVARES, EDUARDO ANTONIO GUIMARAES ; MELO, ALEXSANDRO ; MARINHO, MARCELO ; NOGUEIRA, BRUNO COSTA E SILVA ; SOUSA, ERICA . Dependability approach for evaluating software development risks. IET Software (Print) , v. 9, p. 17-27, 2015.

• MELO, ALEXSANDRO ; Tavares, Eduardo ; SOUSA, ERICA ; Nogueira, Bruno ; Maciel, Paulo . A performability approach for evaluating the impact of risks in software development. International Journal of Software Engineering, Technology and Applications , v. 1, p. 261, 2015.

• Bruno Nogueira ; Paulo Maciel ; Eduardo Tavares ; Ermeson Andrade ; Ricardo Massa ; Gustavo Callou ; Rodolfo Ferraz . A Formal Model for Performance and Energy Evaluation of Embedded Systems. EURASIP Journal on Embedded Systems , v. 2011, p. 1-12, 2011.

• Tavares, E. ; Maciel, P. ; Dallegrave, P. ; Silva, B. ; Falcão, T. ; Bruno Nogueira ; Callou, G. ; Cunha, P. . Model-driven software synthesis for hard real-time applications with energy constraints. Design Automation for Embedded Systems , p. 1-40, 2011.

• Bruno Nogueira ; Paulo Maciel ; Gustavo Callou ; Ermeson Carneiro ; Eduardo Tavares . ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados. REVISTA DE INFORMÁTICA TEÓRICA E APLICADA: RITA , v. 16, p. 25-44, 2010.

• Bruno Nogueira ; Ermeson Andrade ; Paulo Maciel ; Tiago Falcão ; Gustavo Callou . Performance and energy consumption estimation for commercial off-the-shelf component system design. Innovations in Systems and Software Engineering (Print) , v. 6, p. 107-114, 2010.

• Bruno Nogueira ; Ermeson Andrade ; Paulo Maciel ; Carlos Araujo ; Gustavo Callou . A COTS-based approach for estimating performance and energy consumption of embedded real-time systems. Information Processing Letters (Print) , v. 110, p. 525-534, 2010.

• Callou, Gustavo ; Maciel, Paulo ; Tavares, Eduardo ; Andrade, Ermeson ; Bruno Nogueira ; Araujo, Carlos . Energy consumption and execution time estimation of embedded system applications. Microprocessors and Microsystems , p. 1-15, 2010.

• Bruno Nogueira ; Gustavo Callou ; Paulo Maciel ; Ermeson Andrade ; Eduardo Tavares . Estimation of energy consumption and execution time in early phases of design lifecycle: an application to biomedical systems. Electronics Letters , v. 44, p. 1343, 2008.

• Gustavo Callou ; Paulo Maciel ; Ermeson Andrade ; Bruno Nogueira ; Eduardo Tavares ; Carlos Araujo . Estimating Energy Consumption and Execution Time of Embedded System Applications. In: Morena J. Acosta. (Org.). Advances in Energy Research. : Nova Science Publishers, 2010, v. 1, p. -.

• Andrade, Ermeson ; Maciel, Paulo ; Callou, Gustavo ; Nogueira, Bruno ; Araujo, Carlos . An Approach Based in Petri Net for Requirement Analysis. In: Pawel Pawlewski. (Org.). Petri Nets Applications. 1ed.: InTech, 2010, v. , p. 653-672.

• Alfredo Lima ; PINHEIRO, RIAN G. S. ; NOGUEIRA, BRUNO COSTA E SILVA ; OCHI, L. S. . Método Heurístico e Exato para o Minimum Broadcast Center. In: Simpósio Brasileiro de Pesquisa Operacional (SBPO), 2024. Simpósio Brasileiro de Pesquisa Operacional (SBPO), 2024.

• CASSIMIRO, D. ; PINHEIRO, RIAN G. S. ; NEPOMUCENO, T. ; Bruno Nogueira . Avaliação da eficiência dos centros integrados de segurança pública de Alagoas: Uma aplicação da análise envoltória de dados. In: Simpósio Brasileiro de Pesquisa Operacional (SBPO), 2024. Simpósio Brasileiro de Pesquisa Operacional, 2024.

• ROCHA, C. ; Alfredo Lima ; Rian Pinheiro ; Bruno Nogueira . Formulação matemática para o problema de orientação com seleção de hotéis e janelas de tempo. In: Simpósio Brasileiro de Pesquisa Operacional, 2023. LV Simpósio Brasileiro de Pesquisa Operacional, 2023.

• SOBRINHO, F. ; Gustavo Callou ; LEONARDO, W. ; Bruno Nogueira . Uma Estratégia de Otimização Baseada no MOPSO Aplicada em Subsistemas Elétricos de Data Centers. In: WPerformance, 2022. CSBC 2022 - WPerformance 2022, 2022.

• Alfredo Lima ; Bruno Nogueira ; OCHI, L. S. ; Rian Pinheiro . Um modelo de programação matemática para o problema Weighted Minimum. Broadcast Time. In: WBCI, 2022. CSBC 2022 - WBCI 2022, 2022.

• SANTOS, MARIO ; Nogueira, Bruno ; PINHEIRO, RIAN G. S. ; GUIMARAES, ALMIR ; LIMA, ALEXANDRE ; Andrade, Ermeson . A comparative study of GPU metaheuristics for data clustering. In: 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2021, Melbourne. 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2021. p. 1387.

• LIMA, ALEXANDRE ; LIMA, ALFREDO ; Nogueira, Bruno ; SANTOS, MARIO ; PINHEIRO, RIAN G. S. . A Multi-population BRKGA for the Automatic Clustering Problem. In: 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2021, Melbourne. 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2021. p. 368.

• Alfredo Lima ; Rian Pinheiro ; Bruno Nogueira . Algoritmo Genético de Chaves Aleatórias Viciadas para o Problema do Tempo de Transmissão Mínimo. In: Simpósio Brasileiro de Pesquisa Operacional, 2020. Simpósio Brasileiro de Pesquisa Operacional, 2020.

• MORAES, THAYS ; Nogueira, Bruno ; LIRA, VICTOR ; Tavares, Eduardo . Performance Comparison of IoT Communication Protocols. In: 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), 2019, Bari. 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), 2019. p. 3249.

• Silva, B. ; Tavares, E. ; Maciel, P. ; NOGUEIRA, B. ; OLIVEIRA, J. ; DAMASO, A. ; ROSA, N. . AMALGHMA -An environment for measuring execution time and energy consumption in embedded systems. In: 2014 IEEE International Conference on Systems, Man and Cybernetics SMC, 2014, San Diego. 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2014. p. 3364.

• NASCIMENTO, ANDERSON ; ALVES, GABRIEL ; SOUSA, ERICA ; Nogueira, Bruno ; Tavares, Eduardo . Transport mode assessment for inbound logistics: A study based on coffee industry. In: 2014 IEEE International Conference on Systems, Man and Cybernetics SMC, 2014, San Diego. 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2014. p. 1318.

• Nogueira, Bruno ; Maciel, Paulo ; MARTINS, RICARDO ; Tavares, Eduardo . A simulation optimization approach for design space exploration of soft real-time embedded systems. In: 2013 IEEE Congress on Evolutionary Computation (CEC), 2013, Cancun. 2013 IEEE Congress on Evolutionary Computation, 2013. p. 2773.

• MELO, A. ; Tavares, E. ; MARINHO, M. ; SOUSA, E. ; NOGUEIRA, B. ; Maciel, P. . Development Risk Assessment in Software Projects Using Dependability Models. In: 2013 IEEE 16th International Conference on Computational Science and Engineering (CSE), 2013, Sydney. 2013 IEEE 16th International Conference on Computational Science and Engineering. p. 260.

• ANDRADE, ERMESON C. ; ALVES, MARCELO ; Nogueira, Bruno ; Maciel, Paulo . Calau: An environment for modeling and analyzing embedded real-time systems. In: 2012 IEEE International Conference on Systems, Man and Cybernetics SMC, 2012, Seoul. 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2012. p. 3135-3140.

• Tavares, Eduardo ; Maciel, Paulo ; SOUSA, ERICA ; Nogueira, Bruno ; AMORIM, LEONARDO ; LIRA, VICTOR . A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance. In: 2012 IEEE International Conference on Systems, Man and Cybernetics SMC, 2012, Seoul. 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2012. p. 1207-1212.

• Gustavo Callou ; Paulo Maciel ; Ermeson Andrade ; Bruno Nogueira ; Eduardo Tavares ; Meuse Nogueira . A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption. In: Power And Timing Modeling, Optimization and Simulation (PATMOS), 2009, Lisbon. Proceedings of PATMOS 2008, 2009. p. 379-388.

• Andrade, Ermeson ; Maciel, Paulo ; Callou, Gustavo ; Nogueira, Bruno ; ARAÚJO, CARLOS . Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In: the 2009 ACM symposium, 2009, Honolulu. Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09, 2009. p. 377-381.

• Andrade, Ermeson ; Maciel, Paulo ; Callou, Gustavo ; Nogueira, Bruno . A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints. In: 2009 Third International Conference on Digital Society (ICDS), 2009, Cancun. 2009 Third International Conference on Digital Society, 2009. p. 266-271.

• Tavares, Eduardo ; DALLEGRAVE, PEDRO ; SILVA, BRUNO ; Callou, Gustavo ; Nogueira, Bruno ; Maciel, Paulo . A hybrid DVS scheduling approach for hard real-time systems. In: 2009 IEEE International Conference on Systems, Man and Cybernetics SMC, 2009, San Antonio. 2009 IEEE International Conference on Systems, Man and Cybernetics, 2009. p. 2848.

• NOGUEIRA, BRUNO COSTA E SILVA ; MACIEL, PAULO ROMERO MARTINS ; TAVARES, EDUARDO ANTONIO GUIMARAES ; CARNEIRO, ERMESON ; Callou, Gustavo ; LIMA, RICARDO MASSA OLIVEIRA ; FERRAZ, RODOLFO ; MONTENEGRO, BRUNO . Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model. In: 2009 21st International Symposium on Computer Architecture and High Performance Computing (SBACPAD), 2009, Sao Paolo. 2009 21st International Symposium on Computer Architecture and High Performance Computing, 2009. p. 135-142.

• Gustavo Callou ; Paulo Maciel ; Ermeson Carneiro ; Bruno Nogueira ; Eduardo Tavares . A Coloured Petri Net Based Approach For Estimating Execution Time And Energy Consumption In Embedded Systems. In: 21st Symposium on Integrated Circuits and Systems Design - SBCCI 2008, 2008, Gramado. Proceedings of the 21st annual symposium on Integrated circuits and system design. New York: ACM, 2008. p. 134-139.

• CARNEIRO, ERMESON ; Maciel, Paulo ; Callou, Gustavo ; Tavares, Eduardo ; Nogueira, Bruno . Mapping SysML State Machine Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. In: 2008 International Conference on Advances in Electronics and Microelectronics (ENICS), 2008, Valencia. 2008 International Conference on Advances in Electronics and Micro-electronics, 2008. p. 1-6.

• Andrade, Ermeson ; Maciel, Paulo ; Callou, Gustavo ; Nogueira, Bruno . Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints. In: 2008 International Conference on Computational Intelligence for Modelling Control & Automation, 2008, Vienna. 2008 International Conference on Computational Intelligence for Modelling Control & Automation, 2008. p. 615-620.

• Bruno Nogueira ; Paulo Maciel . Um Framework Para Estimativa de Desempenho e Consumo de Energia de Softwares para Sistemas Embarcados. In: XVI Congresso de Iniciação Científica da UFPE (CONIC), 2008, Recife. Anais do XVI CONIC, 2008.

Outras produções

Projetos de pesquisa

• 2023 - Atual

  Sistemas de transportes inteligentes orientados à dados: integração de dados, inferência e aplicações de tomadas de decisão, Descrição: Considerando a expertise dessas empresas, identificamos que o Big Data que compõe um (STI) é composto por diferentes elementos e dados heterogêneos. Dessa forma, percebemos que o uso combinado desses dados é uma demanda em qualquer empresa ou entidade do setor, gerando lacunas nos STIs. É necessário desenvolver ferramentas para o monitoramento correto, controle e uso inteligente desses dados de forma integrada e totalmente distribuída(problema). A utilização de um Data Lake lógico, que retira a exigência da cópia dos dados e insere uma camada de abstração, soluciona os problemas elencados. Assim, as ferramentas em STIs podem ser utilizadas de forma direta e transparente(hipótese). Para validar as soluções, utilizaremos os dados relacionados à legislação de trânsito, registros de acidentes, informação de infração e dados coletados sobre o trânsito, condutores e veículos. Os dados serão fornecidos pelas empresas parceiras, ou na sua ausência, utilizaremos dados públicos. Nossa metodologia contemplará a caracterização das aplicações, tratamento de dados faltantes e/ou incorretos por meio de métodos estatísticos, projeto e implementação de novas técnicas, avaliação e concepção das soluções em cenários simulados e estudos de casos reais. Ademais, integrada à solução de Data Lake, teremos um camada inteligente que proverá serviços de processamento de linguagem natural, classificação, caracterização e inferência sobre dados relacionados à STIs. Permitindo que essa camada possa ser utilizada por modelos de otimização combinatória e soluções de classificação e predição em STIs.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Bruno Costa e Silva Nogueira - Integrante / Rian Pinheiro - Integrante / André Luiz Lins de Aquino - Coordenador / Fabiane da Silva Queiroz - Integrante / Raquel da Silva Cabral - Integrante / Eliana Silva de Almeida - Integrante / Osvaldo Anibal Rosso - Integrante / Heitor Soares Ramos Filho - Integrante / Antônio Alfredo Ferreira Loureiro - Integrante / Denis Lima do Rosário - Integrante / Eduardo Coelho Cerqueira - Integrante / Givanildo Lima - Integrante / Geymerson dos Santos Ramos - Integrante / Danilo Fernandes Costa - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2023 - Atual

  Resolvendo problemas de otimização usando arquiteturas paralelas de alto desempenho, Descrição: Otimização é o processo de achar a melhor solução considerando as circunstâncias dadas. Muitos problemas da ciência, governo e industria podem ser convenientemente modelados como problemas de otimização. Frequentemente, os algoritmos para resolver problemas de otimização são lentos, assim executar estes algoritmos em plataformas paralelas e de alto desempenho é uma alternativa interessante para acelerar o processo de otimização. No entanto, nem todas as partes de um algoritmo podem ser paralelizadas e a complexidade de paralelização depende, dentre outras coisas, do algoritmo, da arquitetura paralela, e dos dados de entrada. Obter a melhor implementação paralela é desafio por si só. Este projeto foca em resolver problemas de otimização de larga escala considerando as seguintes arquiteturas paralelas: processadores multicore, field programmable gate array (FPGAs), e graphics processing units (GPUs). As soluções para os problemas de otimização analisados neste projeto, além de altamente lucrativas, são fundamentais para o crescimento da competitividade do país em contexto não apenas nacional mas principalmente internacional.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Bruno Costa e Silva Nogueira - Coordenador / Ermeson Andrade - Integrante / Rian Pinheiro - Integrante / Eduardo Antônio Guimarães Tavares - Integrante / Erick Barboza - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.

• 2021 - 2022

  PBP Loggi, Projeto certificado pela empresa LOGGI TECNOLOGIA LTDA. em 22/04/2021., Descrição: Neste projeto, estamos particularmente interessados em atacar os problemas demandados pela empresa brasileira de logística de entrega Loggi. Da mesma maneira como as empresas Uber e Rappi, a Loggi é uma empresa baseada no modelo de economia compartilhada. Motoristas independentes usam a plataforma {\it online} da Loggi para aceitar e fazer entregas usando seus próprios veículos \cite{fonseca2020multi}. Um dos problemas levantados pela empresa se chama Last-Mile Incremental Capacitated Vehicle Routing Problem (Last-Mile ICVRP), que é um caso particular do problema SD-CVRP (Stochastic and Dynamic Capacitated Vehicle Routing Problems). O problema é denominado Last-Mile por caracterizar as entregas entre o centro de expedição e o destinatário final.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Bruno Costa e Silva Nogueira - Coordenador / PINHEIRO, RIAN G. S. - Integrante., Financiador(es): Fundação de Desenvolvimento da Pesquisa - Bolsa.

• 2019 - Atual

  Avaliação e Modelagem de Sistemas Computacionais para Armazenamento de Dados, Projeto certificado pelo(a) coordenador(a) Eduardo Antonio Guimaraes Tavares em 05/06/2019., Descrição: Serviços computacionais atuais (ex: redes sociais) guardam, produzem e disponibilizam uma imensa quantidade de dados, necessitando de infraestruturas apropriadas para lidarem com a grande demanda por armazenamento e processamento. Como consequência, pesquisas têm sido realizadas para aprimorar o dispositivo de hardware de armazenamento, o software de gerenciamento e as técnicas de redundância de dados. As melhorias precisam ser avaliadas e as investigações podem envolver diversas combinações de fatores, de tal forma que pode ser custoso (e.g., tempo e recurso financeiro) experimentações somente em sistemas em produção ou protótipos. Assim, métodos formais são de grande importância, pois permitem descrições matemáticas para representação do comportamento do sistema e a possibilidade de verificação e análise de propriedades quantitativas/qualitativas. As respectivas extensões estocásticas adicionam o poder das técnicas de estatística e probabilidade na avaliação dos modelos. Esta proposta contempla a concepção de técnicas, construção de modelos estocásticos e desenvolvimento de ferramentas para avaliação de desempenho, confiabilidade e disponibilidade de sistemas computacionais de armazenamento de dados. Ademais, esta pesquisa engloba a investigação de dispositivos de hardware, software, mecanismos de redundância e infraestrutura de comunicação.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Bruno Costa e Silva Nogueira - Integrante / Eduardo Tavares - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2019 - Atual

  Modelagem e Análise de Sistemas Ciber-Físicos Resilientes (N. processo 406263/2018-3), Projeto certificado pelo(a) coordenador(a) Ermeson Carneiro de Andrade em 05/06/2019., Descrição: Descrição: Os Sistemas Ciber-Físicos (CPSs) estão em todas as partes, de veículos semi-autônomos a dispositivos portáteis. Esses sistemas são caracterizados pela interação estreita entre elementos digitais (a parte ciber) e elementos físicos (a parte física). Assim como a Internet mudou a forma como as pessoas lidam com as informações, os CPSs estão transformando a maneira como interagimos com o mundo físico. No entanto, questões relacionadas à resiliência, desempenho e segurança dos sistemas ciber-físicos desempenham um grande papel na aceitação e no uso desses sistemas hoje e no futuro. Apesar de tais questões não serem novas, os avanços tecnológicos em detecção, computação, atuação e rede dos CPSs fazem com que seja necessário desenvolver novas abordagens para proteger esses sistemas contra consequências indesejadas. Novas ameaças continuarão sendo exploradas e ataques cibernéticos continuarão a surgir, assim como falhas dos CPSs continuarão a acontecer, seja devido às falhas de projeto ou erros administrativos. Desta forma, é necessário desenvolver novas abordagens que maximizem o desempenho e a resiliência através da criação de sistemas ciber-físicos dependáveis e seguros. O projeto proposto endereça esses importantes e novos desafios, desenvolvendo tecnologias (modelos, técnicas e ferramentas) para auxiliar os projetistas e desenvolvedores de CPSs a projetar, analisar e otimizar sistemas ciberfísicos resilientes. O projeto irá trazer impactos significativos para o mercado dos CPSs, fornecendo tecnologias para reduzir o tempo de desenvolvimento e o custo de operacionalidade de tais sistemas, além de protegê-los contra falhas não intencionais ou ataques malintencionados.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Bruno Costa e Silva Nogueira - Integrante / Ermeson Andrade - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2019 - Atual

  Quantificando o Impacto da Dependabilidade no Desempenho, na Sustentabilidade e no Custo das Infraestruturas para Computação nas Nuvens: Uma estratégia baseada em modelos, Descrição: Um dos principais objetivos desse projeto é a proposição de um conjunto de modelos para a quantificação do impacto da dependabilidade no desempenho, consumo energético, e custo das infraestruturas de computação nas nuvens. Técnicas de medição serão adotadas para realizar a coleta de dados dos experimentos realizados tanto em sistemas reais já implantados e em produção como em outros criados em nosso laboratório para experimentos. Além disso, uma estratégia de modelagem hierárquica será adotada para levar em consideração as vantagens das redes de Petri estocásticas e coloridas, dos diagramas de blocos de confiabilidade, de modelos de fluxo de energia, de cadeias de Markov, e das árvores de falha. Além disso, estratégias para otimizar as métricas de interesse também serão estudadas a fim de permitir a melhora dos resultados analisados e obtidos através dos modelos. É esperado que os resultados gerados a partir da metodologia proposta, que irá fazer uso de forma integrada de estratégias de monitoramento, modelagem e estratégias de otimização, consiga reduzir o impacto ambiental, aumentar a dependabilidade, o desempenho e reduzir o custo operacional dos sistemas de computação nas nuvens.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Bruno Costa e Silva Nogueira - Integrante / Gustavo Callou - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2013 - 2015

  Modelagem Formal de Sistemas para Avaliação de Performabilidade (N. processo 471019/2013-5), Descrição: Este projeto propõe o desenvolvimento de técnicas, modelos e ferramentas que permitam a avaliação de dependabilidade e desempenho de forma conjunta para sistemas de eventos discretos (DES), viabilizando, assim, a avaliação de performabilidade. Utilizando os mecanismos a serem desenvolvidos, os projetistas terão uma melhor percepção das modificações a serem realizadas em um sistema existente ou mesmo na construção de um novo. O contexto do projeto englobará sistemas de tempo real, cloud computing, virtualização de redes de computadores e análise de riscos em projetos de desenvolvimento de softwares.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Bruno Costa e Silva Nogueira - Integrante / Paulo Maciel - Integrante / Eduardo Tavares - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2010 - 2011

  MASED - Modelagem e Avaliação de Sistemas de Eventos Discretos (N. processo: 474354/2009-1), Descrição: A rápida evolução dos sistemas computacionais, comunicações e tecnologia de sensoriamento têm proporcionado o desenvolvimento de sistemas dinâmicos de alta complexidade e valor agregado. Os exemplos estão em nosso entorno, ao nosso alcance na vida cotidiana: computadores pessoais; redes de comunicações; sistemas computacionais embarcados dos mais diversos; sistemas de manufatura; monitoração avançada de automóveis e edificações, sistemas distribuídos, data centers, call centers etc. Parte significativa das atividades destes sistemas é gerida por um conjunto de regras operacionais sujeitas a eventos discretos que ocorrem de maneira assíncrona. Estes eventos podem ser controlados, como por exemplos a digitação de comandos em um teclado de um telefone celular, ou não a ocorrência de uma falha ou perda de um pacote nos sistemas de comunicação. Sistemas com estas características, integrantes da classe de sistemas dinâmicos, são classificados com Sistemas de Eventos Discretos (Discrete Event Systems - DES). O estudo dos DES é uma tarefa complexa que envolve conhecimento de controle; modelagem funcional, análise e verificação de propriedades qualitativas; modelagem e avaliação temporal determinística e estocástica; estatística etc. Este projeto de pesquisa pode ser delineado em duas frentes de estudo. A primeira frente de trabalho trata sobre modelagem estocástica, avaliação de desempenho e dependabilidade de ambientes servidores, data centers, call centers, cadeias de suprimentos e sistemas de comunicação. Mais particularmente, neste ramo de aplicações, os trabalhos concernem o estudo e desenvolvimento de modelos e procedimentos e ferramentas de avaliação de desempenho e dependabilidade para o planejamento de capacidade. A segunda frente de estudo é voltada para a modelagem, desenvolvimento e avaliação de sistemas embarcados, envolvendo a concepção de mecanismos de escalonamento de aplicações de tempo real e a respectiva síntese do software; técnicas de modelagem.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (18) Doutorado: (6) . , Integrantes: Bruno Costa e Silva Nogueira - Integrante / Paulo Maciel - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2008 - 2009

  MASED - Modelagem e Avaliação de Sistemas de Eventos Discretos (N. processo: 476545/2007-2), Descrição: O principal objetivo deste projeto de pesquisa é o desenvolvimento e aplicação de um conhecimento, modelos, métodos e procedimentos objetivando o estudo de aspectos quantitativos, mais particularmente aqueles com implicações temporais, aos sistemas de eventos discretos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (11) / Doutorado: (3) . , Integrantes: Bruno Costa e Silva Nogueira - Integrante / Paulo Maciel - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

Prêmios