Fabíola Gonçalves Coelho Ribeiro

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• RIBEIRO, FABÍOLA GONÇALVES C. ; RETTBERG, ACHIM ; PEREIRA, CARLOS E. ; Soares, Michel S. . An Analysis of the Value Specification Language Applied to the Requirements Engineering Process of Cyber-Physical Systems. IFAC-PapersOnLine , v. 49, p. 42-47, 2016.

• RIBEIRO, FABÍOLA GONÇALVES C. ; PEREIRA, CARLOS E. ; RETTBERG, ACHIM ; Soares, Michel S. . Model-based requirements specification of real-time systems with UML, SysML and MARTE. Software & Systems Modeling , v. 15, p. 1-19, 2016.

• Ribeiro, Fabíola Goncalves C. ; Misra, Sanjay ; Soares, Michel S. . Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems. In: Murgante, B.; Misra, S.; Carlini, M.; Torre, C. M.; Nguyen, H.; Taniar, D.; Apduhan, B. O.; Gervasi, O.. (Org.). Lecture Notes in Computer Science. 3ed.: Springer Berlin Heidelberg, 2013, v. 7973, p. 70-81.

• FABIOLA GONCALVES RIBEIRO, C. ; RETTBERGY, ACHIM ; PEREIRA, CARLOS E. ; STEINMETZ, CHARLES ; Soares, Michel S. . SPES Methodology and MARTE Constraints in Architectural Design. In: 2018 IEEE Symposium on Computers and Communications (ISCC), 2018, Natal. 2018 IEEE Symposium on Computers and Communications (ISCC), 2018. p. 00377.

• RIBEIRO, FABROLA GONCALVES c. ; RETTBERG, ACHIM ; PEREIRA, CARLOS E. ; STEINMETZ, CHARLES ; Soares, Michel S. . Model-Based Design Methodology for Early Evaluation of Real-time and Embedded Constraints. In: 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), 2018, Porto. 2018 IEEE 16th International Conference on Industrial Informatics (INDIN), 2018. p. 875.

• RIBEIRO, FABIOLA ; RETTBERG, ACHIM ; E. PEREIRA, CARLOS ; STEINMETZ, CHARLES ; S. SOARES, MICHEL . Non-functional Constraints Annotation to Real-Time Embedded System Design. In: 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2018, Salvador. 2018 VIII Brazilian Symposium on Computing Systems Engineering (SBESC), 2018. p. 219.

• RIBEIRO, F. G. C. ; STEINMETZ, CHARLES ; Retteberg, A. ; Pereira, C. E. ; Soares, M. S. . An Approach for Architectural Design of Automotive Systems using MARTE and SysML. In: 14th IEEE International Conference on Automation Science and Engineering, 2018, Munique. IEEE International Conference on Automation Science and Engineering, 2018.

• RIBEIRO, FABIOLA ; RETTBERG, ACHIM ; PEREIRA, CARLOS ; STEINMETZ, CHARLES ; SOARES, MICHEL . An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain. In: 2018 IEEE 21st International Symposium on RealTime Distributed Computing (ISORC), 2018, Singapore. 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC), 2018. p. 59.

• Ribeiro, F. G. C. ; Retteberg, A. ; Pereira, C. E. ; Soares, M. S. . Applying MARTE Profile for Optimal Automotive System Specifications and Design. In: 50th Hawaii International Conference on System Sciences (HICSS), 2017, Hawaii. Proceedings of the 50th Hawaii International Conference on System Sciences, 2017.

• Ribeiro, F. G. C. ; Retteberg, A. ; Pereira, C. E. . A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems. In: 50th Hawaii International Conference on System Sciences (HICSS), 2017, Hawaii. Proceedings of the 50th Hawaii International Conference on System Sciences, 2017.

• Ribeiro, Q. A. D. S. ; Ribeiro, F. G. C. ; Soares, M. S. . A Technique to Architect Real-time Embedded Systems with SysML and UML through Multiple Views. In: International Conference on Enterprise Information Systems (ICEIS), 2017, Porto. Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS, 2017. v. 2. p. 287-294.

