{"product_id":"un-framework-per-la-formalizzazione-semi-automatica-dei-requisiti-del-settore-automobilistico-von-ariel-syrko","title":"Un framework per la formalizzazione semi-automatica dei requisiti del settore automobilistico","description":"\u003cp\u003eLa quantità e l'intricatezza delle funzionalità implementate nei veicoli si sono espanse rapidamente negli ultimi anni. Attualmente la visione di un veicolo autonomo non è più un sogno o un film di fantasia, ma una realtà imminente. Per ottenere la migliore qualità e un'elevata sicurezza, sono necessarie tecniche di verifica avanzate. Simulink Design Verifier è uno strumento di controllo dei modelli basato sulla verifica formale, che può essere utilizzato efficacemente per risolvere i problemi di rilevamento degli errori e di verifica nelle prime fasi del progetto. La trasformazione dei requisiti scritti in forma tradizionale in obiettivi di Simulink Design Verifier può richiedere molto tempo e la conoscenza del modello di sistema e dello strumento di verifica. Per ridurre il dispendio di tempo e guidare l'utente attraverso il modello del sistema e lo strumento di verifica è stato sviluppato un framework semi-automatico. L'implementazione di modelli grammaticali inglesi ristretti in oggetti Simulink supporta la descrizione dei modelli agli ingegneri e riduce il consumo di tempo. Il framework sviluppato è flessibile e intuitivo e può quindi essere una soluzione per altri settori industriali, ma sono necessari test e verifiche futuri.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786205126356\"\u003e\u003ch3\u003eSviluppo e valutazione\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786205126356","offer_id":40471708270685,"sku":"9786205126356","price":39.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/6f96356e-dfdc-4bae-af4b-b2a8345f271e.jpg?v=1769843467","url":"https:\/\/shop.autorenwelt.de\/products\/un-framework-per-la-formalizzazione-semi-automatica-dei-requisiti-del-settore-automobilistico-von-ariel-syrko","provider":"Autorenwelt Shop","version":"1.0","type":"link"}