Uma metodologia para apoiar o reuso na especificação de modelos de performabilidade

• Processo: 19/02144-6
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de junho de 2019
• Data de Término da vigência: 30 de novembro de 2021
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Leonardo Montecchi
• Beneficiário: Leonardo Montecchi
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Engenharia de software Sistemas críticos Desenvolvimento de software Computação confiável Redes de Petri estocásticas Análise quantitativa Avaliação de desempenho
• Palavra(s)-Chave do Pesquisador: Critical systems | Modulairty and reuse | Performability evaluation | Quantitative evaluation | Stochastic Petri Nets | Dependable Systems

Resumo

A avaliação baseada em modelos desempenha um papel fundamental na avaliação de dependability e performability dos sistemas. A modelagem permite que o sistema seja analisado em diferentes níveis de abstração e sob diferentes condições, mas sem exercitar o sistema real. As Redes de Petri Estocásticas e suas extensões são um formalismo matemático amplamente utilizado para avaliar propriedades não funcionais em várias áreas. Elas têm várias vantagens importantes: fornecem uma notação gráfica conveniente, suportam diferentes n1veis de abstração e permitem representar eventos aleatórios (por exemplo, falhas de componentes). No entanto, a aplicação destes modelos para a análise de performabilidade dos sistemas modernos está enfrentando grandes desafios: o tamanho dos sistemas está cada vez maior, estão se tornando massivamente distribuídos, interconectados e em evolução. A complexidade causada pelo alto número de componentes, pelas suas interações e pelas rápidas mudanças representam um grande desafio para a especificação de tais modelos. Na disciplina de engenharia de software, existem maneiras bem estabelecidas de lidar com a complexidade. Conceitos como modularização, reuso, composição, herança, etc., são algumas das ferramentas básicas de qualquer desenvolvedor de software. Porém, estes conceitos não são comuns da mesma forma na construção de modelos de performabilidade. O objetivo deste projeto é definir uma metodologia para apoiar a modularidade e o reuso na construção e no gerenciamento de modelos de performability, principalmente em modelos baseados em redes de Petri Estocásticas. Planejamos resolver esse problema usando uma abordagem dirigida por modelos, ou seja, combinando linguagens espec1ficas de dom1nio e transformações de modelo. A metodologia proposta neste projeto será avaliada através de sua aplicação em casos de uso concretos, comparando-a com o processo tradicional de especificação de tais modelos. (AU)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

MONTECCHI, LEONARDO; LOLLINI, PAOLO; BONDAVALLI, ANDREA. Stochastic Activity Networks Templates: Supporting Variability in Performability Models. IEEE TRANSACTIONS ON RELIABILITY, DEC 2021. (19/02144-6)

CASQUINA, JUNIOR CUPE; MONTECCHI, LEONARDO; MOUSAVI, M; SCHOBBENS, PY; ARAUJO, H; SCHAEFER, I; BEEK, MHT; DEVROEY, X; ROJAS, JM; PINTO, M; et al. A Proposal for Organizing Source Code Variability in the Git Version Control System. SPLC '21: PROCEEDINGS OF THE 25TH ACM INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, v. N/A, p. 7-pg., 2021-01-01. (19/02144-6)

MONTECCHI, LEONARDO; LOLLINI, PAOLO; MONCINI, FEDERICO; KEEFE, KENNETH; BERNARDI, S; VITTORINI, V; FLAMMINI, F; NARDONE, R; MARRONE, S; ADLER, R; et al. An Eclipse-Based Editor for SAN Templates. DEPENDABLE COMPUTING, EDCC 2020 WORKSHOPS, v. 1279, p. 9-pg., 2020-01-01. (19/02144-6)