O Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS) visa discutir novas abordagens de avaliação de confiabilidade para CPSs complexos e promover sua adoção em sistemas do mundo real por meio de pesquisas industriais e acadêmicas. O objetivo do WAFERS é promover e fomentar a discussão de novas ideias, constituindo um fórum onde os pesquisadores podem compartilhar problemas reais e soluções inovadoras para a avaliação de sistemas complexos. Ainda, visa discutir o estado da arte atual, desafios e tendências emergentes, bem como novas soluções para validação de sistemas ciber-físicos e críticos. Os Anais do WAFERS são publicados anualmente, trazendo os artigos selecionados para cada edição do evento.
Tópicos de Interesse
Os tópicos de interesse do WAFERS incluem:
- Avaliação de software para lidar com o aumento da complexidade do sistema
- Avaliação de sistemas integrados, incluindo software OTS e software legado
- Desenvolvimento ágil em sistemas críticos: desafios e abordagens de avaliação
- Arquiteturas para Sistemas Ciber-Físicos Complexos de Sistemas
- Verificação e validação automatizada de sistemas críticos
- Certificação de Sistemas Complexos e Integrados
- Sistemas dinâmicos e em evolução: novas necessidades de verificação, validação e certificação
- Abordagens orientadas por modelos para a avaliação de sistemas confiáveis e seguros
- Sistemas em nuvem confiáveis e seguros e ambientes virtualizados
- Comunicação segura de dados em redes ciber-físicas
- Avaliação experimental de confiabilidade e segurança
- Ferramentas e demonstrações para a avaliação de sistemas complexos
- Experiências práticas e testbeds relacionadas à segurança e proteção de sistemas ciber-físicos
- Experiências industriais e melhores práticas relevantes para a segurança de sistemas ciber-físicos
- Questões em aberto, experiências práticas e estudos de caso do mundo real
Mais informações
Para obter mais informações sobre o WAFERS, visite o site de cada edição do evento.