• Ribeiro, F. G. C. ; Retteberg, A. ; Pereira, C. E. ; Soares, Michel S. . Guidelines for Using MARTE Profile Packages Considering Concerns of Real-Time Embedded Systems. In: IEEE 15th International Conference on Industrial Informatics, 2017, Emden. 15TH INTERNATIONAL CONFERENCE OF INDUSTRIAL INFORMATICS (INDIN), 2017.

• Ribeiro, F. G. C. ; Retteberg, A. ; Pereira, C. E. ; Soares, M. S. . Annotating SysML Models with MARTE Time Stereotypes for Requirements Specification and Design of Real-Time Systems. In: 7th IEEE Workshop on Self-Organizing Real-Time Systems, 2016, York, UK. Proc. of the 7th IEEE Workshop on Self-Organizing Real-Time Systems, 2016.

• RIBEIRO, FABIOLA GONCALVES C. ; Soares, Michel S. . A metamodel for tracing requirements of real-time systems. In: 2013 IEEE 16th International Symposium on Object/Component/ServiceOriented RealTime Distributed Computing (ISORC), 2013, Paderborn. 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013). v. v.1. p. 1-10.

• RIBEIRO, F. G. C. ; Soares, M. S. . An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes. In: 15th International Conference on Enterprise Information Systems, 2013, Angers. Proceedings of the 15th International Conference on Enterprise Information Systems. p. 70-81.

• RIBEIRO, F. G. C. ; Misra, S. ; Soares, M. S. . Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems. In: 13th International Conference on Computational Science and Its Applications (ICCSA), 2013, Ho Chi Minh, Vietnam. Computational Science and Its Applications, 2013. v. 7973. p. 70-81.

• RIBEIRO, F. G. C. ; DUARTE, M. S. . Uma abordagem simples sobre as técnicas de Agrupamento de Imagens Digitais. In: 5°Amostra Científica de Graduação e Pós-Graduação do CESUC/FATECA, 2007, Catalão. 5°Amostra Científica de Graduação e Pós-Graduação, 2007. v. Unico.

• RIBEIRO, F. G. C. ; DUARTE, M. S. . Estudo sobre as principais técnicas de Caracterização aplicadas ao Agrupamento de Imagens Digitais. In: 5°Amostra Científica de Graduação e Pós-Graduação do CESUC/FATECA, 2007, Catalão. 5°Amostra Científica de Graduação e Pós-Graduação, 2007.

• RIBEIRO, F. G. C. ; DUARTE, M. S. . Técnicas de Caracterização de Imagens Digitais e suas principais Aplicabilidades. In: III Simpósio de Ensino, Pesquisa, Extensão e Cultura - SEPEC, 2007, Catalão. III Simpósio de Ensino, Pesquisa, Extensão e Cultura - SEPEC, 2007.

• RIBEIRO, F. G. C. ; DUARTE, M. S. . O Processamento de Imagens Digitais Utilizando Técnicas de Clustering Automático de Dados. In: III Simpósio de Ensino, Pesquisa, Extensão e Cultura - SEPEC, 2007, Catalão. III Simpósio de Ensino, Pesquisa, Extensão e Cultura - SEPEC, 2007.

• Ribeiro, F. G. C. ; Soares, M. S. ; Retteberg, A. ; Pereira, C. E. . Multi-formalism in Different Levels of Abstraction for Requirements Engineering and Design of Real-Time Systems. In: PhD Forum of Design, Automation and Testin Europe (DATE), 2018, Dresden. DATE PhD Forum, 2018.

• Ribeiro, F. G. C. ; Retteberg, A. ; Pereira, C. E. ; Soares, M. S. . An Analysis of the Value Specification Language Applied to the Requirements Engineering Process of Cyber-Physical Systems. 2016. (Apresentação de Trabalho/Simpósio).

• Ribeiro, Fabíola Goncalves C. ; Soares, M. S. . A Metamodel for Tracing Requirements of Real-Time Systems. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• RIBEIRO, F. G. C. . A importância da engenharia de requisitos para o ciclo de desenvolvimento de software de tempo real. 2012. (Apresentação de Trabalho/Comunicação).

• RIBEIRO, F. G. C. . Abordagens para especificação de requisitos de tempo real. 2012. (Apresentação de Trabalho/Comunicação).

