Development and Testing of Resilient Systems-of-Systems: a Software Architecture Perspective

• Grant number: 17/21773-9
• Support Opportunities: Regular Research Grants
• Start date: March 01, 2018
• End date: August 31, 2020
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Cecília Mary Fischer Rubira
• Grantee: Cecília Mary Fischer Rubira
• Host Institution: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Associated researchers: Eliane Martins ; Leonardo Montecchi

Abstract

Nowadays, computing systems are facing a great transformation. The generalavailability of communication makes it possible to interconnect existing systems, todeliver complex and multifaceted services. The result of such integration is knownas a "System-of-Systems" (SoS). However, ensuring the correctness of the resultingservices is not trivial. Many of the SoS characteristics such as dynamicity andevolution, or the limited knowledge of their internal behavior, introduce additionalcomplexity during the design and the verification and validation (V&V) processes.In this project we will develop techniques that assist in two fundamental aspectsof SoS development. First, the handling of variability aspects. In fact, traditionalV&V techniques assume a static system with well-defined boundaries. To be ableto scale such techniques to the SoS paradigm, it is necessary to parameterize theV&V artifacts, allowing them to be reused in different operational context and/orsystem configurations. Second, the integration of different CSs. In fact, even ifindividual CSs have been successfully validated and verified with respect to theirnon-functional requirements, it is not guaranteed that non-functional requirementsand properties still hold after the composition. These aspects will be addressed bothat modeling and analysis levels, thus providing complete self-contained solutions.Such solutions will then be evaluated through case studies representative of real systems. (AU)

Scientific publications

(4)

(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)

LEAL, LUCAS; MONTECCHI, LEONARDO; CECCARELLI, ANDREA; MARTINS, ELIANE; CEBALLOS, C. Using Metamodels to Improve Model-Based Testing of Service Orchestrations. 2020 IEEE 25TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2020), v. N/A, p. 10-pg., 2020-01-01. (17/21773-9)

CARDOSO, WALLACE; MARTINS, ELIANE; LARANJEIRO, NUNO; ANTUNES, NUNO; IEEE. Combining State and Interface -Based Robustness Testing for OpenStack Components. 2019 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), v. N/A, p. 10-pg., 2019-01-01. (17/21773-9)

VENERO, SHEILA KATHERINE; DOS REIS, JULIO CESAR; MONTECCHI, LEONARDO; FISCHER RUBIRA, CECILIA MARY; ASSOC COMP MACHINERY. Towards a Metamodel for Supporting Decisions in Knowledge-Intensive Processes. SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, v. N/A, p. 10-pg., 2019-01-01. (17/02325-5, 17/21773-9)

SIERRA, DIEGO; BRICENO, JUAN; BUITRAGO, HECTOR; ROZO, BRIAN; MONTECCHI, LEONARDO; MURA, IVAN; IEEE. Probabilistic Modeling of Failure Domino Effects in Chemical Plants. 2018 EIGHTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), v. N/A, p. 10-pg., 2018-01-01. (17/21773-9)