André Luiz de Oliveira

Pós-doutorado

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

• GRECHI, VICTOR LUIZ ; DE OLIVEIRA, ANDRÉ LUIZ ; BRAGA, ROSANA T. VACCARE . Model-driven safety and security co-analysis: A systematic literature review. JOURNAL OF SYSTEMS AND SOFTWARE , v. 220, p. 112251, 2024.

• SILVA, EDELBERTO FRANCO ; FIGUEIREDO, LUCAS M. ; DE OLIVEIRA, LEONARDO A. ; CHAVES, LUCIANO J. ; DE OLIVEIRA, ANDRÉ L. ; ROSÁRIO, DENIS ; CERQUEIRA, EDUARDO . Adaptive Parameters for LoRa-Based Networks Physical-Layer. SENSORS , v. 23, p. 4597, 2023.

• GALLINA, BARBARA ; MONTECCHI, LEONARDO ; DE OLIVEIRA, ANDRE LUIZ ; BRESSAN, LUCAS PAIVA . Multiconcern Dependability-Centered Assurance via Qualitative and Quantitative Coanalysis. IEEE SOFTWARE , v. n/a, p. 9756507-10, 2022.

• DE OLIVEIRA, ANDRÉ LUIZ ; BRAGA, ROSANA ; MASIERO, PAULO ; PARKER, DAVID ; PAPADOPOULOS, YIANNIS ; HABLI, IBRAHIM ; KELLY, TIM . Variability management in safety-critical systems design and dependability analysis. Journal of Software-Evolution and Process , v. 31, p. e2202-28, 2019.

• OLIVEIRA, A. L. ; BRAGA, R. T. V. ; MASIERO, P. C. ; PAPADOPOULOS, Y. ; HABLI, I. ; KELLY, T. P. . Model-based safety analysis of software product lines. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS , v. 8, p. 412-426, 2016.

• DE OLIVEIRA, ANDRÉ L. ; PAPADOPOULOS, YIANNIS ; AZEVEDO, LUÍS S. ; PARKER, DAVID ; BRAGA, ROSANA T.V. ; MASIERO, PAULO C. ; HABLI, IBRAHIM ; KELLY, TIM . Automatic Allocation of Safety Requirements to Components of a Software Product Line. IFAC-PapersOnLine , v. 48, p. 1309-1314, 2015.

