Pesquisa


A Coordenadoria de Pesquisa visa supervisionar, orientar, gerir e fomentar melhoria da qualidade de pesquisa e formular discussões acerca de novas produções e competências, bem como a possível divulgação e partilha desses avanços com empresas e comunidades científicas.

Coordenador de Pesquisa no Campus da UFC em Quixadá: professor Arthur Callado.

Grupos de Pesquisa

  • LEST – Laboratory for Embedded Systems and Telecommunications –  grupo de pesquisa do Campus da UFC em Quixadá e relacionado ao ligado ao Programa de Pós-graduação em Computação do Campus da UFC em Quixadá. Liderado pelos professores Arthur Callado e Elvis Stancanelli;
  • Marmota Factory – Grupo de pesquisa do Campus e ligado ao Programa de Pós-graduação em Computação do Campus da UFC em Quixadá. Liderado pelos professores Arthur Callado e Paulyne Jucá;
  • LOCOMÔ – Grupo de Pesquisa em Tecnologias Digitais e Espacialidade, do Campus da UFC em Quixadá. Liderado pelo docente Paulo Victor Barbosa;
  • LICCA – Laboratório de Investigação em Corpo, Comunicação e Arte. É do Instituto de Cultura e Arte da UFC, mas o vice-líder é o professor João Vilnei e;
  • Ibituruna – Grupo de pesquisa do Instituto UFC Virtual e ligado ao Programa de Pós-graduação em Computação do Campus da UFC em Quixadá. É liderado por Gabriel Antoine Louis Paillard e pelo Emanuel Coutinho.

Projetos de Pesquisa

Em andamento

Governo Digital do Ceará

O objetivo geral do projeto é realizar pesquisas científicas e tecnológicas visando o desenvolvimento de soluções para a construção de uma plataforma de governo digital para permitir o desenvolvimento de serviços digitais de forma ágil, transparente, eficiente, sustentável, fácil de usar e alinhada com os princípios do serviço público que atenda às necessidades dos cidadãos e dos servidores públicos.

Coordenador: Davi Romero de Vasconcelos

Início: 03/08/2020 | Término: 31/01/2023

 

Plataforma Cidadã do Governo do Ceará

A agenda 2030 das Nações Unidas define 17 objetivos para o Desenvolvimento Sustentável (ODS) para orientar governos, sociedade civil, setor privado e outras partes interessadas em seus esforços para erradicar a pobreza e promover um mundo melhor para todos. Dentre esses objetivos, esta agenda ressalta a disseminação das Tecnologias da Informação e Comunicação (TICs) e a interconexão global como tendo grande potencial para acelerar o progresso humano, reduzir a brecha digital e desenvolver sociedades do conhecimento. Os governos de todo o mundo estão cientes do poder das TICs e do governo digital para o avanço e a transformação de instituições públicas, e o cenário do setor público de maneira mais ampla, e suas capacidades de prestação de serviços. O governo digital pode desempenhar um papel na criação de instituições mais eficazes, acessíveis e equitativas. Diante deste cenário, este projeto visa realizar o acompanhamento científico e tecnológico, além da governança, de dois projetos estruturantes intitulados “Governo Digital do Estado do Ceará” e “Big Data Ceará”, ambos financiados pela FUNCAP.

Coordenador: Régis Pires Magalhães

Início: 01/08/2020 | Término: 31/07/2023

 

Estudo das propriedades estruturais e vibracionais de materiais inorgânicos sob diversas condições termodinâmicas

O presente projeto consiste na síntese e caracterização de cristais e nanoestruturas cristalinas utilizando como modelo os materiais molibidatos e tungstatos. O plano de trabalho também consiste em realizar um estudo experimental das propriedades vibracionais e estruturais dos cristais de molibidatos e tungstatos e das nanoestruturas sobre a influência da temperatura e pressão. Além disso, aplicar a técnica de análise de componentes principais para visualizar o pontos de transição de fase a partir da mudança de intensidade.

Coordenador: Antônio Joel Ramiro de Castro

Início: 15/08/2020 | Término: 31/07/2021

 

Uma proposta de modelagem computacional para correção de transientes temporais em amplificadores ópticos

Simular o ganho de controle em amplificadores ópticos utilizando modelagem computacional. Além dissso, controlar características na resposta simulada e transitória de amplificadores ópticos EDFA utilizando um microcontrolador NXP/Freescale KL25Z para o problema de ganho automático em supressão de efeitos temporais aplicados a redes WDM.

Coordenador: Antônio Joel Ramiro de Castro

Início: 15/07/2020 | Término: 31/07/2021

 

XPMQuality : Through the quality improvement cross-platform mobile apps [Doutorado]

During last ten years, the number of smartphones and mobile applications has been constantly growing. Android, iOS and Windows Mobile are three mobile platforms that cover almost all smartphones in the world in 2017. Developing a mobile app involves first to choose the platforms the app will run, and then to develop specific solutions (i.e., native apps) for each chosen platform using platform-related toolkits such as Android SDK. A cross-platform mobile application is an app that runs on two or more mobile platforms. Several frameworks have been proposed to simplify the development of cross-platform mobile applications and to reduce development and maintenance costs. They are called cross-platform mobile app development frameworks. However, to our knowledge, the life-cycle and the quality of cross-platforms mobile applications built using those frameworks have not been studied in depth. Our main goal is to first study the processes of development and maintenance of mobile applications built using cross-platform mobile app development frameworks, focusing particularly on the bug-fixing activity. Then, we aim at defining tools for automated repairing bugs from cross-platform mobile applications.

Coordenador: Bruno Góis Mateus

Início: 01/12/2017 | Término: 30/11/2020

 

Plataforma Multibiométrica e Monitoramento Inteligente

O objetivo geral do projeto é desenvolver tecnologias para: (i) solução IoT para monitoramento e uso eficiente do consumo de energia em campus/edifício inteligente. (ii) Implantação de uma plataforma de computação em nuvem que facilite a integração entre os nós IoT e as aplicações de gerência do campus/edifício. Este projeto é relevante para o Campus de Quixadá, uma vez que permitirá que alunos e professores se engajem na pesquisa e tenham como resultados publicações científicas além de um protótipo que ajudará na gestão do consumo eficiente de energia. O projeto também prevê duas bolsas de pesquisa para alunos do Campus de Quixadá.

Coordenador: Michel Sales Bonfim

Início: 01/03/2020 | Término: 31/12/2020

 

Processo de Engenharia de Requisitos de Segurança para Sistemas Crı́ticos

Projeto de pesquisa submetido e aprovado para o curso de doutorado em Ciências da Computação da UFPE.

Coordenador: Camilo Camilo Almendra

Início: 01/03/2017 | Término: 28/02/2021

 

Implementação de assinaturas digitais pós-quânticas baseadas em prova de conhecimento zero

Algoritmos simétricos têm sido usados na construção de assinaturas digitais desde os anos 70 com as assinaturas únicas de Lamport; no entanto, esse tipo de esquema foi deixado de lado por conta do tamanho e da eficiência da assinatura não serem aceitáveis quando comparados aos esquemas baseados no problema do logaritmo discreto e na fatoração de números inteiros grandes. Em 1994, Shor publicou um algoritmo quântico de tempo polinomial para fatorar números inteiros grandes e calcular o logaritmo discreto. Esse algoritmo, em um computador quântico suficientemente poderoso, pode quebrar quase toda criptografia assimétrica usada na prática atualmente. Entre os esquemas de assinaturas digitais baseadas em primitivas simétricas, alguns esquemas usam uma prova de conhecimento zero não interativa construída a partir de primitivas simétricas, esses esquemas são recentes quando comparados a outros esquemas pós-quânticos e existe um vasto potencial a ser feito para melhorar sua eficiência. Nesse contexto, este trabalho pretende projetar implementações de software para processadores Intel/Arm e otimizar esquemas criptográficos de assinaturas digitais pós-quânticas baseadas em prova de conhecimento zero não interativas construídas a partir de primitivas simétricas.

Coordenador: Roberto Cabral Rabelo Filho

Início: 22/10/2019 | Término: 22/03/2021

 

Avantte: Investigação e Utilização de métodos de avaliação de experiência de usuário e de aprendizagem de máquina na Automatização de Tarefas e Processos em Sistemas Web e Aplicativos Móveis e desenvolvimento de Softwares Embarcados

O objetivo deste projeto é realizar pesquisa, desenvolvimento científico, tecnológico e inovação relacionados ao desenvolvimento de software para a automatização de tarefas e processos e melhoria na usabilidade e na experiência do usuário no processo de testes amostrais de monitores.

Coordenador: Rainara Maia Carvalho

Início: 02/01/2019 | Término: 31/03/2021

 

Concepção de novos modelos de interação homem-computador para suportar o processo de transformação digital

