Um quadro para a formalização semi-automatizada dos requisitos automóveis

Quantidade e complexidade das características implementadas nos veículos expandem-se rapidamente ao longo dos últimos anos. Actualmente, a visão de um veículo autónomo já não é um filme de sonho ou de fantasia, mas sim uma actualidade que se aproxima. A fim de alcançar a melhor qualidade e alta segurança, são necessárias técnicas de verificação avançadas. O Simulink Design Verifier é uma ferramenta de verificação de modelos baseada na verificação formal, que pode ser utilizada eficazmente para resolver problemas relativos à detecção de erros e testes em fases iniciais do projecto. A transformação dos requisitos escritos na sua forma tradicional em objectivos directos do Simulink Design Verifier pode ser demorada, bem como exigir conhecimento do modelo do sistema e da ferramenta de verificação. A fim de reduzir o consumo de tempo e orientar um utilizador através do modelo do sistema e da ferramenta de verificação, foi desenvolvida uma estrutura semi-automatizada. A implementação de padrões gramaticais ingleses restritos em objectos Simulink suporta a descrição de padrões a engenheiros e reduz o consumo de tempo. A estrutura desenvolvida é flexível e intuitiva, pelo que pode ser uma solução para outros ramos da indústria, mas são necessários testes e verificações futuras.