• OLIVEIRA, A. L. ; Ricardo G. Coelho ; MENOLLI, A. L. A. . Uma Proposta de Arquitetura de Software para o Desenvolvimento de Aplicações de Ambiente Multiplataforma`. Diálogos & Saberes (Mandaguari) , v. 3, p. 73-79, 2007.

• Nascimento, Luis ; DE OLIVEIRA, ANDRE L. ; Villela, Regina ; Wei, Ran ; Hawkins, Richard ; KELLY, TIM . From Fault Tree Analysis to Runtime Model-Based Assurance Cases. Lecture Notes on Data Engineering and Communications Technologies. 1ed.: Springer Nature Switzerland, 2024, v. , p. 451-464.

• NASCIMENTO, L. ; LUIZ DE OLIVEIRA, ANDRÉ ; VILLELA, R. ; WEI, R. ; HAWKINS, R. ; KELLY, T. P. . Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. In: Barolli, L.. (Org.). Advanced Information Networking and Applications. AINA 2023. Lecture Notes in Networks and Systems. 1ed.Heidelberg: Springer, 2023, v. 661, p. 534-546.

• BRESSAN, L. P. ; OLIVEIRA, ANDRÉ L. DE ; CAMPOS, F. C. A. ; MONTECCHI, LEONARDO ; CAPILLA, R. ; PARKER, D. J. ; ASLANSEFAT, K. ; PAPADOPOULOS, YIANNIS . Modeling the Variability of System Safety Analysis using State-Machine Diagrams. In: Seguin, C., Zeller, M., Prosvirnova, T.. (Org.). Model-Based Safety and Assessment. IMBSA 2022. Lecture Notes in Computer Science. 1ed.Heidelberg: Springer, 2022, v. 13525, p. 43-59.

• LOPES, SAMUEL ; SOUZA, R. C. G. ; CONTESSOTO, ALLAN ; OLIVEIRA, ANDRÉ L. DE ; BRAGA, ROSANA . Automated Support for Risk Management in Scrum Agile Projects. Automated Support for Risk Management in Scrum Agile Projects. 1ed.: , 2022, v. 455, p. 236-255.

• Bressan, Lucas ; Pioli, Laércio ; Dantas, Mario A. R. ; Campos, Fernanda ; DE OLIVEIRA, ANDRÉ L. . An Approach to Support the Design and the Dependability Analysis of High Performance I/O Intensive Distributed Systems. Lecture Notes in Networks and Systems. 1ed.: Springer International Publishing, 2021, v. 158, p. 29-40.

• Bressan, Lucas ; DE OLIVEIRA, ANDRÉ L. ; Campos, Fernanda ; PAPADOPOULOS, YIANNIS ; PARKER, DAVID . An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2020, v. 12297, p. 179-193.

• DE OLIVEIRA, ANDRÉ LUIZ ; Braga, Rosana T. V. ; MASIERO, PAULO C. ; PAPADOPOULOS, YIANNIS ; HABLI, IBRAHIM ; KELLY, TIM . Variability Management in Safety-Critical Software Product Line Engineering. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 3-22.

• OLIVEIRA, A. L. ; BRAGA, ROSANA T.V. ; MASIERO, PAULO C. ; PAPADOPOULOS, YIANNIS ; HABLI, IBRAHIM ; KELLY, TIM . Supporting the Automated Generation of Modular Product Line Safety Cases. In: Wojciech Zamojski; Jacek Mazurkiewicz; Jarosław Sugier; Tomasz Walkowiak; Janusz Kacprzyk. (Org.). Theory and Engineering of Complex Systems and Dependability. 1ed.Heidelberg: Springer International Publishing, 2015, v. 365, p. 319-330.

• OLIVEIRA, A. L. ; MENOLLI, A. L. A. ; Ricardo G. Coelho . Uma Proposta de Arquitetura de Software para o Desenvolvimento de Aplicações de Ambiente Multiplataforma. Di'alogos e Saberes, Mandaguari, p. 73 - 79, 15 jul. 2007.

• Nascimento, Luis ; LUIZ DE OLIVEIRA, ANDRÉ ; BRAGA, REGINA ; SILVA, E. F. ; WEI, R. ; Hawkins, Richard ; KELLY, TIM . Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems. In: The 39-th International Conference on Advanced Information Networking and Applications, 2025, Barcelona. Advanced Information Networking and Applications., 2025.

• GRECHI, VICTOR LUIZ ; LUIZ DE OLIVEIRA, ANDRÉ ; BRAGA, ROSANA ; MONTECCHI, L. ; GALLINA, B . Integrating Attack-Fault Trees in the ODE Metamodel for Security and Safety Co-Analysis in the Automotive Domain.. In: IEEE COMPSAC Conference, 2025, Toronto. Proceedings of the 2025 IEEE COMPSAC Conference. Toronto: IEEE, 2025. v. 00. p. 00-000.

• FERRAO, I. G. ; LUIZ DE OLIVEIRA, ANDRÉ ; ESPES, D. ; Dezan, C. ; BRANCO, K. R. L. J. C. . Smart Self-Diagnosis Method for GPS Attacks and Safety Faults in UAVs. In: International Conference on Unmanned Aircraft Systems (ICUAS), 2024, Chania, Creta. Proceedings of the 2024 International Conference on Unmanned Aircraft Systems, 2024.

• MEDEIROS, AUGUSTO CASTILHO DE ; VALLE, PEDRO HENRIQUE DIAS ; OLIVEIRA, ANDRÉ LUIZ DE . Heurísticas para a Avaliação de Acessibilidade em Chatbots. In: Workshop sobre Bots na Engenharia de Software, 2024, Brasil. Anais do I Workshop sobre Bots na Engenharia de Software (WBOTS 2024), 2024. p. 50.

• TEIXEIRA, LEONARDO VENÂNCIO ; OLIVEIRA, ANDRÉ LUIZ DE ; VALENTE, FREDY JOÃO ; FERRARI, FABIANO ; CAMARGO, VALTER VIEIRA DE . Towards a Product Line for Electronic Shelf Labels Domain. In: Workshop de Visualização, Evolução e Manutenção de Software, 2024, Brasil. Anais do XII Workshop de Visualização, Evolução e Manutenção de Software (VEM 2024), 2024. p. 56.

• SILVA, IZAQUE ; GOMES, JONAS ; BRAGA, REGINA ; DAVID, JOSÉ MARIA N. ; STROELE, VICTOR ; SOARES, RÔMULO ; OLIVEIRA, VITÓRIA ; DE OLIVEIRA, ANDRÉ LUIZ . AI-Based development on software ecosystem platforms. In: SBES 2023: XXXVII Brazilian Symposium on Software Engineering, 2023, Campo Grande Brazil. Proceedings of the XXXVII Brazilian Symposium on Software Engineering, 2023. p. 148.

• ROSSI, DIEGO ; Bressan, Lucas ; Campos, Fernanda ; OLIVEIRA, ANDRÉ ; STRÖELE, VICTOR . Educational Software and Security Vulnerabilities: an experimental study. In: Simpósio Brasileiro de Informática na Educação, 2023, Brasil. Anais do XXXIV Simpósio Brasileiro de Informática na Educação (SBIE 2023), 2023. p. 264.

• BRESSAN, L. P. ; OLIVEIRA, ANDRÉ L. DE ; CAMPOS, F. C. A. ; MONTECCHI, LEONARDO ; CAPILLA, R. ; PARKER, D. J. ; ASLANSEFAT, K. ; PAPADOPOULOS, YIANNIS . Modeling the Variability of System Safety Analysis using State-Machine Diagrams. In: 8th International Symposium on Model-Based Safety Assessment, 2022, Munich. Proceedings of the 8th International Symposium on Model-Based Safety Assessment. Heidelberg: Springer, 2022. v. 13525. p. 43-59.

• BRESSAN, L. P. ; OLIVEIRA, A. L. ; CAMPOS, F. C. A. ; CAPILLA, R. . A variability modeling and transformation approach for safety-critical systems. In: 15th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS?21), 2021, Krems, Áustria. Proceedings of the nternational Working Conference on Variability Modelling of Software-Intensive Systems, 2021.

• LOPES, SAMUEL ; CONTESSOTO, ALLAN ; LUIZ DE OLIVEIRA, ANDRÉ ; GRATÃO DE SOUZA, ROGÉRIA ; BRAGA, ROSANA . A Risk Management Framework for Scrum Projects. In: 23rd International Conference on Enterprise Information Systems, 2021, Online Streaming. Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021. p. 30.

• Bressan, Lucas ; Pioli, Laércio ; Dantas, Mario A. R. ; CAMPOS, F. C. A. ; LUIZ DE OLIVEIRA, ANDRÉ . An Approach to Support the Design and the Dependability Analysis of High Performance I/O Intensive Distributed Systems. In: International Conference on P2P, Parallel, Grid, Cloud and Internet Computing 3PGCIC 2020: : Advances on P2P, Parallel, Grid, Cloud and Internet Computing, 2021, Yonago. Lecture Notes in Networks and Systems. Heidelberg: Springer Cham., 2020. v. 158. p. 29-40.

• Bressan, Lucas ; DE OLIVEIRA, ANDRE L. ; Campos, Fernanda . An Approach to Support Variant Management on Safety Analysis using CHESS Error Models. In: 2020 16th European Dependable Computing Conference (EDCC), 2020, Munich. 2020 16th European Dependable Computing Conference (EDCC), 2020. p. 135.

• Bressan, Lucas ; BRAGA, REGINA ; Campos, Fernanda ; OLIVEIRA, ANDRÉ . An ontology-based approach to support the certification of Safety-Critical Software Product Lines. In: Seminário Integrado de Software e Hardware, 2020, Brasil. Anais do Seminário Integrado de Software e Hardware (SEMISH 2020). Porto Alegre: Sociedade Brasileira de Computação, 2020. p. 81-92.

• LOPES, SAMUEL DE SOUZA ; VARGAS, IOHAN GONCALVES ; OLIVEIRA, ANDRE LUIZ DE ; BRAGA, ROSANA T. VACCARE . Risk Management for System of Systems: A Systematic Mapping Study. In: 2020 IEEE International Conference on Software Architecture Companion (ICSAC), 2020, Salvador. 2020 IEEE International Conference on Software Architecture Companion (ICSA-C), 2020. p. 258-265.

• OLIVEIRA, ANDRE L. DE ; BRAGA, ROSANA T.V. ; MASIERO, P. C. ; PAPADOPOULOS, YIANNIS ; HABLI, IBRAHIM ; KELLY, TIM . Variability management in safety-critical software product line engineering. In: 17th International Conference on Software Reuse, 2018, Madri. Proceedings of the 17th International Conference on Software Reuse, Lecture Notes on Computer Science (to appear). Londres: Springer, 2018.

• BRESSAN, L. P. ; OLIVEIRA, ANDRE L. DE ; MONTECCHI, L. ; GALLINA, B . A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. In: 14th European Dependable Computing Conference, 2018, Iasi. Proceedings of the 14th 14th European Dependable Computing Conference, 2018.

• Franco, M. L. ; BRANCO, K. R. L. J. C. ; OLIVEIRA, ANDRE L. DE ; BRAGA, ROSANA T.V. ; Dezan, C. ; Diget, J. . Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study. In: 4th Workshop on Safety and Security of Intelligent Vehicles, in IEEE/IFIF International Conference on Dependable Systems and Networks, 2018, Luxemburgo. Proceedings of the 4th Workshop on Safety and Security of Intelligent Vehicles, 2018.

• PINTO, V. H. S. C. ; DURELLI, R. S. ; OLIVEIRA, A. L. ; Camargo . Evaluating the Effort for Modularizing Multiple-Domain Frameworks Towards Framework Product Lines with Aspect-oriented Programming and Model-driven Development. In: 16th International Conference on Enterprise Information Systems, 2014, Lisbon. Proceedings of the 16th International Conference on Enterprise Information Systems. v. 1. p. 60-70.

• OLIVEIRA, ANDRE L. DE ; BRAGA, ROSANA T.V. ; MASIERO, PAULO C. ; PAPADOPOULOS, YIANNIS ; HABLI, IBRAHIM ; KELLY, TIM . A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products. In: 2014 Brazilian Symposium on Computing Systems Engineering (SBESC), 2014, Manaus. 2014 Brazilian Symposium on Computing Systems Engineering. p. 7-12.

• OLIVEIRA, A. L. ; BRAGA, ROSANA T.V. ; MASIERO, PAULO C. ; HABLI, IBRAHIM ; KELLY, TIM . A Pattern to Argue the Compliance of the System Safety Requirements Decomposition. In: 10th Latin American Conference on Pattern Language of Programs (SugarLoaf PLoP), 2014, Ilhabela - SP. Proceedings of the 10th Latin American Conference on Pattern Language of Programs (SugarLoaf PLoP), 2014. v. n/a.

• DE OLIVEIRA, ANDRÉ LUIZ ; FERRARI, FABIANO CUTTIGI ; PENTEADO, ROSÂNGELA A. DELLOSSO ; DE CAMARGO, VALTER VIEIRA . Investigating framework product lines. In: the 27th Annual ACM Symposium, 2012, Trento. Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12. p. 1177.

• OLIVEIRA, A. L. ; FERRARI, F. C. ; MASIERO, PAULO C. ; Penteado ; Camargo . A Design Strategy to Facilitate the Instantiation Process of White-Box Frameworks. In: 6th American Workshop on Aspect-Oriented Software Development Advanced Modularization Techniques, XXVI Simpósio Brasileiro de Engenharia de Software, 2012, Natal - RN. Proceedings of the 6th American Workshop on Aspect-Oriented Software Development Advanced Modularization Techniques, 2012. p. 1-6.

• OLIVEIRA, A. L. ; Camargo ; Penteado . Manutenção de Frameworks Orientados a Objetos com Orientação a Aspectos. In: VII Workshop de Manutenção de Software Moderna, 2010, Belém. Anais do VII Workshop de Manutenção de Software Moderna, 2010.

• Lazanha ; OLIVEIRA, A. L. ; Penteado ; Camargo . Uma Arquitetura de Referência Baseada em Papéis para Frameworks Transversais de Persistência: Uma Análise Quantitativa. In: XXXVI Conferência Latino-americana de Informática, 2010, Assunção. Anais da XXXVI Conferência Latino-americana de Informática, 2010.

• OLIVEIRA, A. L. ; Camargo ; Penteado . Modularização Orientada a Aspectos do Framework GRENJ. In: III Latin American Workshop on Aspect-Oriented Software Development, 2009, Fortaleza-Ceárá-Brasil. Anais do LA-WASP (Latin American Workshop on Aspect-Oriented Development). Fortaleza: Universidade Federal de Ceará, 2009. p. 12-17.

• OLIVEIRA, A. L. ; MENOLLI, A. L. A. ; Ricardo G. Coelho . A PROPOSAL OF SOFTWARE ARCHITECTURE FOR MULTIPLATFORM ENVIRONMENT APPLICATIONS DEVELOPMENT - A Quantitative Study. In: 10th International Conference on Enterprise Information Systems, 2008, Barcelona. Proceedings of the Tenth International Conference on Enterprise Information Systems. v. 97898. p. 397-404.

• OLIVEIRA, A. L. ; MENOLLI, A. L. A. ; Ricardo G. Coelho . IMPLEMENTING THE DATA ACCESS OBJECT PATTERN USING ASPECTJ. In: 10th International Conference on Enterprise Information Systems, 2008, Barcelona. Proceedings of the Tenth International Conference on Enterprise Information Systems. p. 523-530.

• OLIVEIRA, A. L. ; MENOLLI, A. L. A. ; Ricardo G. Coelho . Separating Data Access Crosscuting Concerns Using AspectJ, A Quantitative Assessment. In: International Conference on Software Engineering, 2008, Innsbruck. Proceedings of International Conference on Software Engineering. Anaheim, CA, USA: ACTA Press, 2008. p. 137-146.

• OLIVEIRA, A. L. ; MENOLLI, A. L. A. ; Ricardo G. Coelho ; Camargo ; Ramos ; Penteado . Um Estudo Quantitativo da Implementações Orientadas a Aspectos do Padrão Data Access Object. In: II Latin American Workshop on Aspect-Oriented Software Development, 2008, Campinas-SP. II Latin American Workshop on Aspect-Oriented Software Development LA-WASP, 2008.

• OLIVEIRA, A. L. ; Ricardo G. Coelho ; MENOLLI, A. L. A. . Uma Proposta de Arquitetura de Software para o Desenvolvimento de Aplicações de Ambiente Multiplataforma. In: IV Semana de Informática da Fafiman, 2007, Mandaguari-Paraná. Uma Proposta de Arquitetura de Software para o Desenvolvimento de Aplicações de Ambiente Multiplataforma. Mandaguari: Fundação Fafiman, 2007. v. 1. p. 27-27.

• DELLA MURA, W. ; OLIVEIRA, A. L. . Detecção automática da área foliar da soja danificada pela lagarta (Anticarsia gemmatalis) utilizando processamento digital de imagens. In: Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, 2007, Belo Horizonte. Proceedings of Brazilian Simposium on Computer Graphics and Image Processing, 2007.

• OLIVEIRA, A. L. ; MENOLLI, A. L. A. ; Ricardo G. Coelho . Uma Proposta de Arquitetura de Software Baseada em Padrões. In: Encontro Paranaense de Computação, 2007, Cascavel-PR. Anais do Encontro Paranaense de Computação, 2007.

• DELLA MURA, W. ; OLIVEIRA, A. L. ; SGARBI, E. M. ; SACHS, L. G. . Determinação da área foliar danificada por pragas da soja utilizando processamento digital de imagens. In: IV Seminário de Computação da Universidade Estadual de Londrina, 2007, Londrina - PR. Anais do IV Seminário de Computação da Universidade Estadual de Londrina, 2007.

• OLIVEIRA, A. L. ; BRAGA, ROSANA T.V. ; MASIERO, PAULO C. ; HABLI, IBRAHIM ; KELLY, TIM . Impact of Feature Interaction on the Safety Analysis for Unmanned Avionics Product Lines. In: 32nd The International Conference on Computer Safety, Reliability and Security (SAFECOMP), Fast Abstracts, 2013, Toulouse. Proccedings of the 32nd The International Conference on Computer Safety, Reliability and Security (SAFECOMP) - Fast Abstracts, 2013.

• OLIVEIRA, A. L. ; Penteado ; FERRARI, F. C. ; BRAGA, ROSANA T.V. ; Camargo . Restructuring Frameworks towards Framework Product Lines. In: 6th Latin- American Workshop on Aspect-Oriented Software Development Advanced Modularization Techniques, XXVI Simpósio Brasileiro de Engenharia de Software,, 2012, Natal - RN. Proceedings of the 6th Latin-American Workshop on Aspect-Oriented Software Development Advanced Modularization Techniques, 2012.

• OLIVEIRA, A. L. ; Penteado ; FERRARI, F. C. ; Camargo . Evolving frameworks into framework product lines. In: V Workshop Latino-Americano em Desenvolvimento de Software Orientado a Aspectos, XXV Simpósio Brasileiro de Engenharia de Software, 2011, São Paulo - SP. Anais do V Workshop Latino-Americano em Desenvolvimento de Software Orientado a Aspectos, 2011.

• OLIVEIRA, A. L. ; Penteado ; FERRARI, F. C. ; Camargo . Evolução de framework caixa-branca com aspectos, interfaces e anotações para facilitar o processo de instanciação. In: V Workshop Latino-Americano em Desenvolvimento de Software Orientado a Aspectos, XXV Simpósio Brasileiro de Engenharia de Software, 2011, São Paulo - SP. Anais do V Workshop Latino-Americano em Desenvolvimento de Software Orientado a Aspectos, 2011.

• VENTURELLI, N. B. ; ZAPPAROLI, R. A ; REIS, J. A. J ; OLIVEIRA, A. L. ; LOURENÇO, C. C. ; SACHS, P. J. D ; SACHS, L. G. . Modelo Matemático para a Determinação de Área Foliar: II ? Folhas de Jaqueira. In: I Fórum de Biotecnologia do Vale do Paranapanema, 2006, Assis-SP. I Fórum de Biotecnologia do Vale do Paranapanema Novos rumos para o dessenvolvimento. Assis-SP: Universidade Estadual Paulista, 2006. v. 1. p. 122-122.

• VENTURELLI, N. B. ; ZAPPAROLI, R. A ; REIS, J. A. J ; OLIVEIRA, A. L. ; LOURENÇO, C. C. ; SACHS, P. J. D ; SACHS, L. G. . Modelo Matemático para a Determinação de Área Foliar: III ? Folha de Mangueira. In: I Fórum de Biotecnologia do Vale do Paranapanema, 2006, Assis-SP. I Fórum de Biotecnologia do Vale do Paranapanema Novos rumos para o dessenvolvimento. Assis-SP: Universidade Estadual Paulista, 2006. v. 1. p. 123-123.

• OLIVEIRA, A. L. ; Camargo ; FERRARI, F. C. ; Penteado . A Process to Evolve Frameworks into Product Lines Using Aspect-Oriented Programming. In: Variability and Composition Workshop, 10th International Conference on Aspect-Oriented Software Development, 2011, Porto de Galinhas - PE. Proceedings of the Variability and Composition Workshop, 10th International Conference on Aspect-Oriented Software Development, 2011.

• GALLINA, BARBARA ; MONTECCHI, L. ; LUIZ DE OLIVEIRA, ANDRÉ ; Bressan, Lucas . Multiconcern, Dependability- Centered Assurance Via a Qualitative and Quantitative Coanalysis. 2023. (Apresentação de Trabalho/Simpósio).

• OLIVEIRA, A. L. . Safety Analysis and Requirements Allocation for Software Product Lines. 2020. (Apresentação de Trabalho/Comunicação).

• OLIVEIRA, A. L. ; BRAGA, R. T. V. ; MASIERO, P. C. ; PAPADOPOULOS, Y. ; HABLI, I. ; KELLY, T. P. . Supporting the Automated Generation of Modular Product Line Safety Cases. 2015. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. ; BRAGA, R. T. V. ; MASIERO, P. C. ; PAPADOPOULOS, Y. ; AZEVEDO, L. S. ; PARKER, D. J. . Automatic Allocation of Safety Requirements to Components of a Software Product Line. 2015. (Apresentação de Trabalho/Simpósio).

• OLIVEIRA, A. L. ; BRAGA, R. T. V. ; MASIERO, P. C. ; HABLI, I. ; KELLY, T. P. . A Pattern to Argue the Compliance of the System Safety Requirements Decomposition. 2014. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. ; BRAGA, R. T. V. ; MASIERO, P. C. ; PAPADOPOULOS, Y. ; HABLI, I. ; KELLY, T. P. . A Model Based Approach to Support Automatic Safety Analysis of Multiple Product Line Products. 2014. (Apresentação de Trabalho/Simpósio).

• OLIVEIRA, A. L. ; BRAGA, R. T. V. ; MASIERO, P. C. ; HABLI, I. ; KELLY, T. P. . Impact of Feature Interaction on the Safety Analysis for Unmanned Avionics Product-Lines. 2013. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. ; Camargo ; Penteado ; FERRARI, F. C. . Investigating Framework Product Lines. 2012. (Apresentação de Trabalho/Simpósio).

• OLIVEIRA, A. L. ; FERRARI, F. C. ; Penteado ; Camargo ; MASIERO, P. C. . A Design Strategy to Facilitate the Instantiation Process of White-Box Frameworks. 2012. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. ; FERRARI, F. C. ; Penteado ; Camargo ; BRAGA, R. T. V. . Restructuring Frameworks Towards Framework Product Lines. 2012. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. ; FERRARI, F. C. ; Camargo ; Penteado . Evolving Frameworks into Framework Product Lines. 2011. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. ; Camargo ; FERRARI, F. C. ; Penteado . A Process to Evolve Frameworks into Product Lines Using Aspect-Oriented Programming. 2011. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. ; Penteado ; FERRARI, F. C. ; Camargo . Evolução de framework caixa-branca com aspectos, interfaces e anotações para facilitar o processo de instanciação. 2011. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. . Palestra: Evolução dos Paradigmas de Linguagens de Programação. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• OLIVEIRA, A. L. ; Camargo ; Penteado . Manutenção de Frameworks Orientados a Objetos com Orientação a Aspectos. 2010. (Apresentação de Trabalho/Simpósio).

• OLIVEIRA, A. L. ; Camargo ; Penteado . Modularização Orientada a Aspectos do Framework GRENJ. 2009. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. ; MENOLLI, A. L. A. ; Ricardo G. Coelho ; Camargo ; Ramos ; Penteado . Um Estudo Quantitativo das Implementações Orientadas a Aspectos do Padrão Data Access Object. 2008. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. . Mini-curso: Introdução à Programação Orientada a Aspectos. 2008. (Apresentação de Trabalho/Conferência ou palestra).

• OLIVEIRA, A. L. . Mini-curso: Introdução ao Sistema de Gerenciamento de Conteúdo Web Joomla. 2008. (Apresentação de Trabalho/Conferência ou palestra).

• OLIVEIRA, A. L. ; Ricardo G. Coelho ; MENOLLI, A. L. A. . Uma Proposta de Arquitetura de Software Baseada em Padrões. 2007. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. ; Ricardo G. Coelho ; MENOLLI, A. L. A. . Uma Proposta de Arquitetura de Software para o Desenvolvimento de Aplicações de Ambiente Multiplataforma. 2007. (Apresentação de Trabalho/Congresso).

• OLIVEIRA, A. L. ; DELLA MURA, W. ; SGARBI, E. M. ; SACHS, L. G. . Determinação da área foliar danificada por pragas da soja utilizando processamento digital de imagens. 2007. (Apresentação de Trabalho/Seminário).

• OLIVEIRA, A. L. . Mini-curso: Introdução à Programação Orientada a Aspectos Utilizando a Linguagem AspectJ. 2007. (Apresentação de Trabalho/Conferência ou palestra).

• REIS, J. A. J ; OLIVEIRA, A. L. ; SACHS, L. G. ; SACHS, P. J. D ; LOURENÇO, C. C. . Modelo Matemático para Determinação de Área Foliar: Folha de Mangueira. 2006. (Apresentação de Trabalho/Simpósio).

• VENTIRELLI, N. B ; ZAPPAROLI, R. A ; REIS, J. A. J ; OLIVEIRA, A. L. ; SACHS, P. J. D ; LOURENÇO, C. C. ; SACHS, L. G. . Modelo Matemático para Determinação de Área Foliar: Folha de Jaqueira. 2006. (Apresentação de Trabalho/Seminário).

Outras produções

Projetos de pesquisa

• 2025 - Atual

  Estudos de cibersegurança em sistemas de comunicações não confinadas: aplicações reais em sistemas de drones e sistemas elétricos de potência, Descrição: O projeto visa a proposição e avaliação de metodologias de testes que possam ser executados em ambientes indoor e outdoor, de modo a (i) reproduzir cenários reais de ataques no espectro eletromagnéticos a infraestruturas críticas e (ii) permitir a avaliação da eficácia das técnicas de mitigação ou contra-ataque propostas. Os ensaios serão conduzidos com base em dois estudos de caso de aplicações reais: desenvolvimento de metodologias de contra-ataque para neutralizar a ação de jammers em subestações de energia elétrica que visem interferir na coordenação e na sincronização temporal dos equipamentos de proteção do sistema elétrico via GPS; e identificação, de forma automática, da presença de drones ilícitos no entorno de áreas de acesso restrito.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: André Luiz de Oliveira - Integrante / PAPADOPOULOS, YIANNIS - Integrante / Kalinka Regina Lucas Jaquie Castelo Branco - Coordenador / Catherine Dezan - Integrante / ISADORA GARCIA FERRÃO - Integrante / David Espes - Integrante.

• 2023 - Atual

  Verificação de segurança e proteção de sistemas multi-robôs inteligentes, cooperativos e configuráveis em runtime, Descrição: Sistemas ciber-físicos abrigam um vasto potencial econômico e impacto social, possibilitando novos tipos de aplicações em diferentes domínios como sistemas autônomos automotivos e aeronaves não tripuladas, sistemas de defesa, de controle de tráfego e de processos de manufatura, de inspeção e manutenção, sistemas robóticos, dispositivos médicos e automação residencial. Esses sistemas são altamente abertos, se conectam/ desconectam a outros sistemas em tempo de execução, e são capazes de se adaptarem a mudanças de contexto. Sistemas ciber-físicos autônomos e inteligentes nesses domínios, que utilizam robôs inteligentes e sistemas que operam em conjunto com humanos, executam funções de segurança crítica e necessitam permanecerem robustos (seguros - operando livre de consequências catastróficas a pessoas, ao ambiente ou a propriedade mesmo em caso de falha, e protegidos - contra violações de segurança mesmo sob ataques cibernéticos) diante de condições de incerteza. O desenvolvimento de tais sistemas demanda a demonstração de segurança, proteção e de outras propriedades de interesse e impõe desafios inerentes à complexidade: i) a análise do impacto de ataques cibernéticos e falhas e identificação de requisitos de segurança em arquiteturas de sistemas reconfiguráveis, ii) o gerenciamento de variantes e o reuso de artefatos de garantia de qualidade, inteligência: iii) a verificação de segurança em runtime diante de incertezas introduzidas pela Inteligência Artificial e autonomia: iv) a composição de sistemas em runtime. Este projeto visa propor uma metodologia, que inclui modelos, métodos e ferramentas de apoio à análise de segurança e segurança cibernética desistemas autônomos reconfiguráveis, ao reuso desses artefatos, a composição, verificação e demonstração de robustez de sistemas inteligentes em runtime e sua validação por meio de surveys, estudos de caso e experimentos realísticos nos domínios de sistemas autônomos automotivos, drones e defesa em cooperação com a indústria.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: André Luiz de Oliveira - Coordenador / Ibrahim Habli - Integrante / Timothy Patrick Kelly - Integrante / Yiannis Papadopoulos - Integrante / Leonardo Montecchi - Integrante / Barbara Gallina - Integrante / Rosana T. V. Braga - Integrante / Koorosh Aslansefat - Integrante / Edelberto Franco Silva - Integrante / Carlos Eduardo de Barros Paes - Integrante / Patrizio Pelliccione - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra.

• 2022 - Atual

  Subsídios à Sustentabilidade de Recursos Educacionais Abertos para o Ensino de Computação, Descrição: O ensino de Computação tem sido amplamente discutido nas diferentes comissões especiais da Sociedade Brasileira de Computação (SBC). A Educação em Computação é uma área interdisciplinar que visa aperfeiçoar os processos de ensino e aprendizagem da Computação, visando amenizar os diferentes desafios da área, tais como: (i) a falta de raciocínio lógico e algorítmico dos estudantes; e (ii) as dificuldades dos professores em manter a motivação, engajamento e persistência dos estudantes em aprender os conteúdos. Em resposta aos desafios existentes, Recursos Educacionais Abertos (REA) têm sido propostos, sendo eles: jogos educacionais, artefatos gamificados, aprendizagem baseada em projetos, flipped classroom, simuladores, sistemas tutores inteligentes, dentre outros. Apesar da comunidade científica propor diferentes REA para apoiar o ensino de Computação, eles são pouco utilizados na prática e, consequentemente, pouco contribuem no ensino de Computação. Assim, os REA existentes para apoiar o ensino de Computação não se sustentam ao longo dos anos. Isso, muitas vezes, pode estar relacionado a diferentes fatores, desde o fato de que muitos desses produtos não são atualizados e/ou até mesmo a possibilidade de se extinguirem sem o fornecimento de suporte adequado aos seus usuários. Diante desse cenário, este projeto visa fornecer subsídios para o projeto e desenvolvimento de REA de apoio ao ensino de Computação, fornecendo diretrizes para incorporar características de sustentabilidade/longevidade nesses produtos durante o seu desenvolvimento para que eles sejam utilizados de maneira efetiva no processo de ensino e aprendizagem. Como principal resultado, espera-se que uma abordagem que considere a sustentabilidade no desenvolvimento de REA seja proposta e validada por meio de entrevistas, estudos de viabilidade e estudos de casos realísticos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: André Luiz de Oliveira - Integrante / Pedro Henrique Dias Valle - Coordenador / Jorge Marques Prates - Integrante / Edmar Welington Oliveira - Integrante / Silvana Morita Melo - Integrante / Ricardo Ferreira Vilela - Integrante / Williamson Alison Freitas Silva - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

• 2022 - Atual

  DREAM: Data-driven Reliability-centred Evolutionary Automated Maintenance for Offshore Wind Farms., Descrição: The associated costs of Operation and Maintenance (O&M) in offshore wind farms can be significantly reduced through condition monitoring, data analytics and intelligent maintenance planner. This can be achieved via combining optimization algorithms, fault prognosis and reliability models. The research is focusing on the development of bio-inspired optimisation techniques that exploit fault prognosis to continually produce and update an evolving optimal plan of O&M. This plan explores the enormous design space of possible and optimal dynamic maintenance schedules, optionally taking constraints such as logistics, respecting constraints, optimise reliability and energy profiles whilst minimising maintenance costs and reducing downtime.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: André Luiz de Oliveira - Integrante / Yiannis Papadopoulos - Coordenador / Koorosh Aslansefat - Integrante., Número de orientações: 1

• 2021 - Atual

  Uma abordagem de apoio à análise de vulnerabilidades arquiteturais e de código fonte de sistemas computacionais que impactam em security debt, Descrição: A garantia da segurança e da segurança cibernética (do inglês cyber-security) têm se tornado importantes interesses na engenharia de sistemas e de sistemas conectados via Internet. Sistemas embarcados como smartphones, aeronaves e veículos automotivos autônomos, sistemas de controle de processos industriais (e.g., smart grids, nuclear power plants), sistemas médicos que controlam a dosagem de medicação e sistemas de automação residencial estão cada vez mais presentes na vida cotidiana. A interconectividade de computadores e sistemas computacionais torna esses sistemas vulneráveis a acessos não autorizados e a ataques externos. Vulnerabilidade consiste em uma falha interna que pode ser explorada por um ataque externo. A exploração dessas vulnerabilidades por ataques pode fazer com que agentes externos assumam o controle um sistema embarcado crítico, desviando-o de sua missão ou tornando o seu comportamento perigoso (do inglês hazardous) com consequências catastróficas ao ambiente físico de operação do sistema. Tais vulnerabilidades podem ser oriundas de negligências relacionadas à segurança e segurança cibernética durante as fases de design e implementação do sistema, denominadas Security Debt. Security debt consiste no design ou código que não está em conformidade com boas de engenharia para atender restrições de custo e prazo. Estudos na área de technical debt incluem propostas de catálogos de architectural e code smells que impactam em atributos de qualidade como manutenibilidade e capacidade de evolução do sistema e estratégias de prevenção de erosão arquitetural. Entretanto, há uma carência na literatura de estudos com o enfoque na identificação de Technical Debt que impacta na segurança cibernética de sistemas computacionais e na análise dos tipos de security hotspots em aplicações que controlam veículos automotivos. A identificação de hotspots e security debt na arquitetura e código fonte de sistemas críticos pode contribuir para reduzir a vulnerabilidade desses sistemas a ataques externos, aumentar a segurança e prevenir a ocorrência de falhas catastróficas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: André Luiz de Oliveira - Coordenador / ÂNDERSON COSTA DE SOUZA - Integrante / EDUARDO SANTOS DE OLIVEIRA MARQUES - Integrante., Financiador(es): Universidade Federal de Juiz de Fora - Bolsa.

• 2021 - Atual

  Secure and Safe Multi-Robot Systems (SESAME), Descrição: The overarching goal of SESAME is to develop an open, modular, configurable, model-based approach for systematic engineering of dependable MRS. The approach is supported by a set of public meta-models, components and configuration tools produced by the project. Target MRS may employ AI, and will be capable of operating dependably in open configurations, and in conditions of uncertainty that include the acknowledged possibility of cyber-attacks. Five novel applications that add value to the European science and economy will be developed and verified for dependability using the SESAME approach.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: André Luiz de Oliveira - Integrante / Yiannis Papadopoulos - Coordenador / David J. Parker - Integrante / Yioannis Sorokos - Integrante.

• 2020 - Atual

  Allocation of Dependability Requirements in Variant-Intensive System Design, Descrição: Variant-intensive critical systems developed as part of a product family must still comply with safety and cybersecurity standards. Standards use the concept of assurance levels to drive the assignment of system safety and cybersecurity requirements to subsystems and components of a system under design. However, for a variant-intensive system, the dependability requirements that need to be allocated to a subsystem or component may vary in different product variants. Establishing common assurance levels for components of a large scale variant-intensive system by considering all possible usage scenarios, is desirable for economies of scale, but it also poses challenges to dependability engineering In this research, we propose a novel concept and method for automatic allocation and decomposition of assurance levels to variant-intensive components in the product family design. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: André Luiz de Oliveira - Coordenador / Yiannis Papadopoulos - Integrante / David J. Parker - Integrante., Número de produções C, T & A: 1

• 2019 - 2021

  A methodology to support reuse in the specification of Performability models, Descrição: odel-based evaluation plays a key role in dependability and performability evaluation of systems. Modeling allows the system to be analyzed at different levels of abstractions and in different conditions, without actually exercising the real system. Stochastic Petri Nets (SPN) and their extensions are a widely used methamatical formalism to evaluate non-functional properties across different domains. They haveseveral key advantages: they provide a convenient graphical notation, they support different abstraction levels, and they are well-suited for the representation of random events (e.g., component failures). However, their application for the performability analysis of modern systems is facing great challenges: systems scale is growing, they are becoming massively distributed, interconnected, and evolving. The complexity given by the high number of components, their interactions, and rapidly-changing system configurations represents a notable challenge for the specification of such models. In the software engineering discipline there are well-established ways to cope with complexity. Concepts like modularization, reuse, composition, inheritance, etc., are some of the basic tools of any software developer. Similar conceptsare instead less established for the construction for performability models. The objective of this project is to define a method to support modularity and reuse in the construction and management of performability models, primarily in models based on Stochastic Petri Nets. We plan to address this problem using a model-driven approach, that is, combining domain-specific languages and model transformations.The methodology proposed in this project will be evaluated through its application to concrete use cases, and the comparison with the traditional process for model specification.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: André Luiz de Oliveira - Integrante / Leonardo Montecchi - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2019 - Atual

  A methodology to support the systematic reuse of functional safety and cybersecurity artefacts, Descrição: Software Product Lines (SPLs) enable and maximize reuse of software artifacts, many of them configured on behalf of software variability as central technique. However, in critical systems, the reuse of functional safety cybersecurity analysis information is mainly done manually by copy-paste. In order to enable systematic reuse of system dependability information, which is required to achieve certification and it is costly to produce, in this research, we propose a methodology, by extending software product line processes, to support the reuse of functional safety and cybesecurity analyses information.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: André Luiz de Oliveira - Coordenador / PAPADOPOULOS, YIANNIS - Integrante / Lucas Paiva Bressan - Integrante / Leonardo Montecchi - Integrante / Rafael Capilla - Integrante., Financiador(es): Universidade Federal de Juiz de Fora - Bolsa., Número de produções C, T & A: 1 / Número de orientações: 2

• 2018 - Atual

  Runtime assurance for open and adaptive systems, Descrição: The Structured Assurance Case Metamodel (SACM) issued by the Object Management Group (OMG) defines a standardised meta-model and graphical notation for representing structured assurance cases. SACM provides interoperability between different assurance case approaches and the foundations for model-based system assurance with great potential to be applied in emergent domains such as Cyber-Physical Systems (CPS). However, due to the open and adaptive nature of CPSs, it is imperative to assure their dependability at runtime. Although a number of tools (e.g., Assurance Case Model Editor - ACME) provide some support for model-based development of assurance cases using SACM, it is still not possible to assure dependability at runtime. In this project, we propose a methodology and tool support for runtime model-based assurance of cyber-physical systems.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: André Luiz de Oliveira - Coordenador / Timothy Patrick Kelly - Integrante / HABLI, IBRAHIM - Integrante / Ran Wei - Integrante.

• 2017 - 2020

  Dependability Engineering Innovation for Cyber Physical Systems, Descrição: Cyber-Physical-Systems (CPS) provide the potential for vast economic and societal impact in domains such as automotive, health care and home automation. The open and cooperative nature of CPS poses a significant new challenge in assuring dependability. The DEIS project addresses this important and unsolved challenge by developing technologies that enable a science of dependable system integration. Such technologies facilitate the efficient synthesis of components and systems based on their dependability information. The key innovation in the approach of the DEIS project is the concept of Digital Dependability Identity (DDI). A DDI contains all the information that uniquely describes the dependability characteristics of a CPS component. DDIs are used for the integration of components into systems during development as well as for the dynamic integration of systems into systems of systems in the field.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: André Luiz de Oliveira - Integrante / Yiannis Papadopoulos - Coordenador / David J. Parker - Integrante / Yioannis Sorokos - Integrante.

• 2017 - 2019

  Gerenciamento de variabilidades e integração das ferramentas de engenharia de segurança de sistemas críticos CONCERTO e HIP-HOPs, Descrição: CONCERTO é um framework que inclui um conjunto de ferramentas de apoio ao projeto arquitetural baseado em componentes e a análise de segurança de sistemas críticos, como sistemas aeroespaciais, automotivo e veículos autônomos. O framework CONCERTO permite a integração de projeto baseado em componentes e desenvolvimento dirigido a modelos para gerenciar a complexidade de sistemas críticos em relação à segurança. HiP-HOPS é uma ferramenta de apoio à engenharia de segurança de sistemas em modelo Simulink. Da mesma forma que CONCERTO, HiP-HOPS apoia as atividades de engenharia de segurança de sistemas como: análise de perigos, especificação de modos de falha de componente e possui mecanismo para a síntese automática de árvore de falhas. O projeto de sistemas críticos baseado em componentes apoiado pelo framework CONCERTO e HiP-HOPS envolve atividades de engenharia de segurança de sistemas, como análise de perigos, identificação de potenciais falhas em componentes e definição de medidas de mitigação de riscos e também atividades de gerenciamento de variabilidades no modelo erros do sistema. CONCERTO e HiP-HOPS fornecem apoio a diferentes etapas do processo de engenharia de segurança de sistemas. Os objetivos deste projeto de iniciação científica são a integração das ferramentas CONCERTO e HiP-HOPS e Base Variability Resolution (BVR) de modo a apoiar o reuso sistemático e a geração automática de artefatos de projeto e de engenharia de segurança de sistemas críticos, e a avaliação de tal integração por meio da realização de estudos de caso com sistemas críticos, Sistemas de Sistemas e ecossistemas de software reais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: André Luiz de Oliveira - Coordenador / Sebastião Lucio de Souza Reis - Integrante.

• 2017 - 2019

  Gerenciamento de variabilidades em modelagem arquitetural e análise de segurança de sistemas críticos e complexos especificados utilizando o framework concerto, Descrição: CONCERTO é um framework que inclui um conjunto de ferramentas de apoio ao projeto arquitetural baseado em componentes e a análise de segurança de sistemas críticos, como sistemas aeroespaciais, automotivo e veículos autônomos. O projeto de sistemas críticos baseado em componentes apoiado pelo framework CONCERTO envolve atividades de engenharia de segurança de sistemas, como análise de perigos, identificação de potenciais falhas em componentes e definição de medidas de mitigação de riscos e também atividades de gerenciamento de variabilidades no modelo erros do sistema. Sistemas sócio-técnicos ou Sistemas de Sistemas (SoS) e Ecossistemas de Software são categorias de sistemas críticos complexos que também demandam atividades de engenharia de segurança de sistemas, uma vez que falhas nesses sistemas também podem levar a consequências catastróficas. Em virtude da natureza crítica desses sistemas, as suas propriedades de segurança devem ser demonstradas em diferentes níveis de abstração para alcançar a certificação. Dessa forma, há a necessidade esforços de pesquisa para investigar potenciais adaptações a serem feitas em abordagens tradicionais de análise de segurança baseada em componentes para que possam ser utilizadas no contexto de SoS e ecossistemas de software. Os objetivos deste projeto de iniciação científica são a elaboração de uma abordagem baseada em componentes para apoiar o reuso sistemático de artefatos de projeto e de análise de segurança de sistemas críticos utilizando o framework CONCERTO; a integração de CONCERTO com ferramentas de gerenciamento de variabilidades, e.g. Base Variability Resolution (BVR) em uma única plataforma; a elaboração de uma abordagem baseada em componentes para apoiar o reuso e a análise de segurança no contexto de SoS e Ecossistemas de Software, e a avaliação das abordagens e do apoio ferramental propostos em estudos de caso com sistemas críticos, SoS e ecossistemas de software reais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: André Luiz de Oliveira - Coordenador / Lucas Paiva Bressan - Integrante / Cláudio Nazareth Lopes - Integrante., Financiador(es): Universidade Federal de Juiz de Fora - Bolsa., Número de produções C, T & A: 1

• 2017 - 2018

  Gerenciamento de variabilidades e integração das ferramentas de engenharia de segurança de sistemas críticos concerto e hip-hops, Descrição: CONCERTO é um framework que inclui um conjunto de ferramentas de apoio ao projeto arquitetural baseado em componentes e a análise de segurança de sistemas críticos, como sistemas aeroespaciais, automotivo e veículos autônomos. O framework CONCERTO permite a integração de projeto baseado em componentes e desenvolvimento dirigido a modelos para gerenciar a complexidade de sistemas críticos em relação à segurança. HiP-HOPS é uma ferramenta de apoio à engenharia de segurança de sistemas em modelo Simulink. Da mesma forma que CONCERTO, HiP-HOPS apoia as atividades de engenharia de segurança de sistemas como: análise de perigos, especificação de modos de falha de componente e possui mecanismo para a síntese automática de árvore de falhas. O projeto de sistemas críticos baseado em componentes apoiado pelo framework CONCERTO e HiP-HOPS envolve atividades de engenharia de segurança de sistemas, como análise de perigos, identificação de potenciais falhas em componentes e definição de medidas de mitigação de riscos e também atividades de gerenciamento de variabilidades no modelo erros do sistema. CONCERTO e HiP-HOPS fornecem apoio a diferentes etapas do processo de engenharia de segurança de sistemas. Os objetivos deste projeto de iniciação científica são a integração das ferramentas CONCERTO e HiP-HOPS e Base Variability Resolution (BVR) de modo a apoiar o reuso sistemático e a geração automática de artefatos de projeto e de engenharia de segurança de sistemas críticos, e a avaliação de tal integração por meio da realização de estudos de caso com sistemas críticos, Sistemas de Sistemas e ecossistemas de software reais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: André Luiz de Oliveira - Coordenador / Sebastião Lucio de Souza Reis - Integrante., Número de produções C, T & A: 1

• 2017 - 2018

  Um framework dirigido a modelos para apoiar a engenharia de segurança de sistemas críticos, Descrição: Sistemas embarcados críticos são sistemas computacionais que abrangem desde pequenos dispositivos a sistemas complexos de monitoramento e gerência de processos. Falhas em sistemas críticos podem levar a consequências catastróficas como lesões ou a perda de vidas humanas. Em virtude da natureza crítica desses sistemas, é necessário realizar a análise de segurança para obter créditos de certificação. Dessa forma, o desenvolvimento de sistemas críticos deve atender a um conjunto de diretrizes prescritas por padrões de segurança, como DO-178C (RTCA, 2012) e ARP 4754A (EUROCAE, 2010) para sistemas aviônicos, e ISO 26262 (ISO, 2011) para sistemas automotivos. Padrões de segurança demandam que as propriedades de segurança de um produto de software sejam analisadas e demonstradas em diferentes níveis de abstração antes da liberação do sistema para operação. Dessa forma, atividades de análise de segurança devem ser conduzidas. Padrões de segurança de diferentes domínios de aplicação recomendam ou exigem o desenvolvimento de um Caso de Segurança (Assurance Case) como pré-requisito para alcançar a certificação de segurança do sistema. Um caso de segurança consiste em um argumento claro, abrangente e defensível, apoiado por um conjunto de evidências (artefatos de software), que demonstram que o sistema é aceito como seguro para operar em um contexto em particular (KELLY e MCDERMID, 1997). Neste contexto, os objetivos deste projeto de iniciação científica são a elaboração de uma abordagem dirigida a modelos para apoiar o reuso de modelos de weaving e a geração de casos de segurança na notação SACM 2.0, que suporta a especificação de casos de segurança com informações sobre a proveniência de artefatos de software usados como itens de evidência; e o desenvolvimento de um editor gráfico integrado. Este projeto de pesquisa está no contexto de colaborações de pesquisa com pesquisadores da Universidade de York, que desenvolveram uma abordagem e apoio ferramental para a geração automática de casos de segurança a partir de artefatos de desenvolvimento como projeto arquitetural e modelo de erros do sistema.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: André Luiz de Oliveira - Coordenador / Rafael Braga Ladeira Dutra - Integrante / Victor Machado Torres - Integrante., Número de produções C, T & A: 1

• 2010 - 2014

  Infraestrutura de Apoio ao Reuso e Gerenciamento de Familias de Frameworks Transversais, Descrição: ramework Transversal é um tipo especial de framework orientado a aspectos que encapsula apenas um interesse transversal, como persistência, concorrência e regras de negócio. Cada um desses interesses possui subinteresses que podem agir como características (features) de uma família de FTs, permitindo que diferentes membros de uma família possam ser gerados por meio da composição de diferentes características. Este projeto tem por objetivo a construção de uma infraestrutura integrada para desenvolvimento de software que contenha ferramentas e técnicas de apoio ao reuso e ao gerenciamento de Famílias de Frameworks Transversais (FTs). Essa infraestrutura utilizará famílias de FTs que podem ser reusadas durante o desenvolvimento de novas aplicações e/ou evolução de aplicações existentes, de forma a reduzir o tempo de desenvolvimento e aumentar a qualidade das aplicações. Outro diferencial é que todo o trabalho deve ser feito apenas utilizando modelos, elevando o nível de abstração que deve ser empregado. Ganhos de produtividade poderão ser obtidos em decorrência do reuso de projeto e código das famílias de FTs já previamentes testadas. A infraestrutura será desenvolvida de forma a apoiar as fases/disciplinas/atividades de um processo chamado ProFT/PU, que é um processo de desenvolvimento de software orientado a aspectos iterativo e incremental que já foi especificado. Um conjunto de ferramentas de apoio e de métodos será desenvolvido para auxiliar na construção de membros, na instanciação dos membros e no acoplamento dos FTs, bem como em seu gerenciamento durante e após o processo. Com os resultados obtidos neste projeto é possível aumentar a eficiência de desenvolvedores de software e também a qualidade das aplicações desenvolvidas em termos de modularidade, reuso e manutenibilidade. Situação: Concluído; Natureza: Pesquisa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) . , Integrantes: André Luiz de Oliveira - Integrante / Valter Vieira de Camargo - Coordenador / Ricardo A. Ramos - Integrante / Rafael Serapilha Durelli - Integrante / THIAGO GOTTARDI - Integrante., Número de produções C, T & A: 2

• 2010 - 2014

  INCT - Desenvolvimento de Sistemas Embarcados Críticos, Descrição: Edital N. 15/2008 MCT/CNPq/FNDCT/ CAPES/FAPEMIG/FAPERJ/FAPESP Institutos Nacionais de Ciência e Tecnologia (INCT) A criação de um Instituto de Sistemas Embarcados Críticos é proposta neste projeto. O objetivo geral desse instituto é elevar o nível de conhecimento, competência e qualidade no país sobre o desenvolvimento desse tipo de sistema, considerando que se trata de tecnologia importante para apoiar o desenvolvimento de áreas estratégicas do país, como a do meio ambiente, a de segurança e defesa e a de agricultura. O projeto é abrangente e envolve grupos de pesquisadores de nove universidades brasileiras e sete empresas. Os principais objetivos mais específicos são o desenvolvimento de pesquisas para a construção de sistemas embarcados críticos com ênfase para veículos autônomos móveis e a construção de pelo menos dois protótipos de veículo, um aéreo e um terrestre, com o objetivo de serem transferidos para as empresas associadas, visando a possível fabricação e comercialização. Outros objetivos relevantes são: a produção de uma metodologia que documente esse conhecimento e possa ser usada para o treinamento de pessoal formado na área; a produção de mestres e doutores e produção intelectual na forma de artigos científicos apresentados e publicados em conferências e periódicos de boa qualidade, bem como de patentes.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: André Luiz de Oliveira - Integrante / Paulo Cesar Masiero - Integrante / Rosana Teresinha Vaccare Braga - Integrante / José Carlos Maldonado - Coordenador.

• 2009 - 2010

  Um estudo quantitativo do uso de abstrações orientadas a aspectos na modularização dos interesses transversais da linguagem de padrões GRN, Descrição: A linguagem de padrões GRN (Gestão de Recursos de Negócio) provê um conjunto de quinze padrões de análise para a modelagem de aplicações do domínio de gestão de recursos de negócio. Seu objetivo é guiar o desenvolvedor para o desenvolvimento de aplicações no domínio de gestão de recursos de negócio com um alto grau de reúso. Um framework, denominado GREN, foi construído a partir dessa linguagem, possibilitando a instanciação de sistemas em Smalltalk. GRENJ possibilita a instanciação de sistemas em Java, foi obtido por meio de um processo de reengenharia iterativa e usando desenvolvimento guiado a partir do GREN. Com o advento da programação orientada a aspectos, utilizada na modularização de interesses transversais encontrados nas aplicações, este projeto tem o objetivo de verificar a efetividade do uso de abstrações orientadas a aspectos na separação dos interesses presentes na hierarquia de padrões da linguagem GRN. Um estudo quantitativo será utilizado para comparar as versões orientadas a objetos (OO) e orientadas a aspectos (OA) dos padrões da GRN. O processo de validação terá como critério de avaliação os atributos separação de interesses, acoplamento, coesão e tamanho.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: André Luiz de Oliveira - Integrante / Rosângela Aparecida Dellosso Penteado - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 3

Projetos de desenvolvimento

• 2024 - Atual

  Telemedicina Comunitária em Municípios Conveniados da Zona da Mata Mineira, Descrição: O momento crítico e de muita gravidade que o mundo atravessou nos últimos quatro anos em decorrência da pandemia de COVID-19, exige da Universidade e dos profissionais da área da Saúde, a prestação de apoio aos serviços de saúde providos pelas Secretarias de Saúde dos municípios da Zona da Mata Mineira. Tecnologias de Informação e Comunicação (TICs) como aplicativos de videoconferência e de troca de mensagens instantâneas tornaram viáveis o exercício da Medicina na modalidade remota denominada Telemedicina. O uso de Telemedicina, através de tele-interconsulta, tem o potencial de reduzir a exposição do paciente ao vírus da COVID-19 e outros patógenos virais como H1N1, reduzir as despesas dos municípios com a manutenção de veículos, motoristas e combustíveis e possibilitar aos docentes e alunos acompanharem à distância a evolução de casos clínicos de atenção secundária, reduzindo a sobrecarga dos serviços de saúde. Neste projeto é proposto o desenvolvimento de uma plataforma computacional de apoio a Tele-Interconsulta com o potencial de contribuir para a melhoria da qualidade dos serviços de saúde fornecidos pelo Programa de Saúde Família nos municípios da Zona da Mata Mineira. Com o desenvolvimento desta plataforma, as dúvidas relacionadas à conduta médica em casos clínicos de atenção secundária poderão ser encaminhadas pelos médicos dos PSFs, em conjunto com o estagiário, aos docentes especialistas que atuam na supervisão dos estágios da Faculdade de Medicina da UFJF, reduzindo o tempo de resposta às dúvidas bem como evitando a necessidade de deslocamento e exposição desnecessária de pacientes da atenção secundária à agentes patógenos virais como COVID-19 e H1N1. A implantação da plataforma tem o potencial de reduzir as despesas com transporte das secretarias de saúde dos municípios da Zona da Mata Mineira. A plataforma computacional será desenvolvida com base em métodos de análise, design e avaliação de interfaces da área da Interação Humano-Computador (IHC). Um estudo experimental com usuários será conduzido para avaliar a usabilidade das interfaces da plataforma com os usuários.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (4) . , Integrantes: André Luiz de Oliveira - Coordenador / Áureo Delgado - Integrante / Fernando Mendonça Vidigal - Integrante / Arthur Lima Costa - Integrante / João Pedro Ribeiro Norton - Integrante / Luiz Guilherme Almas - Integrante / Igor Coimbra - Integrante., Financiador(es): Universidade Federal de Juiz de Fora - Outra.

Prêmios