{"product_id":"um-quadro-para-a-formalizacao-semi-automatizada-dos-requisitos-automoveis-von-ariel-syrko","title":"Um quadro para a formalização semi-automatizada dos requisitos automóveis","description":"\u003cp\u003eQuantidade 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786205126363\"\u003e\u003ch3\u003eDesenvolvimento e Avaliação\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786205126363","offer_id":40471611572317,"sku":"9786205126363","price":39.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/6a38f92d-ea7c-4b6c-b69e-569198d06fe5.png?v=1749109044","url":"https:\/\/shop.autorenwelt.de\/products\/um-quadro-para-a-formalizacao-semi-automatizada-dos-requisitos-automoveis-von-ariel-syrko","provider":"Autorenwelt Shop","version":"1.0","type":"link"}