Desenvolvimento e Teste de Sistemas-de-Sistemas Resilientes: Uma Perspectiva de Arquitetura de Software

• Processo: 17/21773-9
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de março de 2018
• Data de Término da vigência: 31 de agosto de 2020
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Cecília Mary Fischer Rubira
• Beneficiário: Cecília Mary Fischer Rubira
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Pesquisadores associados: Eliane Martins ; Leonardo Montecchi
• Assunto(s): Engenharia de software Arquitetura de software
• Palavra(s)-Chave do Pesquisador: Arquitetura de Software | Desenvolvimento baseado em componentes | sistemas-de-sistemas | software tolerante a falhas | teste baseado em modelos | validação e teste de robustez | Engenharia de Software

Resumo

Hoje em dia, os sistemas de computação enfrentam uma grande transformação.A alta disponibilidade de comunicação torna possível interligar sistemas existentes para fornecer serviços complexos e multifacetados. O resultado de tais integraçõesé conhecido como um "sistema-de-sistemas" (System-of-Systems, SoS). No entanto, garantir a correção dos serviços resultantes de tais integrações não é trivial. Muitas das características de um SoS, como dinamicidade e evolução, ou o conhecimento limitado de seu comportamento interno, introduzem complexidade adicional durante o desenvolvimento e o processo de verificação e validação (V&V). Neste projeto, desenvolveremos técnicas que ajudam em dois aspectos fundamentais no desenvolvimento de um SoS. Primeiro, o tratamento de aspectos de variabilidade nos artefatos. De fato, as técnicas de V&V tradicionais assumem um sistema estático com uma definição bem definida de fronteiras. Para poder estender tais técnicas para o paradigma SoS, é necessário parametrizar os artefatos de V&V, permitindo que sejam reutilizados em diferentes contextos operacionais e/ou configurações de sistemas. Em segundo lugar, o desenvolvimento da integração dos sistemas constituentes (CSs) diferentes. De fato, mesmo que os CSs individuais tenham sido validados e verificados com sucesso em relação aos seus requisitos não-funcionais, não está garantido que esses requisitos e propriedades não-funcionais ainda sejam válidos depois da composição. Esses aspectos serão abordados em nível da arquitetura de software que integra os CSs. Essas soluções serão então avaliadas através de estudos de caso representativos de sistemas reais. (AU)

Publicações científicas

(4)

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

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)