• RIBEIRO, F. G. C. ; Soares, M. S. . Modelagem de Requisitos de Software de Tempo-Real usando SysML e MARTE. 2012. (Apresentação de Trabalho/Comunicação).

• RIBEIRO, F. G. C. ; DUARTE, M. S. . Uma abordagem simples sobre as técnicas de Agrupamento de Imagens Digitais. 2007. (Apresentação de Trabalho/Simpósio).

• RIBEIRO, F. G. C. ; DUARTE, M. S. . Estudo sobre as principais técnicas de Caracterização aplicadas ao Agrupamento de Imagens Digitais. 2007. (Apresentação de Trabalho/Simpósio).

• RIBEIRO, F. G. C. ; Finzi Neto, R. M. . SDNF- Sistema de Diário de Notas e Frequências. 2005. (Apresentação de Trabalho/Simpósio).

Projetos de pesquisa

• 2014 - Atual

  Uma Abordagem Multi-formalismo em Diferentes Níveis de Abstração para Projeto de Software Intensive Systems, Descrição: O foco desta pesquisa é a área de Projeto de Software, incluindo a definição da arquitetura e o projeto detalhado, com aplicação nos chamados software-intensive systems, sistemas de software altamente distribuídos, implementados em plataformas heterogêneas, muitas vezes sistemas legados envolvidos em arquiteturas orientadas a serviços, operando em ambientes dinâmicos e de difícil previsibilidade. Apesar de diversos métodos, procedimentos e ferramentas terem sido desenvolvidos para a engenharia de software-intensive systems, muitas deficiências ainda podem ser encontradas. Uma abordagem baseada em vários formalismos, múltiplos níveis de abstração, usando diferentes linguagens de modelagem em conjunto, cada uma responsável por diferentes aspectos do sistema, tem maiores possibilidades de sucesso. O objetivo deste projeto é elaborar, desenvolver, aplicar e avaliar a utilização de uma abordagem baseada em multi-formalismos em diferentes níveis de abstração para a engenharia de software-intensive systems. Serão desenvolvidos métodos, procedimentos e ferramentas para a engenharia de software-intensive systems, com aplicações em domínios como sistemas distribuídos de tempo real e em sistemas de informação em saúde. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (5) Doutorado: (3) . , Integrantes: Fabíola Gonçalves Coelho Ribeiro - Integrante / Michel dos Santos Soares - Coordenador / Vrancken, J. L. M - Integrante / Joyce Meire da Silva França - Integrante / Marcel da Silva Melo - Integrante / Adicineia Aparecida de Oliveira - Integrante / Josimar de Souza Lima - Integrante / Fernanda Gomes Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2014 - Atual

  Multi-formalismo em Níveis para Engenharia de Requisitos e Design de Sistemas de Tempo Real, Descrição: A modelagem de aplicações de tempo real não é um processo trivial, pois o projeto das mesmas deverá conter, na maioria dos casos, uma análise distribuída em rede do comportamento e disposição dos diversos componentes do sistema, como por exemplo, os sensores e atuadores, que estão aptos, respectivamente, a captar estímulos gerados externamente e a responder a tais estímulos dentro de um intervalo de tempo finito e especificável. O profile MARTE permite a modelagem precisa de fenômenos tais como tempo, concorrência, plataformas de software e hardware e, ainda, suas características quantitativas e por esta razão este profile será estudado em totalidade para que, ao longo desta pesquisa, seja possível propor um arcabouço consistente e robusto para representação, compreensão e modelagem de modelos que apresentem artefatos da engenharia de requisitos e projeto de Sistemas de Tempo Real.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Fabíola Gonçalves Coelho Ribeiro - Coordenador / Michel dos Santos Soares - Integrante.