Pesquisa de novas soluções tecnológicas, baseadas em novos modelos de interação homem-computador, que suportem as instituições na realização de transformações digitais, aceleradas em função da pandemia gerada pelo COVID-19.

Coordenadora: Ingrid Teixeira Monteiro

Início: 01/06/2020 | Término: 31/03/2021

 

HCIA AI ATLAS Training CE

Este projeto terá foco na execução de atividades de formação de recursos humanos com foco em tecnologias de ponta de Inteligência Artificial (IA) e será aberto à comunidade acadêmica e portanto poderá abranger alunos de nível superior de outras instituições de ensino da região em que a instituição executora se localiza com o objetivo de formar futuros profissionais certificados em HCIA-AI. Todas as aulas de treinamento serão presenciais em laboratórios equipados. Serão diversas turmas, totalizando pelo menos 90 alunos capacitados ao final do projeto.

Coordenador: Cristiano Bacelar de Oliveira

Início: 26/06/2020 |  Término: 24/04/2021

 

Decomposições Tensoriais Aplicadas à Gerência de Interferência

A popularização dos smartphones e a evolução dos sistemas de comunicações móveis juntamente com o acesso à Internet em alta velocidade têm gerado uma quantidade de dados massiva. Os dados nesse caso têm variavelmente mais de um eixo de dependência e, portanto, podem ser representados por meio de tensores. Diante desse contexto, as representações tensoriais são particularmente atrativas para representar, analisar e processar essa quantidade massiva de dados multidimensionais. As representações matemáticas avançadas propostas nesse projeto têm aplicações diversas em processamento de sinais aplicado aos sistemas de comunicação.

Coordenador: Carlos Igor Ramos Bandeira

Início: 22/02/2018 | Término: 21/07/2021

 

Explorando hardware e software livres: arte e tecnologia em Quixadá

Com 6 cursos na área de TI, Quixadá é o único campus temático da Universidade Federal do Ceará (UFC) no interior do Estado. Um desses cursos, Design Digital, propõe uma formação multidisciplinar fundamentada em quatro eixos – tecnologia, design, comunicação e artes. Com essas características, o curso é único no Brasil. Essa polivalência na formação abre diversas possibilidades de percurso para os estudantes. Fazendo uso da capacidade técnica e criativa deles, o objetivo desta pesquisa é dar continuidade ao trabalho desenvolvido em 2018 e 2019 pelo projeto “Explorando o Arduino – Arte e Tecnologia no Campus da UFC em Quixadá”, apoiado pela Secretaria de Cultura e Arte/UFC, a partir do desenvolvimento de ações que articulem arte e tecnologia, explorando as potencialidades dos softwares e hardwares livres. Em 2018, fez-se uso somente do Arduino, hardware open source e plataforma microcontroladora de desenvolvimento. Em 2019, a pesquisa foi ampliada e foram desenvolvidas ações com hardware, produção de imagem digital 2D e 3D para projetos com realidade aumentada, desenvolvimento de jogos, produção de animações 2D e projetos de interação com vídeo e áudio ao vivo. Para os próximos 36 meses, o objetivo é ampliar o desenvolvimento de projetos com o hardware e software livres integrados a uma pesquisa em criação artística contemporânea, como plataforma de interseção entre as novas tecnologias e a arte, a partir da realização de práticas de diferentes tipos, como o desenvolvimento de instalações audiovisuais e sistemas interativos, passando por hipermídia, realidade virtual, conceitos de rede e ciberespaço, e que surjam concomitantemente ao aprofundamento teórico e técnico, com estudos bibliográficos, reuniões de estudo e discussão, promoção de oficinas de formação, visitas de estudo e participação em eventos científicos, tirando partido de uma natureza teórico-prática de pesquisa que faz uso de procedimentos de investigação de diferentes tipos e construído coletivamente, de maneira que se atenda às demandas metodológicas geradas no processo sem que seja negligenciado o seu rigor científico.

Coordenador: João Vilnei de Oliveira Filho

Início: 01/08/2020 | Término: 01/08/2021

 

Pesquisa e Desenvolvimento de Aplicação Administrativa para Apoio a Vendas em Loja Física

Este projeto almeja a construção de um sistema administrativo dentro da plataforma da VTEX para gestão das lojas físicas atendidas pelo inStore. O projeto envolve o entendimento do problema e a proposta da solução com base em etapas do estado da arte de design digital. Além disso, o desenvolvimento do sistema será feito com base nos conceitos de Engenharia de Software.

Coordenador: Enyo José Tavares Goncalves

Início: 02/11/2020 | Término: 29/10/2021

 

Projeto de Doutorado – Sobre as conjecturas de Tuza e Bondy

Projeto de doutorado para o processo de afastamento total e tem como foco duas conjecturas em teoria grafos, a de Tuza [1] e a de Bondy [2] (Small Circuit Double Cover Conjecture). A conjectura de Tuza foi proposta em 1981, Tuza conjecturou que se um grafo G não contém mais do que k triângulos aresta-disjuntos, então existe um conjunto com no máximo 2k arestas que interceptam todos os triângulos de G. Por sua vez, a conjectura de Bondy, lançada em 1990, diz que se um grafo G com n vértices não tem aresta de corte, então existe uma 2-ciclo-cobertura de no máximo n − 1 circuitos em G. [1] TUZA , Z. Conjecture, finite and infinite sets, Eger, Hungary 1981. Proc. Colloq. Math. Soc. J. Bolyai Vol. 37 (1981), p. 888. In: Hajnal, A. and Lovász, L. and Sós, V.T. North-Holland, Amsterdam (1984). [2] B ONDY , J. Small cycle double covers of graphs. Cycles and rays (1990), 21–40.

Coordenador: Lucas Ismaily Bezerra Freitas

Início: 26/02/2018 | Término: 03/12/2021

 

Ideação suicida e Automutilação nas Redes Sociais: a Crise do Homem-Máquina

Partindo de uma análise sócio-cultural da relação das novas tecnologias com o humano, investigamos pontos de inadequação do indivíduo em responder aos imperativos de felicidade e interatividade do mundo contemporâneo. Observamos as diferentes violências subjetivas e objetivas oriundas deste contexto, e direcionamos nosso exame, especificamente, aos fenômenos de ideação suicida e automutilação nas redes sociais, buscando maior compreensão sobre essas manifestações e essas práticas com significativo impacto para a saúde mental.

Coordenador: Valdemir Pereira De Queiroz Neto

Início: 01/04/2018 | Término: 20/12/2021

 

Sinesp Big Data de Inteligência Artificial para Segurança Pública

O projeto “Sinesp Big Data de Inteligência Artificial para Segurança Pública” foi proposto pela Secretaria Nacional de Segurança Pública como ação de Pesquisa e Desenvolvimento (P&D), com envolvimento do Departamento de Computação da Universidade Federal do Ceará (DC-UFC).

Coordenador: Régis Pires Magalhães

Início: 15/05/2019 | Término: 15/04/2023

 

Finalizados

 

SÍNTESE, CARACTERIZAÇÃO E ESTUDO DAS PROPRIEDADES VIBRACIONAIS DE CRISTAIS/NANOCRISTAIS DE MOLIBDATOS DE BISMUTO EM CONDIÇÕES EXTREMAS

Projeto de Pesquisa de iniciação científica: Este estudo consiste de uma pesquisa teórica e experimental em espectroscopia vibracional de cristais de molibdatos de bismuto. Os cálculos dinâmicos de rede baseados na teoria densidade-funcional (DFT) serão utilizados para atribuir os modos Raman, de modo a comparar com os dados obtidos experimentalmente. Este trabalho fará um estudo Raman em condições extremas dependentes da temperatura e da pressão, aplicadas nos cristais de molibdatos de bismuto preparados em diferentes metodologias (coprecitação, estado sólido e solvotérmico). Espera-se obter informações sobre as mudanças estruturais induzidas pela evolução da temperatura ou da pressão.

Coordenador: Antônio Joel Ramiro De Castro

Início: 01/07/2019 | Término: 31/07/2020

 

CrOSSiNg: Avaliação da Qualidade de Nuvens Computacionais Apoiadas por Redes Definidas por Software e Virtualização de Funções de Rede

