Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

Stochastic Activity Networks Templates: Supporting Variability in Performability Models

Texto completo
Autor(es):
Montecchi, Leonardo [1] ; Lollini, Paolo [2, 3] ; Bondavalli, Andrea [2, 3]
Número total de Autores: 3
Afiliação do(s) autor(es):
[1] Univ Estadual Campinas, Inst Comp, BR-13083852 Campinas, SP - Brazil
[2] Consorzio Interuniv Nazl Informat CINI, I-00185 Rome, RM - Italy
[3] Univ Firenze, Dipartimento Matemat & Informat U Dini, I-50134 Florence, FI - Italy
Número total de Afiliações: 3
Tipo de documento: Artigo Científico
Fonte: IEEE TRANSACTIONS ON RELIABILITY; DEC 2021.
Citações Web of Science: 0
Resumo

Model-based evaluation is extensively used to estimate the performance and reliability of dependable systems. Traditionally, these systems were small and self-contained, and the main challenge for model-based evaluation has been the efficiency of the solution process. Recently, the problem of specifying and maintaining complex models has increasingly gained attention, as modern systems are characterized by many components and complex interactions. Components share similarities, but at the same time, also exhibit variations in their behavior due to different configurations or roles in the system. From the modeling perspective, variations lead to replicating and altering a small set of base models multiple times. Variability is taken into account only informally, by defining a sample model and explaining its possible variations. In this article, we address the problem of including variability in performability models, focusing on stochastic activity networks (SANs). We introduce the formal definition of stochastic activity networks templates (SAN-T), a formalism based on SANs with the addition of variability aspects. Differently from other approaches, parameters can also affect the structure of the model, like the number of cases of activities. We apply the SAN-T formalism to the modeling of the backbone network of an environmental monitoring infrastructure. In particular, we show how existing SAN models from the literature can be generalized using the newly introduced formalism. (AU)

Processo FAPESP: 19/02144-6 - Uma metodologia para apoiar o reuso na especificação de modelos de performabilidade
Beneficiário:Leonardo Montecchi
Modalidade de apoio: Auxílio à Pesquisa - Regular