Busca avançada
Ano de início
Entree

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)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

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, . (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., . (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., . (19/02144-6)