CHAMADA UNIVERSAL – MCTI/CNPq Nº 01/2016 Computação em Nuvem (Cloud Computing ? CC) é um paradigma que propõe a integração de diferentes modelos tecnológicos no provimento de infraestruturas de hardware, plataformas de desenvolvimento e aplicações como serviços sob demanda baseadas em um modelo ?pay-as-you-go? [1]. Neste paradigma, atualmente bem consolidado, de provisionamento de recursos, os clientes renunciam a administração da infraestrutura, ou terceirizam. Adicionalmente, provedores de Computação em Nuvem oferecem serviços como terceiros, delegando responsabilidades e assumindo custos estritamente proporcionais à quantidade de recursos utilizados [2]. A Internet levou à criação de uma sociedade digital, em que (quase) tudo está conectado e é acessível em qualquer lugar [3]. No entanto, apesar da sua adoção generalizada, as redes IP tradicionais são complexas e difíceis de se gerenciar. Ao mesmo tempo que é difícil de configurar a rede de acordo com políticas pré-definidas, também é difícil reconfigurá-la para atender a diferentes cargas de trabalho e mudanças, e responder a falhas. Para tornar tais situações ainda mais difíceis, as redes atuais também estão integradas verticalmente: o controle e planos de dados são agrupados. Redes Definidas por Software (Software-Defined Networking – SDN) é um paradigma emergente que promete mudar o estado das situações previamente descritas, por quebrar a integração vertical, separando a lógica de controle da rede dos roteadores e switches subjacentes, promovendo a centralização (lógica) de controle de rede, e introduzindo a capacidade de programação da rede. A separação de interesses ou conceitos, introduzidos entre a definição de políticas de rede, a sua implementação em hardware de comutação, e o encaminhamento de tráfego, é a chave para a flexibilidade desejada: por quebrar o problema de controle de rede em peças manejáveis, o SDN torna mais fácil criar e introduzir novas abstrações em rede, simplificando a gestão da rede e facilitando sua evolução. Virtualização de Funções de Rede (Network Functions Virtualization ? NFV) chamou a atenção significativa na indústria e na academia como uma importante mudança na provisão de serviços de telecomunicações [4]. Ao desvincular as Funções de Rede (Network Functions – NF) a partir dos dispositivos físicos em que são executados, o NFV tem o potencial de levar a reduções significativas nas despesas operacionais (Operating Expenses – OPEX) e despesas de capital (Capital Expenses – CAPEX). Além disso, promove a implementação de novos serviços com maior agilidade e maior retorno. O paradigma NFV ainda está em estágios iniciais e há um amplo espectro de oportunidades para a comunidade de investigação para desenvolver novas arquiteturas, sistemas e aplicações, e avaliar alternativas e relação de custo e benefício no desenvolvimento de tecnologias para a sua implantação bem-sucedida. Diante de tais tecnologias e desafios naturais para sua utilização, surge a necessidade de integrá-las. E juntamente com essa integração, também surge a necessidade de avaliar esses ambientes. Nesse contexto, a construção de framework conceitual que possibilite a avaliação da qualidade de um ambiente composto por essas três tecnologias (CC, SDN e NFV) seria de grande contribuição para a comunidade científica. Para o atendimento dessa necessidade, este projeto propõe o CrOSSiNg. CrOSSiNg é uma combinação dos termos tecnológicos ?COmputational + cloudS + Sdn + Nfv?. Sendo assim, o objetivo desse projeto é propor um framework conceitual denominado CrOSSiNg que possibilite a avaliação da qualidade de nuvens computacionais apoiadas por Redes Definidas por Software e Virtualização de Funções de Rede.

Coordenador: Emanuel Ferreira Coutinho

Início: 01/09/2017 | Término: 31/05/2020

 

Mineração e Análise de dados: Uma Visão Sistêmica

Este projeto tem por objetivo desenvolver métodos de análise e mineração de dados e ferramentas computacionais que, a partir de uma visão integrada dos dados estaduais, permitam compreender problemas críticos e impactantes ao desenvolvimento do Estado bem como permitem identificar oportunidades de promoção do bem-estar social. Espera-se gerar um ambiente capaz de apoiar a tomada de decisão a partir de dados que indiquem o estado do desenvolvimento econômico e social do Estado. A metodologia básica para que isso seja atingido consiste primeiramente na criação de um repositório integrado de dados e depois numa plataforma de software capaz de explorar os dados de forma transversal e multi-disciplinar. 

Coordenador: Marcos Antônio de Oliveira

Início: 01/04/2019 | Término: 31/03/2020

 

Problemas em grafos: complexidade e métodos

O tema central deste projeto é a resolução computacional eficiente de problemas de otimização combinatória, envolvendo teoria, algoritmos e implementações sequenciais e paralelas, com aplicações. Nesse sentido, as atividades do projeto seguem os três eixos complementares do ParGO que são paralelismo, grafos e otimização. Os problemas investigados nesta proposta são classificados entre os mais difíceis computacionalmente considerando o critério de complexidade de tempo. Com isto, é necessário o estudo estrutural sobre o problema para a obtenção de algoritmos eficientes para instâncias de médio ou grande porte. Uma técnica que pode se mostrar eficiente é o estudo teórico de descrições matemáticas distintas, porém equivalentes para o problema. Tais descrições matemáticas são analisadas, com o objetivo de determinar propriedades estruturais que possam ser, posteriormente, exploradas de forma adequada usando métodos algorítmicos. No âmbito desta proposta, as descrições dos problemas utilizam principalmente Teoria dos Grafos, Teoria Poliédrica e Programação Linear Inteira. Junto com o estudo teórico, realizamos a resolução computacional dos problemas propostos. Dados a dificuldade de resolver tais problemas computacionalmente, utilizamos algumas técnicas para facilitar a obtenção de resultados para instâncias de médio a grande porte. As principais técnicas empregadas são decomposições, relaxações, planos de corte e paralelismo.

Coordenador: Paulo Henrique Macedo De Araujo

Início: 01/03/2017 | Término: 28/02/2020

 

Shelf Share: Identificando produtos utilizando Visão Computacional

O projeto busca a criação de modelo computacional que faça a medição de gôndolas por reconhecimento de imagens feitas por uma aplicação móvel. A base de dados será fornecida pela empresa Linked By, bem como a infraestrutura necessária para o desenvolvimento e a execução do modelo.

Coordenador: Cristiano Bacelar de Oliveira

Início: 01/07/2019 | Término: 01/01/2020

 

A Prática do Design Interdisciplinar no Ensino Superior

O projeto A Prática do Design Interdisciplinar no Ensino Superior, em andamento desde o início de 2017, tem o objetivo de sistematizar estratégias didáticas que possibilitem o desenvolvimento de projetos integrados interdisciplinares. […]. A metodologia de pesquisa segue princípios da pesquisa-ação, na qual o pesquisador conhece a realidade do ambiente e propõe soluções para resolver os problemas que emergem do campo. A experiência adquirida já começa a ser disseminada para outros cursos do Campus, na forma de modificações do projeto pedagógico ou na orientação a professores tentando, ainda sem sucesso satisfatório, realizar projetos interdisciplinares não curriculares com colegas que lecionam em suas mesmas turmas.

Coordenadora: Tânia Saraiva de Melo Pinheiro

Início: 01/08/2018 |  Término: 31/12/2019

 

Uma Arquitetura de Comunicação Machine-To-Machine para Sistemas IoT Multiplataforma

Comunicação M2M é a sinalização entre nós da rede (alguns objetos ou dispositivos) com recursos de computação/comunicação sem intervenção humana. As comunicações existentes Humano-a-Humano estão se expandindo para as comunicações Homem-a-Máquina ou Máquina-a-Máquina. A comunicação M2M usa máquinas para monitorar/atuar determinados eventos com sensores e para instruir a atuação. Os eventos capturados são retransmitidos através de redes cabeada ou sem fio para servidores, que extraem e processam as informações coletadas e controlam e tomam decisões automaticamente sobre essas máquinas. As características das redes M2M são bastante diferentes das redes convencionais cabeadas ou sem fio. As redes IoT são compostas por um grande número de nós, onde o principal elemento participante da comunicação M2M é um dispositivo ou objeto. A quantidade de objetos (milhões ou bilhões) que irá se comunicar é enorme, então o custo e a comunicação entre esses elementos devem ser baixos. Como a maioria das máquinas funciona com bateria, a eficiência energética é o aspecto mais importante. Embora a comunicação M2M possa ocorrer sem intervenção humana, a estabilidade operacional e a sustentabilidade também são necessárias.

Coordenador: Francisco Helder Candido dos Santos Filho

Início:03/08/2016 | Término: 20/12/2019

 

Instrumentação e Controle em Plataformas Embarcadas

A crescente evolução na capacidade dos sistemas computacionais embarcados possibilitou, de maneira destacada, um considerável avanço nas possibilidades de aplicação em cenários cada vez mais complexos. Para simplificar o entendimento do problema de maneira mais genérica possı́vel, podemos definir uma plataforma robótica como a junção de sensores e atuadores de modo que duas principais tarefas devem ser executadas de maneira harmônica: Percepção: quando o ambiente externo ou a própria condição da plataforma são observados através da coleta de medidas sensoriais de modo que, uma vez devidamente tratadas (ou processadas), alguma informação útil possa ser extraída. Atuação: baseado nessa percepção situacional, alguma ação pode ou deve ser tomada de maneira autônoma através dos sistemas de ação existentes.

