Pretende-se reduzir a brecha digital entre diferentes países da Ibero-América, e entre a Ibero-América e o resto do mundo no que diz respeito à investigação, transferência de tecnologia e aplicação de V&V de SW em projectos de Tecnologias de Informação e Comunicação, bem como melhorar o nível de formação e capacidades de desenvolvimento de SW.
A V&V de SW trata-se de um nicho de mercado de alto valor acrescentado no mercado global. Dados da Avendus Advisers revelam que o mercado global para serviços de testes (parte do processo de V&V) era de 100 Biliões de USD em 2003/2004. Só no mercado Indiano, no mesmo período, os serviços prestados por empresas nesta actividade atingiram os 212 Milhões de USD.
O objectivo geral é realizar um projecto que coloque em contacto investigadores Ibero-Americanos envolvidos em projectos internacionais de I+D+i dedicados ou relacionados com V&V e contribua para a integração dos grupos de investigação e intercâmbio de experiências, resultados e ideias. A REVVIS pretende promover o desenvolvimento harmonizado e aplicação sistemática de V&V em projectos de Software na Ibero-América, com notável impacto económico (pelos custos reduzidos em cada projecto) e benefícios sociais (pela maior especialização do recursos humanos e melhoria da qualidade dos produtos).
Pretende-se que o projecto funcione de forma aberta e que sejam pesquisados anualmente parceiros adicionais para envolvimento em actividades da REVVIS, sendo o critério base a excelência técnica e experiência no domínio de V&V, estando o projecto aberto a Universidades, Centros de I+D e Empresas inovadoras (industriais ou PME) dos países Ibero-americanos.
Esta acção de coordenação visa ser um projecto de comunicação entre diferentes projectos de I+D em V&V de SW na Ibero-América, suportando-os através da potenciação de novos projectos e colaborações bem como da eliminação de redundância entre esforços de diferentes grupos. Deste modo evita-se duplicação de trabalho pela partilha de resultados. Sendo orientada a V&V esta acção pretende ainda orientar e coordenar futuros desenvolvimentos de V&V a nível mundial, para benefício de toda a Indústria de desenvolvimento de Software, em particular de Aplicações abertas em Rede.
Esta acção pretende assim coordenar diferentes grupos de investigação, envolvidos em diferentes projectos relacionados com V&V, sendo estes financiados pela Indústria, por fundos próprios ou de iniciativa nacional, regional, ou internacional (p. ex. Comissão Europeia). Pretende-se suportar não as actividades de investigação mas sim as actividades de coordenação, organização e suporte que são necessárias para que os grupos de investigação membros de REVVIS criem um núcleo de excelência de investigação e aplicação de V&V de SW na Ibero-América, propiciando novos projectos de inovação IBEROEKA, novos projectos de investigação consorciados, e principalmente novas iniciativas comerciais e industriais de aplicação dos projectos de I+D do parceiros de REVVIS.
Em suma, os objectivos de alto nível da acção de coordenação de projectos de investigação REVVIS são:
Partilharexperiências em V&V de SW.
Aplicarresultados de investigação, identificando estratégias de transferência de tecnologias para vários países Ibero-Americanos.
Coordenarfuturas iniciativas e projectos de investigação em V&V de SW.
Estes objectivos encontram-se descritos no Esquema do Projecto REVVIS, apresentado em anexo.
A capacidade do projecto de obtenção de resultados científicos e tecnológicos relevantes é uma mais valia, que resulta no aumento das capacidades científicas e o nível tecnológico das entidades envolvidas, através de uma melhor comunicação sobre os temas de investigação focados no projecto REVVIS, nomeadamente:
Aplicação de V&V de SW em vários sectores e projectos (Banca, Espaço, Aeronáutica, Telecomunicações, Transportes, Energia, Água, Resíduos, Logística, Automação Industrial entre outros).
Verificação e Validação de Interfaces de utilizador.
Verificação e Validação automatizada; geração de padrões de testes automatizados.
Verificação e Validação de standards – Conformance checking of SW modules – automatização da verificação de SW face à especificação de um dado standard.
Verificação de sistemas desenhados com linguagens gráficas (Design Flow Verification).
Qualificação de métodos formais (UML, VDM).
Verificação de Interfaces de Aplicações (API) - Application Verification Interface (AVI).
Desenho orientado a testes - Design for testability.
Modelação de falhas.
Reutilização de testes – suporte arquitectural à reutilização de testes em subsistemas reutilizáveis.
Reutilização de verificação – reutilização de padrões de verificação e ambientes de verificação.
Verificação de Melhoria de Processos - Process Improvement assessment (SPICE, CMMi, RAMS – Fiabilidade, Disponibilidade, Manutenibilidade, Segurança).
As tarefas apresentadas no plano de trabalhos são baseadas nestas linhas de investigação específicas, assentando estas actividades numa forte base investigadora e industrial no Brasil, Espanha e Portugal, com conexões a diversos países Sul-Americanos.
Finalmente, quanto às linhas temáticas é difícil, senão impossível, concentrar o foco deste projecto numa única linha temática. Com efeito o tema de V&V de SW é horizontal e aplicável a qualquer contexto de projectos de desenvolvimento na área de Tecnologias de Informação e das Comunicações.
De facto, Verificação e Validação de Software pode (e deve) ser realizada em plataformas para implantar e desenvolver aplicações abertas em rede, desde aplicações para Internet até redes de comunicação por satélite. Todos os aspectos do software destas redes devem ser sujeitos a processos de verificação e validação para assegurar que o software é desenvolvido correctamente, é bem documentado, estruturado e obedece aos requisitos funcionais especificados.
A V&V de SW pode ser aplicada desenvolvimento de novas aplicações, em infra-estruturas existentes, em intervenções para documentar sistemas em operação e estabelecer estratégias de crescimento e novos desenvolvimentos, por aplicação de engenharia reversa em sistemas legados.
Mesmo o desenvolvimento de sistemas para a gestão de recursos ambientais pode beneficiar de V&V, uma vez que os requisitos ambientais são diferentes e específicos, sendo a precisão da monitorização e os tempos de resposta são críticos e, de certo modo, similares a sistemas Aeroespaciais.
Já foi também referido que o uso extenso de Verificação e Validação em telecomunicações e redes digitais convergentes é frequente, uma vez que sistemas convergentes estão actualmente em grande desenvolvimento e, para dar um único exemplo, é vital neste contexto a verificação automatizada de standards de comunicação, para assegurar a interoperabilidade dos sistemas de comunicação integrados convergentes enquanto se realiza o seu desenho e desenvolvimento.
No entanto destacamos a linha de investigação 5.1, pela importância que V&V tem nas aplicações abertas em rede, por se focar nos aspectos de qualidade, em assegurar a robustez, possibilidades de extensão e crescimento futuro das aplicações, segurança, disponibilidade, redução de custos, fiabilidade, estabilidade, maior tolerância a falhas, aumento do desempenho, aumento da cobertura funcional, melhorias na capacidade de manutenção e facilidade de uso das aplicações.
Acreditamos ainda que é em aplicações abertas em rede, por terem maior número de utilizadores, nomeadamente cidadãos a usar serviços públicos, que será mais importante assegurar todos estes factores e que o impacto social e económico será maior.
Adicionalmente, em sistemas de código aberto, dos quais o sistema operativo LINUX é o exemplo mais conhecido e utilizado na Ibero-América e no mundo, o processo de V&V é executado por uma comunidade de criadores de SW, de modo aberto e cooperativo: quem desenvolve uma secção de SW submete-o à avaliação e opinião dos seus pares que trabalham no mesmo sistema. No fundo o mesmo princípio de V&V. REVVIS pretende analisar o impacto de V&V em sistemas de código aberto na Ibero-América, como forma de os validar e assegurar a qualidade de aplicações abertas implementadas sobre sistemas de código aberto.
O impacto de REVVIS nesta linha de investigação será consolidar os processos de desenvolvimento de SW e melhorar a qualidade das aplicações abertas produzidas para execução em rede, qualquer que seja a sua natureza e incluindo sistemas de formação à distância, serviços, comércio electrónico, gestão, aplicações para PMEs, governo electrónico e sistemas de comunicação com utentes de serviços públicos e cidadãos e trabalho à distância.
Em termos de objectivos específicos, REVVIS pretende reunir mecanismos de V&V que permitam a certificação não só quanto ao uso correcto das aplicações por parte dos agentes sociais e económicos, mas também como forma de aumentar a qualidade, correcção e adequação funcional das próprias aplicações. Deste modo será possível melhorar continuamente as capacidades existentes de desenvolvimento de software correcto e válido.
O foco fundamental deste projecto e da V&V de SW é em critérios de sustentabilidade das aplicações (manutenção, desempenho e segurança destas) e em métodos de avaliação, homologação e controlo de qualidade das aplicações, utilizando standards internacionais (IEC61000) e em particular os provenientes das indústrias da Defesa (DEF 00-55, 00-56, MlL-STD-495), Nuclear (IEC60880, ANS ANSI/ANS 10.4), Dispositivos Médicos (FDA-510(k), ANSI/AAMI SW68) e Aeroespacial (ECSS-E-40, Q-80, DO/RTCA 178B, DO-254) como forma de garantir a capacidade dos sistemas em atingir os propósitos das organizações e de promover a melhoria contínua das aplicações abertas em rede.
Grupos Representantes de las Unidades de Investigación