Andere Kunden interessierten sich auch für
![ALIMENTAZIONE AUTOMATICA UTILIZZANDO QUATTRO DIVERSE FONTI E CONDIVISIONE DEL CARICO]( "ALIMENTAZIONE AUTOMATICA UTILIZZANDO QUATTRO DIVERSE FONTI E CONDIVISIONE DEL CARICO")
ALIMENTAZIONE AUTOMATICA UTILIZZANDO QUATTRO DIVERSE FONTI E CONDIVISIONE DEL CARICO26,99 €![A framework for semi-automated formalization of automotive requirements]( "A framework for semi-automated formalization of automotive requirements")
A framework for semi-automated formalization of automotive requirements26,99 €![Sistema intelligente di monitoraggio e controllo del settore tramite IOT]( "Sistema intelligente di monitoraggio e controllo del settore tramite IOT")
Sistema intelligente di monitoraggio e controllo del settore tramite IOT29,99 €![RILEVATORE DI FUGHE DI GAS E SISTEMA DI CONTROLLO DELLA COMPOSIZIONE AUTOMATICA]( "RILEVATORE DI FUGHE DI GAS E SISTEMA DI CONTROLLO DELLA COMPOSIZIONE AUTOMATICA")
RILEVATORE DI FUGHE DI GAS E SISTEMA DI CONTROLLO DELLA COMPOSIZIONE AUTOMATICA26,99 €![Caratterizzazione termochimica dei panetti di semi non commestibili]( "Caratterizzazione termochimica dei panetti di semi non commestibili")
Caratterizzazione termochimica dei panetti di semi non commestibili23,99 €![Un cadre pour la formalisation semi-automatique des exigences automobiles]( "Un cadre pour la formalisation semi-automatique des exigences automobiles")
Un cadre pour la formalisation semi-automatique des exigences automobiles26,99 €![Ein Rahmenwerk für die halbautomatische Formalisierung von Automobilanforderungen]( "Ein Rahmenwerk für die halbautomatische Formalisierung von Automobilanforderungen")
Ein Rahmenwerk für die halbautomatische Formalisierung von Automobilanforderungen39,90 €
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 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.