Coordenador: André Ribeiro Braga

Início: 15/10/2018 | Término: 15/10/2019

 

Um resgate histórico-conceitual do espaço

Esta pesquisa, de caráter teórico, tem por objetivo realizar um resgate histórico do conceito de espaço. A ideia da espacialidade passa por redefinições epistemológicas, especialmente quando pensamos as formas contemporâneas como as tecnologias digitais dialogam com o espaço em torno dela. Longe de ser um dado a priori, o espaço pode ser entendido como uma construção social contínua. Mas é precisamente o caminho conceitual que essa ideia percorreu até aqui que está na base das inquietações dessa investigação.

Coordenador: Paulo Victor Barbosa de Sousa

Início: 01/05/2017 | Término: 01/05/2019

 

Um Modelo Baseado em Dinâmica de Sistemas para Suporte ao Gerenciamento de Capacidade dos Serviços de Computação em Nuvem

Computação em nuvem é uma tendência recente de tecnologia cujo objetivo é proporcionar serviços sob demanda com pagamento baseado no uso. Nesse ambiente, as empresas podem alugar capacidade de processamento e armazenamento, reduzindo seus custos. Em alguns casos onde não existem condições técnicas ou humanas para que o serviço de nuvem possa se autoconfigurar ou as máquinas físicas que hospedam a solução estejam com sua capacidade comprometida, os gestores dependem muitas vezes de sua experiência para dimensionar adequadamente os recursos de TI necessários para atender às novas necessidades do negócio. Essa é uma decisão típica relacionada ao gerenciamento de capacidade. Os provedores de serviços de nuvem necessitam modelar e resolver os problemas relacionados ao gerenciamento de capacidade de serviços de computação em nuvem. Como nos serviços de computação em nuvem a proposta é que os mesmos possam atender às necessidades dos clientes de forma transparente e autônoma, se faz necessário o apoio de soluções que possam ajudar o gestor de capacidade a desempenhar efetivamente as suas atividades. Quando avaliando resultados de cada serviço na nuvem, os gerentes de capacidade necessitam saber o quanto os ajustes nos recursos de TI irão impactar no negócio e como manter o alinhamento entre os serviços de TI e os objetivos de negócio ao nível estratégico. Pela característica peculiar da computação em nuvem, que envolve o compartilhamento de máquinas e outros recursos de TI, essa atividade apresenta dificuldades para ser realizada. A principal contribuição desta pesquisa deverá ser o modelo para simulação de cenários reais de decisão no gerenciamento da capacidade de serviços de computação em nuvem, com base na dinâmica de sistemas. Existe a possibilidade de se realizar simulações para a avaliação de um cenário real de computação em nuvem, considerando a demanda de trabalho gerada para os serviços de nuvem. As informações geradas deverão ser úteis para os gestores avaliarem e ajustarem a capacidade de atendimento e suporte da nuvem às demandas reais dos clientes.

Coordenador: Alberto Sampaio Lima

Início: 02/03/2017 | Término: 28/02/2019

 

Padrões de Mobilidade Baseados em Perfis de Tráfego

Aplicações relacionadas à mobilidade são chave para ajudar pessoas, empresas e órgãos governamentais no gerenciamento da mobilidade de indivíduos no dia-a-dia. Tais aplicações utilizam uma rede de rodovias subjacente em conjunto com informações sobre o tráfego na rede. As informações de tráfego podem ser estimadas a partir de dados de trajetórias de objetos móveis, coletados por dispositivos como GPS. A trajetória de um objeto móvel é caracterizada por um sequência de posições juntamente com o instante de tempo em que foram coletadas. A popularização dos serviços baseados em localização (como Google Maps e Waze, por exemplo) possibilitou o crescimento do volume de dados de trajetórias de objetos móveis, o que trouxe novas oportunidades para descobrir padrões de tráfego e entender a evolução do tráfego na rede a partir desses dados. Incerteza, por outro lado, é inerente aos dados de trajetória. Seja pela própria natureza dinâmica do tráfego, pelo diferentes perfis de motorista ou por conta das limitações de precisão dos dispositivos que coletam essas informações. Dessa forma, este projeto de pesquisa visa propor soluções eficientes para descoberta, atualização e análise da evolução de padrões de tráfego considerando a incerteza inerente ao tráfego.

Coordenador: Lívia Almada Cruz

Início: 23/02/2018 | Término: 22/02/2019

 

A classification model for handbags images via Deep Learning

The goal of the parties is to provide a classification model to categorize handbags images given as input by an user on a mobile application. If the model incorrectly classifies the images, the user must be able to provide the correct class and the classification model should learn from those additions. The proposed model should initially be able to detect the handbag by brands/seasons. ​ It is assumed that OSF will provide the database and the necessary infrastructure for the project.

Coordenador: Críston Pereira de Souza

Início: 01/06/2018 | Término: 30/11/2018

 

O Homem-Máquina na Cibercultura: uma Análise Teórico-Crítica dos Signos de Esportividade

Este projeto tem por preocupação central contribuir com a Psicologia Social no debate contemporâneo acerca das relações interpessoais virtualizadas, considerando a experiência de esportividade dos sujeitos no uso do seu tempo livre, o consumo como um dos modos preponderantes de ocupação do mesmo e uma adequação do esporte como operacionalizador de subjetividades massificadas. A partir da interatividade encontrada na cibercultura, refletimos sobre as novas configurações da Indústria Cultural (Adorno, 2002), aqui representada pela indústria do esporte, da beleza e da saúde, enquanto instância simbólica e fonte produtora de novas formas de expressão humana voltadas a mensuração, classificação e diferenciação. Parte-se do referencial teórico da Escola de Frankfurt (Adorno, Horkheimer e Marcuse), além de autores como Baudrillard, Veblen, Rosa, Lasch, Severiano, Ehremberg Sibilia, Santaella dentre outros, evidenciando as noções de “Culto da Performance”, em vista de uma reprodução da lógica do consumo na esfera “hipermidiática” das relações interpessoais e de “Cultura do Consumo”, na qual a “lógica mercantil” se utiliza predominantemente da lógica da realização dos desejos para subjugá-la a fins mercadológicos. Tem-se por objetivo articular e refletir acerca da ascensão do consumo de signos de esportividade enquanto uma prática de utilização do tempo livre, relacionado com a competitividade do neoliberalismo, o ócio conspicuo, o sucesso profissional, a aceleração tecnológica, a psicologia do esporte e os ideais de humanidade cada vez mais modelada a semelhança das propriedades das máquinas como a velocidade. Nossa hipótese é a de que o atual modelo onipresente de máquina como acelerador do desenvolvimento tecnológico e incremento do humano tende a subversão da humanidade na medida em que os produtos midiáticos e tecnológicos representam uma nova mitologia promotora de encanto e a esportividade pode representar um signo facilitador desta dominação subjetiva. Metodologicamente, trata-se de uma pesquisa teórico-empírica, de natureza qualitativa, cuja estratégia propõe-se a coleta e análise de produções e mensagens midiáticas do ciberespaço em categorias construídas a partir dos levantamentos teóricos e da realidade empírica observada. A interpretação deste material dar-se-á a partir de uma análise teórico-crítica em articulação com o referencial teórico escolhido. É considerado relevante para o saber psicológico refletir criticamente sobre o processo de mercantilização das interações humanas modelando-as segundo uma racionalidade instrumentalizada para o cálculo, a quantificação e a competitividade trasvestido de atributo e virtude de esportividade. O aprofundamento destas questões representa uma contribuição significativa para um maior entendimento das subjetividades contemporâneas.

Coordenador: Valdemir Pereira de Queiroz Neto

Início: 14/03/2015 | Término: 14/04/2018

 

Lidando com Conflitos entre Requisitos Não-Funcionais em Aplicações Ubíquas e da Internet das Coisas

