A methodology to support reuse in the specification of performability models

• Grant number: 19/02144-6
• Support Opportunities: Regular Research Grants
• Start date: June 01, 2019
• End date: November 30, 2021
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Leonardo Montecchi
• Grantee: Leonardo Montecchi
• Host Institution: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

Model-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. (AU)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

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)