• 2012 - 2014

  Modelagem e Análise de Sistemas Distribuídos de Tempo Real Usando MARTE e SysML, Descrição: O desenvolvimento de sistemas distribuídos de tempo real é uma atividade complexa por vários motivos. Um problema comum desses sistemas é a necessidade de comunicação entre sensores, atuadores e outros componentes físicos que geralmente estão distribuídos no ambiente. Ou seja, o sistema deve constantemente receber dados do ambiente e enviar dados de controle aos componentes físicos distribuídos no ambiente. Desta forma, existe um esforço de comunicação entre esses elementos, sendo que deve-se respeitar os requisitos temporais determinados nas especificações de requisitos. O problema do tempo real torna-se ainda mais complexo devido a própria distribuição dos componentes do sistema. Outra justificativa para a complexidade é a necessidade de modelar diversas características inerentes de sistemas distribuídos de tempo real, como recursos compartilhados, restrições temporais, distribuição de elementos, e componentes físicos. Ou seja, software é um componente do sistema, e não basta que apenas o software seja modelado. É preciso modelar os diversos componentes do sistema. Para isso, as linguagens de modelagem devem ser capazes de modelar software, hardware, pessoas, procedimentos, sensores, atuadores, comunicação, e recursos em geral. Assim, torna-se virtualmente impossível que a modelagem seja realizada utilizando-se apenas uma única linguagem de modelagem ou formalismo da Engenharia de Software. Uma abordagem que provê o suporte para o uso de diferentes linguagens de modelagem em conjunto, cada uma responsável por diferentes aspectos do sistema, tem maiores possibilidades de sucesso.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (5) . , Integrantes: Fabíola Gonçalves Coelho Ribeiro - Integrante / Michel dos Santos Soares - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

• 2010 - 2010

  A Transformação no Desenvolvimento Regional e na Economia Social em Catalão promovida com a instalação da empresa John Deere, Descrição: Nos últimos anos o desenvolvimento regional tem passado por algumas transformações, essas mudanças vêm ocorrendo devido às crises das regiões industriais. Influenciando as indústrias a procurarem oportunidades de se instalarem em novas regiões. Este trabalho discutiu sobre a empresa John Deere e teve como objetivo analisar os impactos econômicos positivos proporcionados pela sua implantação em Catalão.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Fabíola Gonçalves Coelho Ribeiro - Coordenador / Wellington Alves da Fonseca - Integrante.

• 2009 - 2010

  A Segurança da Informação e Engenharia de Requisitos em Relação à Segurança de Redes, Descrição: Este trabalho teve como objetivo estudar as políticas para fortalecer a segurança em uma rede e explorar os diversos meios e requisitos para obter tal segurança. Sendo que estes são grandes aliados aos gerenciadores de redes, pois tendem a melhorar a segurança em corporações protegendo um dos principais bens de uma organização, a sua informação. E ainda, realizar o estudo de caso em uma rede de comunicações real analisando sua infra-estrutura de rede e como a tal organização implementa os requisitos de segurança, tanto em redes como para suas informações, para prover garantias de segurabilidade de seus dados e comunicações.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Fabíola Gonçalves Coelho Ribeiro - Coordenador / Márcio de Souza Duarte - Integrante.

• 2007 - 2008

  Técnicas de Caracterização de Imagens Digitais e suas principais Aplicabilidades, Descrição: O crescimento das técnicas de processamento de imagens digitais ocorrido nas últimas décadas proporcionou o surgimento de muitas aplicações que manipulam e extraem informações presentes em imagens. Dentre elas o Agrupamento de Imagens Digitais que pode ser utilizado para agregar ou segmentar imagens com características que atendem algum padrão e, ainda, como pré-processamento para outras técnicas de processamento de imagens digitais.Diante disso, este trabalho explora detalhadamente as técnicas de Agrupamento de Dados para aplicá-las ao Agrupamento de Imagens Digitais, utilizando para tal fim uma avaliação experimental dos algoritmos de particionamento K-means e k-medoide. Foram feitas comparações quanto a aplicabilidade e qualidade dos resultados gerados pelos mesmos no contexto de agrupamento e segmentação de imagens, no intuito de oferecer mais uma "ferramenta" de auxílio as técnicas de Processamento de Imagens Digitais. Os resultados obtidos confirmam o alto custo computacional do algoritmo k-medoide, ficando este restrito a agrupamento de dados com poucos elementos, apesar de seus resultados robustos. Já o algoritmo k-means mostra-se uma alta escalabilidade, porém, é altamente sensível à escolha dos centros iniciais. Quando este problema foi tratado através de sua implementação interativa, este mostrou resultados bastante satisfatórios.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Fabíola Gonçalves Coelho Ribeiro - Coordenador / Márcio de Souza Duarte - Integrante.

Prêmios