Requisitos não-funcionais (RNFs) são aqueles que descrevem quão bem um sistema executa suas funções. Eles podem descrever características de qualidade (e.g., Disponibilidade, Segurança e Confiabilidade), restrições ou interfaces externas. O foco do trabalho de doutorado é em RNFs que são características de qualidade. Isso porque eles representam a maior porção dos RNFs existentes. Esse tipo de RNF pode afetar a escolha de recursos de hardware, do projeto de arquitetura e outros. Assim, é essencial e necessário elicitar e analisar informações desse tipo de RNF desde o início do desenvolvimento do software. Algumas combinações de RNFs tem conflitos inevitáveis, o que significa que alcançar um requisito pode impactar o alcance de outro. Assim, durante os estágios de análise e projeto de software, os conflitos que podem ocorrer devem ser identificados e tratados. A literatura tem vários catálogos de conflitos entre RNFs, os quais se concentram em requisitos genéricos para qualquer sistema. No entanto, cada domínio de software tem características de qualidade que são de particular importância e podem merecer mais atenção no desenvolvimento. Por exemplo, os sistemas para Internet exigem, especificamente, disponibilidade e segurança. Além disso, novos RNFs surgiram com o advento de outros paradigmas computacionais, que é o caso da Computação Ubíqua (UbiComp) e atualmente da Internet de Coisas (do inglês Internet of Things – IoT). Um exemplo de novo RNF presente na UbiComp e de interesse para tornar a IoT uma realidade é a Sensibilidade ao Contexto, que é a capacidade do sistema de monitorar informações contextuais sobre o usuário, o sistema e o meio ambiente para fornecer serviços relevantes. Outro RNF de particular importância para esses paradigmas é Mobilidade, que se refere à capacidade do sistema para fornecer aos usuários acesso contínuo aos recursos de informação, independentemente da sua localização dentro dos limites do sistema. Portanto, as aplicações dos ambientes UbiComp e IoT podem ter RNFs diferentes dos existentes, o que, por sua vez, pode entrar em conflito. As soluções existentes para identificação e resolução de conflitos entre RNFs não consideram RNFs específicos para aplicações UbiComp e IoT. Portanto, o objetivo da tese de doutorado é propor um catálogo de conflitos entre RNFs das aplicações UbiComp e IoT. Esse catálogo deve considerar as diversas estratégias utilizadas para o alcance do RNF em um sistema IoT. Dessa forma, ele será útil para ajudar os desenvolvedores a tomar decisões sobre como implementar os RNFs nessas aplicações.

Coordenador: Rainara Maia Carvalho

Início: 17/03/2014 | Término: 30/03/2018

 

Inference and Identification for Jump Markov Systems

Este trabalho tem como principal objetivo o desenvolvimento e a avaliação de técnicas de métodos computacionais para estimação de espaço de estados que apresentam componentes lineares e não-lineares assim como a identificação de parâmetros desconhecidos no modelo estruturado. Tais modelos apresentam uma característica peculiar de modo que podem operar em diferentes regimes discretos, chamados modos de operação. A mudança entre regimes é ditada por uma cadeia de Markov através de uma matriz de probabilidade de transição de modos. Com isso os modelos estudados são também chamados híbridos, por apresentarem estados contínuos (espaço de estados) e discretos (modos), ou modelos de salto markoviano. Este trabalho utiliza métodos de Monte Carlo sequenciais, também conhecidos como filtro de partículas, para a estimação das variáveis dinâmicas e avalia diferentes estratégias para a identificação conjunta de variáveis estáticas. Outra peculiaridade apresentada neste trabalho é a avaliação de tais algoritmos em um cenário onde as observações encontram-se dispersas fisicamente, sendo necessárias técnicas de processamento distribuído levando em consideração a existência apenas de comunicação local entre os sensores próximos. Também está previsto com estudo a avaliação de limites teóricos para a estimação dos estados contínuos em sistemas de salto markoviano.

Coordenador: André Ribeiro Braga

Início: 01/03/2012 | Término: 31/12/2017

 

Tools & CAS: Desenvolvimento e evolução de Aplicativos Móveis e Sistemas Web

O objetivo deste projeto é desenvolver aplicativos móveis para celulares, integrados a plataformas web, e desenvolvimento e evolução de ferramentas de melhoria e automação de processos bem como a melhoria dos processos de desenvolvimento internos e da qualidade dos produtos desenvolvidos. Os resultados esperados ao final das atividades são o desenvolvimento de novos aplicativos móveis e ferramentas bem como a evolução dos sistemas já desenvolvidos.

Coordenador: Márcio Espíndola Freire Maia

Início: 01/03/2017 | Término: 31/12/2017

 

Uma Avaliação da Importância da Governança em Universidades Públicas sob a Ótica das Recomendações das Boas Práticas – Estudo de Caso com Gestores da Universidade Federal do Ceará

Projeto de pesquisa apresentado ao Programa de Mestrado Profissional em Políticas Públicas e Gestão da Educação Superior – POLEDUC, da Universidade Federal do Ceará, como requisito parcial para a obtenção do Título de Mestre. Orientador: Prof. Dr. Alberto Sampaio Lima

Coordenador: Antonio Jones Bezerra de Almeida

Início: 04/04/2016 | Término: 29/12/2017

 

Conhecer para permanecer: uma análise do perfil e das expectativas dos alunos ingressantes do campus da UFC em Quixadá

Conhecer o perfil do estudante envolve o estudo do processo de interação entre as características do estudante e do ambiente universitário, bem como das mudanças produzidas por essa experiência em ambos, demandando integração, ajustamento e adaptação. Indo ao encontro dessa ideia, este estudo visa compreender o perfil dos alunos ingressantes dos seis cursos do campus da UFC em Quixadá, bem como seus interesses e expectativas em relação à formação acadêmica e ao futuro profissional. Os fundamentos teóricos que o estruturam levam em conta os aspectos relacionados ao ingresso do aluno na educação superior, tais como: o processo de socialização e integração acadêmica e a motivação para o ingresso e permanência no curso. Como referência metodológica optou-se por elaborar um instrumento de pesquisa capaz de fornecer os dados necessários ao delineamento do perfil dos estudantes; suas características pessoais, socioeconômicos, escolares, seus julgamentos, expectativas e motivações sobre aspectos do curso de graduação escolhido; buscando indicadores que pudessem fundamentar a definição de políticas sociais para os estudantes. Assim, aplicou-se um questionário via forma eletrônica (ferramenta Google Docs) aos alunos ingressantes de cada um dos seis cursos oferecidos no campus da UFC em Quixadá, totalizando o preenchimento de 236 questionários, em 2015 e 237, em 2016. O questionário foi composto por 39 questões: 36 fechadas e 4 abertas. As questões investigaram aspectos referentes a quatro eixos: 1. Identificação pessoal; 2. Motivações para o ingresso no curso; 3. Experiências escolar e profissional; e 4. Expectativas em relação à conclusão do curso e à inserção no mercado de trabalho. Espera-se que, em posse deste conhecimento sobre o perfil do ingressante, possam ser possam desenvolvidas políticas, programas, estratégias e ações capazes de prevenir a má adaptação e a evasão. 

Coordenadora: Luiza Eridan Elmiro Martins De Sousa

Início: 29/11/2016 | Término: 29/11/2017

 

Algoritmos de Previsão de Acidentes Aéreos

O projeto de Atualização da Monitoração Aeronáutica e Auto-Sustentabilidade, iniciado em 2011, pretende atualizar o parque tecnológico dos pequenos aeroportos no país e assim prover mais um nível de informação e segurança para os seus sistemas. Tal atualização se dará através da implantação do sistema ADS-B (Automatic Dependent Surveillance – Broadcast) em pequenos aeroportos e nos controles de aproximação. Este projeto buscou soluções inovadoras para baratear o custo do sistema total, através da definição de uma plataforma enxuta (sistema embarcado) e da implementação de software embarcado de código aberto nesse sistema para recepção, tratamento e atualização dos dados. Atualmente, o sistema de rastreamento aeronáutico ADS-B já iniciou o processo de adoção pelo Brasil. Entretanto, por questão de custo, limitações técnicas (aeronaves clandestinas e militares tipicamente não usam o ADS-B em sua totalidade) e pelo controle militar do sistema de vigilância aeronáutica, o ADS-B está sendo considerado somente como uma pequena extensão ao modelo de radares aeronáuticos atuais para aviação civil. Nos quatro primeiros anos deste projeto foram desenvolvidos: um protótipo para a realização da decodificação e tratamento das mensagens do sistema ADS-B (2012-2013), soluções para sua persistência e tratamento em bancos de dados (2013-2014), um protocolo para recepção dos dados de múltiplas antenas (2014-2015) e uma implementação do coletor para sistemas embarcados Android (2015-2016). Os objetivos principais a serem atingidos durante o quinto ano do projeto (2016-20176) são (a) a formação de recursos humanos capacitados a trabalhar algoritmos em sistemas de tempo-real, e (b) o provimento de uma solução de software voltada à detecção de colisões iminentes entre aeronaves. Após a execução do projeto, será possível utilizar o sistema Radar Livre para emitir alertas de colisão iminente entre aeronaves, automatizando parte do trabalho de um controlador de voo.

Coordenador: Arthur de Castro Callado

Início: 01/10/2016 | Término: 31/08/2017

 

Programação Matemática para Problemas de Classificação Contínua e Combinatória

