Un framework per la formalizzazione semi-automatica dei requisiti del settore automobilistico
Ariel Syrko
Broschiertes Buch

Un framework per la formalizzazione semi-automatica dei requisiti del settore automobilistico

Sviluppo e valutazione

Versandkostenfrei!
Versandfertig in 6-10 Tagen
26,99 €
inkl. MwSt.
PAYBACK Punkte
13 °P sammeln!
La 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 de...