Desenvolvimento e Teste de Sistemas-de-Sistemas Resilientes: Uma Perspectiva de Arquitetura 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)