Uma questão de notória relevância prática na sociedade da informação em que vivemos é a determinação automática de padrões em um conjunto de dados conhecidos com o objetivo de gerar informações sobre o comportamento de dados não conhecidos, área conhecida por Data Mining. Tratando-se de uma área de conhecimento em progressiva efervescência, há atualmente uma multitude de estratégias adotadas com sucesso, cada qual mais adaptada a um contexto particular. Esta proposta é organizada em torno de um problema oriundo da estratégia conhecida pelo termo de classificação supervisionada. O objeto de estudo neste projeto é o uso de formulações de programação linear inteira para a resolução do problema de classificação em casos em que existem um padrão subjacente ao conjunto de amostras que pode ser expresso a partir de alguma noção de conjuntos convexos. Concentramos nossa atenção em dois casos particulares: convexidade euclidiana em um espaço multidimensional (a qual é usada em todos os trabalhos encontrados na literatura) e convexidade geodésica em grafos (que não foi estudado na literatura). O presente projeto de pesquisa faz parte do plano de trabalho geral de doutorado do candidato. Este projeto será executado na forma de um doutorado sanduíche no Département d’Informatique de Université Libre de Bruxelles sob a orientação da Profa. Dra. Martine Labbé.

Coordenador: Paulo Henrique Macedo De Araujo

Início: 01/04/2017 | Término: 31/08/2017

 

Melhoria de Cobertura em Monitoramento Aéreo

O projeto anterior de Atualização da Monitoração Aeronáutica e Auto-Sustentabilidade, iniciado em 2011, pretende atualizar o parque tecnológico dos pequenos aeroportos no país e prover mais um nível de informação e segurança para os seus sistemas. Tal atualização se dará através da implantação do sistema ADS-B (Automatic Dependent Surveillance – Broadcast) em pequenos aeroportos e nos controles de aproximação. Este projeto buscou soluções inovadoras para baratear o custo do sistema total, através da definição de uma plataforma enxuta (sistema embarcado) e da implementação de software embarcado de código aberto nesse sistema para recepção, tratamento e atualização dos dados. Atualmente, o sistema de rastreamento aeronáutico ADS-B já iniciou o processo de adoção pelo Brasil. Entretanto, por questão de custo, limitações técnicas (aeronaves clandestinas e militares tipicamente não usam o ADS-B em sua totalidade) e pelo controle militar do sistema de vigilância aeronáutica, o ADS-B está sendo considerado somente como uma pequena extensão ao modelo de radares aeronáuticos atuais para aviação civil. Nos quatro primeiros anos deste projeto de pesquisa foram desenvolvidos: um protótipo para decodificação e tratamento de mensagens ADS-B (2012-2013), soluções para sua persistência e tratamento em BD (2013-2014), um protocolo para recepção dos dados de múltiplas antenas (2014-2015) e uma implementação do coletor para sistemas embarcados Android (2015-2016). Com este projeto de desenvolvimento tecnológico e inovação, os objetivos principais no período 2016-2017 são (a) a formação de recursos humanos capacitados a trabalhar em soluções de melhoria de cobertura de antena, (b) o provimento de uma solução de hardware voltada à melhoria de cobertura de antenas que requerem visada e (c) a submissão de uma patente com tais melhorias. Após a execução do projeto, será possível fazer a instalação de uma antena com melhoria de visada para aeronaves passantes em relação ao estado-da-arte atual.

Coordenador: Arthur de Castro Callado

Início: 01/09/2016 | Término: 31/08/2017

 

A Inserção dos Egressos dos Cursos de Graduação na Área de Tecnologia da Informação dos Campi de Interior da UFC no Mercado Regional

A qualificação profissional é uma exigência atual do mercado de trabalho, pois, para se manter ativo em uma profissão, é necessário a atualização constante de acordo com as tendências econômicas, as novas tecnologias e as demandas do mundo laboral. Tais pressupostos formativos têm por objetivo a inserção ou a permanência do profissional no mercado de trabalho. O objetivo maior desta pesquisa foi investigar como se deu a inserção laboral dos alunos oriundos de turmas de graduação na área de Tecnologia da Informação dos campi da Universidade Federal do Ceará – UFC em Quixadá e em Sobral e sua relação com o mercado de trabalho da região onde esses egressos concluíram a formação. A avaliação deste quadro permitiu identificar quais as facilidades e dificuldades que os egressos encontraram ante o mundo do trabalho, permitindo assim trazer indicativos para a melhoria da qualificação que vem sendo ofertada nestas instituições de ensino superior. Desse modo, essa pesquisa buscou contribuir com as discussões sobre a Avaliação de Políticas Públicas de Ensino Superior, por meio da análise da estreita relação entre universidade, qualificação profissional, mercado de trabalho e desenvolvimento regional. A metodologia utilizada contou com pesquisa exploratória e descritiva. O instrumento de coletas de dados utilizado foi o questionário composto de perguntas abertas e fechadas que foram analisadas tanto na perspectiva quantitativa quanto qualitativa. A coleta de dados foi feita de forma censitária, aplicada aos 148 egressos dos cursos em estudo, até o primeiro semestre de 2015, sendo que 102 egressos responderam ao questionário. Foi utilizado o coeficiente Alfa de Cronbach para verificação da consistência interna do instrumento. Os resultados apontaram questões como: significativo fluxo de egressos trabalhando em grandes centros urbanos, escassez de vagas no mercado de trabalho das regiões onde os egressos se formaram e necessidade de incentivo ao crescimento e fortalecimento das economias regionais.

Coordenadora: Maria Simone Mendes Nunes

Início: 02/03/2015 | Término: 18/11/2016

 

Inteligência Científica e Tecnológica na Segurança Pública

De acordo com David H Bayley, a manutenção da ordem é a função essencial de um governo, não apenas a própria legitimidade do governo é em grande parte determinada por sua capacidade de manter a ordem, mas também a ordem funciona como critério para se determinar se existe de fato algum governo. Em consonância com essa visão, o Estado do Ceará tem investido intensamente em segurança pública, apesar dos crescentes índices de violência. Tendo em vista um melhor aproveitamento desses investimentos, este projeto tem o objetivo de desenvolver estudos científicos com intuito de aplicar soluções tecnológicas de identificação humana, identificação veicular, monitoramento de pessoas e veículos através dos órgãos de segurança pública (SSPDS-CE e PRF). As soluções desenvolvidas permitirão a otimização do patrulhamento ostensivo e comunitário, bem como o aperfeiçoamento dos sistemas de informação existentes nas pastas, através da aplicação de técnicas de ciência de dados e aprendizado de máquina para integrar as informações em um portal analítico, que auxiliará o gestor na tomada de decisões.

Coordenador: Paulo Antonio Leal Rego

Início: 01/02/2018 | Término: 31/01/2020

 

Avaliação da maturidade dos processos de safety na engenharia de requisitos

Contexto: Safety-Critical Systems (SCS) requerem abordagens de engenharia de requisitos (RE) mais sofisticadas, uma vez que requisitos inadequados, incompletos ou mal interpretados foram reconhecidos como uma das principais causas em muitos acidentes e catástrofes relacionadas à segurança (safety). Objetivo: A fim de lidar com a complexidade de integrar as preocupações de segurança no processo de RE, o objetivo deste projeto é avaliar a maturidade dos processos de segurança das empresas na fase de RE. Método: a metodologia design science foi utilizada e para resolver este problema prático, será proposto um módulo de segurança (safety), que consistirá em um aprimoramento do Modelo de Maturidade Universal do Processo de Engenharia de Requisitos (Uni-REPM). Resultados: o módulo de segurança, atualmente, possui sete processos principais, 14 subprocessos e 149 ações que descrevem princípios e práticas que constituem a base da maturidade dos processos de segurança. Conclusões: como instrumento de avaliação, espera-se que o módulo de segurança seja uma solução simples para os profissionais identificar o status de seus processos de segurança em RE. Como ferramenta de orientação, espera-se que o módulo possa ajudar as organizações na avaliação de suas práticas de segurança atuais no processo de RE, além de oferecer uma estratégia de melhoria gradual para atingir uma maior maturidade.

Coordenadora: Jessyka Flavyanne Ferreira Vilela

Início: 16/03/2015 | Término: 28/02/2019

  • Outros projetos de pesquisa:

Motivação e condicionantes para a gestão institucional em dois grupos distintos de servidores docentes e técnico-administrativos – Um estudo de caso no campus da UFC em Quixadá – Roberta Dutra

Análise em Big data via Mineração de DadosTiciana Linhares

Perfil de um aluno balanceado na UFC – Quixadá por análise multiobjetivo – Críston Pereira e outros

Controle Computacional para Otimização da irrigaçãoCarlos Diego

Aprendizagem baseada na resolução de problemas – um estudo em cursos de graduação nas áreas de educação e computação Alberto Sampaio

SeDAn – Segurança em dispositivos Android – Relatório de vulnerabilidade e testes de segurança automáticosBruno Gois e Márcio Espíndola

Uma Infraestrutura para Descoberta de Perfis de Usuários de SmartPhones em Larga Escala (Big Data) – Régis Pires

Mobile & Tools – Desenvolvimento, verificação e validação de software para celulares e desenvolvimento de ferramentas para automação de testes2014

Sistemas de Comunicações móveis sem fio de quinta geração 5G2014

Discovering Frequent Mobility Patterns on Trajectory Data2014

Desenvolvimento de Conteúdo Didático Digital para Pessoas com Deficiência – 2014

Gerência de Recursos de rádio, sistemas mimo de larga escala e alinhamento de interferência para otimização de sistemas de comunicação sem fio2014

Auto-Avaliação continuada de cursos de graduação por meio da gestão do conhecimento2014

Nuvem Computacional Baseada em Componentes para Aplicações de Computação de Alto Desempenho2014

Axiomatização da Teoria Tonal2014

Deliberation Dialogues for Belief-Based Group Decisions2014

Exploring Equivalence between Logic Programming Semantics and Argumentation Semantics2014

UbiStructure – Uma infraestrutura de desenvolvimento e execução de aplicações ubíquas2014

MaxIMUm: Uma Abordagem baseada em Medições para Avaliação da Qualidade Interação Humano-Computador de Sistemas Ubíquos – 2014

Testes Sensíveis ao Contexto para Sistemas Ubíquos (Context-Awareness Testing for Ubiquitous Systems)2014

Uma abordagem de avaliação de qualidade baseada em medições para modelos de features de Linhas de Produtos de Software Dinâmicas2014

Automação da Dinâmica entre a TI e o Negócio nas atividades de oferta e suporte de serviços – 2014

FITS (Future Internet Testbed with Security) em parceria com o GTA/UFRJ – 2014

Últimas Publicações

BENTO, LUCAS RAIMUNDO ; CASTRO, ANTÔNIO JOEL RAMIRO ; MOREIRA, ALTAIR BENEDITO ; FERREIRA, ODAIR PASTOR ; BISINOTI, MÁRCIA CRISTINA ; MELO, CAMILA ALMEIDA . Release of nutrients and organic carbon in different soil types from hydrochar obtained using sugarcane bagasse and vinasse. GEODERMA, v. 334, p. 24-32, 2019.

COELHO DA SILVA, T. L. ; MAGALHÃES, REGIS PIRES ; MACÊDO, J. A. F. ; ARAUJO, D. ; ARAUJO, N. ; MELO, V. ; OLIMPIO, P. ; REGO, P. ; LIRA NETO, A. V. . Improving Named Entity Recognition using Deep Learning with Human in the Loop. In: EDBT – International Conference on Extending Database Technology, 2019, Lisboa. Proceedings of the 22nd EDBT – International Conference on Extending Database Technology, 2019.

GOMES, D. F. ; OLIVEIRA FILHO, J. V. ; MONTEIRO, I. T. . Ddpositório: Repositório Digital do curso de Design Digital. In: 5º Seminário de Artes Digitais, 2019, Belo Horizonte. Anais do 5º 5º Seminário de Artes Digitais, 2019.

MIRANDA, J.R.S. ; DE CASTRO, A.J.R. ; DA SILVA FILHO, J.G. ; FREIRE, P.T.C. ; Pinheiro, G.S. ; MOREIRA, S.G.C. ; Saraiva, G.D. ; de Sousa, F.F. . Phase transformation in the C form of myristic-acid crystals and DFT calculations. SPECTROCHIMICA ACTA PART A-MOLECULAR AND BIOMOLECULAR SPECTROSCOPY, v. 208, p. 97-108, 2019.

NASCIMENTO, T. ; COUTINHO, Emanuel Ferreira ; BEZERRA, CARLA I. M. ; SOUZA, J. N. . A Metric for Resource Usage Evaluation in Cloud Computing Environments. In: 7th International Workshop on ADVANCEs in ICT Infrastructures and Services, 2019, Praia – Capa Verde. 7th International Workshop on ADVANCEs in ICT Infrastructures and Services, 2019.

SÁ, SAMY; Alcântara, João . Interpretations and models for assumption-based argumentation. In: the 34th ACM/SIGAPP Symposium, 2019, Limassol. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing – SAC ’19. New York: ACM Press, 2019. p. 1139-1146.

SERAFIM, J. M. ; BEZERRA, CARLA I. M. ; UCHOA, A. G. . Analyzing the Impact of Inter-smell Relations on Software Maintainability: An Empirical Study with Software Product Lines. In: Simpósio Brasileiro de Sistemas de Informação, 2019, Aracaju. 15 Simpósio Brasileiro de Sistemas de Informação (SBSI), 2019.

SERAFIM, P. ; MEDEIROS, A. ; REGO, P. A. L. ; MAIA, G. ; TRINTA, F. A. M. ; Maia, Marcio E.F. ; MACEDO, J. ; LIRA, A. . A Method based on Convolutional Neural Networks for Fingerprint Segmentation. In: International Joint Conference on Neural Networks (IJCNN), 2019, Budapeste. 2019 International Joint Conference on Neural Networks (IJCNN), 2019.

SOUZA FILHO, J. C. ; MONTEIRO, I. T. ; JUCÁ, P. M. . Game for PLAYability Heuristic Evaluation (G4H-PLAY): Adapting G4H Gamification to Allow the Use of Playability Heuristics. In: 8th International Conference on Design, User Experience and Usability (DUXU), held as part of HCI International, 2019, Orlando. Proceedings of the 8th International Conference on Design, User Experience and Usability (DUXU 2019), 2019.

ALCANTARA, J. ; SÁ, Samy . On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks. In: International Workshop on Logical and Semantic Frameworks with Applications, 2018, Fortaleza. Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018. v. 1. p. 15-28.

Alcântara, João ; SÁ, Samy . An Infinite-Valued Grounded Labelling for Abstract Argumentation Frameworks. In: 33th Annual ACM Symposium on Applied Computing (SAC 2018), 2018, Pau. Proceedings of the 33th Annual ACM Symposium on Applied Computing, 2018.

ALVES, M. ; FREITAS, R. ; SOUZA, P. M. S. ; RICARDO, P. ; BEZERRA, CARLA I. M. . Um Relato de Experiência: Ensinando Robótica por meio de Microcontroladores em uma Escola Profissional de Ensino Médio. In: 26º Workshop sobre Educação em Computação (WEI), 2018, Natal. 26º Workshop sobre Educação em Computação (WEI), 2018.

ARAGAO JUNIOR, B. R. ; NOGUEIRA, T. P. ; Maia, Marcio E.F. ; ANDRADE, R. M. C. . Framework de Suporte ao Desenvolvimento e Evolução de Aplicações Auto-Adaptativas em IoT. In: 10º Simpósio Brasileiro de Computação Ubíqua e Pervasiva, 2018, Natal. Anais do 10º Simpósio Brasileiro de Computação Ubíqua e Pervasiva (SBCUP 2018), 2018. p. 99-108.

ARAGAO JUNIOR, BELMONDO RODRIGUES ; ANDRADE, ROSSANA MARIA DE CASTRO ; MAIA, MARCIO ESPINDOLA FREIRE ; NOGUEIRA, TALES PAIVA . SUCCEEd: Support Mechanism for Creating and Executing Workflows for Decoupled SAS in IoT. In: 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 2018, Tokyo. 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 2018. p. 738.

BARBOSA, JEFFERSON ; ANDRADE, ROSSANA M. C. ; FILHO, JOÃO BOSCO F. ; BEZERRA, CARLA I. M. ; BARRETO, ISAAC ; CAPILLA, RAFAEL . Cloning in Customization Classes. In: the VII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the VII Brazilian Symposium on Software Components, Architectures, and Reuse – SBCARS ’18, 2018. p. 43.

BARBOSA, R. A. ; REGO, P. A. L. ; STANCANELLI, E. M. G. ; Maia, Marcio E.F. ; SOUZA, J. N. . Uma ferramenta baseada em containers Docker para experimentação em Mobile Cloud Computing. In: Salão de Ferramentas do Simpósio Brasileiro de Redes de Computadores, 2018, Campos do Jordão. XXXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos: Salão de Ferramentas, 2018.

BEZERRA, CARLA I. M.; ANDRADE, ROSSANA M. C. ; MONTEIRO, JOSÉ M. S. ; CEDRAZ, DAVI . Aggregating Measures using Fuzzy Logic for Evaluating Feature Models. In: the 12th International Workshop, 2018, Madrid. Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems – VAMOS 2018, 2018. p. 35.

CAVALCANTE, F. N. ; JUCÁ, P. M. ; ALENCAR, J. M. ; CALLADO, Arthur de Castro . Remote Access with Wake on LAN. In: Euro American Conference on Telematics and Information Systems (EATIS), 2018, Fortaleza. Euro American Conference on Telematics and Information Systems (EATIS), 2018.

COELHO DA SILVA, T. L. ; MAGALHÃES, REGIS PIRES ; BRILHANTE, I. R. ; MACÊDO, J. A. F. ; ARAUJO, D. ; REGO, P. ; LIRA NETO, A. V. . Big Data Analytics Technologies and Platforms: A Brief Review. In: LADaS@VLDB 2018, 2018, Rio de Janeiro. Proceedings of the Latin America Data Science Workshop co-located with 44th International Conference on Very Large Data Bases (VLDB 2018), 2018.

COSTA, J. R. F. ; DIAS, F. C. S. ; TAVARES, W. A. . Um Algoritmo VNS para o Problema da Máxima Interseção de k Subconjuntos. In: 50º SBPO ? Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro – RJ. 50º SBPO ? Simpósio Brasileiro de Pesquisa Operacional, 2018.

COUTINHO, Emanuel ; BEZERRA, JAGNI ; BEZERRA, Carla Ilane Moreira ; MOREIRA, LEONARDO OLIVEIRA . Uma Análise da Evasão em Cursos de Graduação Apoiado por Métricas e Visualização de Dados. In: XXIV Workshop de Informática na Escola, 2018, Fortaleza. org.crossref.xschema._1.Title@3efa2d1, 2018. p. 31.

COUTINHO, Emanuel ; SANTOS, ITALO ; MOREIRA, LEONARDO OLIVEIRA ; BEZERRA, Carla Ilane Moreira . Um Estudo Preliminar de Ecossistemas de Software na Disciplina Engenharia de Software. In: XXIV Workshop de Informática na Escola, 2018, Fortaleza. org.crossref.xschema._1.Title@54378610, 2018. p. 21.

COUTINHO, Emanuel Ferreira ; MOREIRA NETO, M. ; A.SALES, W. ; BEZERRA, CARLA I. M. ; SOUSA, J. N. . Research Opportunities in Quality Assessment of Internet of Things, Software Defined Networks and Network Function Virtualization Environments. In: 6th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE’2018), 2018, Santiago. 6th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE’2018), 2018.

COUTINHO, Emanuel Ferreira ; MOREIRA NETO, M. ; MOREIRA, L. O. ; BEZERRA, CARLA I. M. ; SOUSA, J. N. . IoT Research Opportunities in SOLAR E-learning Software Ecosystem. In: 6th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE’2018), 2018. 6th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE’2018), 2018.

DE CARVALHO SILVA, JEFFERSON; DE OLIVEIRA DANTAS, ALLBERSON BRUNO ; HERON DE CARVALHO JUNIOR, FRANCISCO . A Scientific Workflow Management System for Orchestration of Parallel Components in a Cloud of Large-Scale Parallel Processing Services. SCIENCE OF COMPUTER PROGRAMMING, v. 1, p. 1, 2018.

DE SOUZA VIANA, THÁRSIS SALATHIEL ; de Oliveira, Marcos ; DA SILVA, TICIANA LINHARES COELHO ; FALC AO, MÁRIO SÉRGIO RODRIGUES ; GONÇALVES, ENYO JOSÉ TAVARES . A message classifier based on multinomial Naive Bayes for online social contexts. Journal of Management Analytics, v. 5, p. 1-17, 2018.

Dias, Fábio C. S.; TAVARES, W. A. ; COSTA, J. R. F. . Um Algoritmo VNS para o Problema da Máxima Interseção de k Subconjuntos. In: L Simpósio Brasileiro de Pesquisa Operacional – SBPO, 2018, Rio de Janeiro – RJ. Proceedings of the Brazilian Symposium on Operations Research. Rio de Janeiro – Brazil: SOBRAPO, 2018.

FEITOSA, A. G. E. S. ; JUCÁ, P. M. ; MAIA, Márcio Espindola Freire ; CASTRO, Miguel Franklin ; CALLADO, Arthur de Castro . Low-cost ADS-B Collectors for Distributed Aircraft Surveillance. In: Euro American Conference on Telematics and Information Systems (EATIS), 2018, Fortaleza. Euro American Conference on Telematics and Information Systems (EATIS), 2018.

FELIPE, D. A. ; PINHEIRO, Tânia S. M. . Seleção de tecnologias digitais para a gerência de projetos em disciplinas de projeto integrado. Tear: Revista de Educação, Ciência e Tecnologia, v. 7, p. 1-21, 2018.

FERREIRA, M. S. ; MENEZES, M. V. ; LELIANE N. DE BARROS . Plan Existence Verification as Symbolic Model Checking. In: Encontro Nacional de Inteligência Artificial e Computacional, 2018, São Paulo. Anais do Encontro Nacional de Inteligência Artificial e Computacional, 2018. p. 116-127.

GOMES, F. G. S. ; COSTA, L. F. ; SAMPAIO, L. ; VIANA, G. V. R. ; Dias, Fábio C. S. . Algorithms for BPRN Coloring of a Digraph. In: ISCC Symposium on Computers and Communications, 2018, Natal. Proceedings of the ISCC Symposium on Computers and Communications, 2018., 2018.

GONÇALVES, E. J. T. ; DE OLIVEIRA, M. ; MONTEIRO, I. ; CASTRO, J. ; ARAUJO, J. . Understanding what is important in iStar extension proposals: the viewpoint of researchers. REQUIREMENTS ENGINEERING, p. 1, 2018.

GONÇALVES, ENYO ; DE OLIVEIRA, MARCOS ANTÔNIO ; MONTEIRO, INGRID ; CASTRO, JAELSON ; ARAÚJO, JOÃO . Understanding what is important in iStar extension proposals: the viewpoint of researchers. REQUIREMENTS ENGINEERING, v. online, p. 1-30, 2018.

LIMA, R. A. ; GUERRA, Paulo T. . An Analysis of the Sentiment Classification of Short Messages Using Wod2Vec. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2018, São Paulo, SP. Anais do XV Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2018), 2018. p. 425-436.

OLIVEIRA, F. N. ; MONTEIRO, I. T. ; SOUZA, F. F. . Proposta de Aplicativo Personalizável para Auxiliar no Desenvolvimento da Comunicação de Pessoas Autistas. In: XXIII Conferência Internacional sobre Informática na Educação, 2018, Brasília. Anais da XXIII Conferência Internacional sobre Informática na Educação, 2018. v. 14. p. 219-227.

PINHEIRO, Tânia S. M.; MONTEIRO, Ingrid T. ; FELIPE, D. A. ; SAMPAIO, A. L. . O Processo de Design Digital: endereçando o desafio da multidisciplinaridade. In: HCI Education Workshop ? Brazilian Symposium on Human Factors in Computing System, 2018, Belém. HCI Education Workshop ? Brazilian Symposium on Human Factors in Computing System, 2018.

Saraiva, G.D. ; LIMA, J.A. ; de Sousa, F.F. ; DA SILVA, J.H. ; SOUSA NETO, V.O. ; RAMIRO DE CASTRO, A.J. ; MENDES FILHO, J. . Pressure dependent Raman studies in the K 2 Mo 2 O 7 ·H 2 O crystal. VIBRATIONAL SPECTROSCOPY, v. 94, p. 89-94, 2018.

SEVERIANO, M. F. V. ; QUEIROZ, T. A. ; QUEIROZ NETO, V. P. ; Figueiredo, D. F. . O. In: Aluísio Ferreira de Lima; Idilva Maria Pires Germano; Iratan Bezerra de Sabóia; José Célio Freire. (Org.). Sujeito e Subjetividades Contemporâneas. 1ed.Fortaleza: Edições UFC/ Imprensa Universitária, 2018, v. 1, p. 171-202.

SILVA, João. Marcos. E. ; CALLADO, Arthur de Castro ; JUCÁ, P. M. . Representing Sentiment Using Colors and Particles to Provide Accessibility for Deaf and Hard of Hearing Players. In: XVII Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGAMES), 2018, Foz do Iguaçu. XVII Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGAMES), 2018.

STANCANELLI, E. M. G.; S. JUNIOR, V. A. . Simulação Computacional. In: F. Rodrigo P. Cavalcanti; Tarcisio F. Maciel; Walter C. Freitas Jr; Yuri C. B. Silva. (Org.). Comunicação móvel celular. 1ed.: Elsevier, 2018, v. 1, p. 311-348.

VASCONCELOS, DANILO ; SEVERINO, VALDENIR ; NEUMAN, JOSE ; ANDRADE, ROSSANA ; MAIA, MARCIO . Bio-Inspired Model for Data Distribution in Fog and Mist Computing. In: 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 2018, Tokyo. 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC), 2018. p. 777.

©2021 - Universidade Federal do Ceará - Campus Quixadá. Todos os direitos reservados.
Endereço: Av. José de Freitas Queiroz, 5003 – Cedro – Quixadá – Ceará 63902-580
Telefones:
Secretaria do Campus: (88) 3411-9422
Secretaria Acadêmica: (88) 3411-9410