---+!! Verifica e Validazione di Software Embedded ---++ %MAKETEXT{"Avvisi"}% * Le lezioni avranno inizio il 5 MArzo 2012 ---++ %MAKETEXT{"Orario e Luogo Lezioni"}% * Orario: Martedì dalle ore 11.00 alle ore 13.00. * Luogo: Aula Seminari del Dip. di Informatica (Piano 3, Via Salaria 113, 00198 Roma) ---++ %MAKETEXT{"Contenuto del Corso"}% Il principale approccio alla Verifica e Validazione (V&V) di software embedded e' la cosidetta Hardware-In-the-Loop (HIL) simulation. Nella HIL simulation vengono tipicamente usati due computer collegati in rete. Su uno viene eseguito il SUV (Software Under Verification), sull'altro un simulatore dell'ambiente fisico con cui il SUV interagisce. L'obiettivo della HIL simulation e' di generare scenari per il sistema descritto in modo da garantire con un certo livello di confidenza che i requisiti di sistema siano soddisfatti. L'attivita' esaminera' lo stato dell'arte per la generazione automatica di scenari nel contesto HIL simulation e si focalizzera' poi su progetti tesi a realizzare alcuni degli approcci esaminati. ---++ %MAKETEXT{"Argomenti Lezioni"}% * Statistical Model Checking ---++ <nop>%WEB% Web Utilities <form action='%SCRIPTURLPATH{"search"}%/%WEB%/'> * <input type="text" name="search" size="22" /> <input type="submit" class="twikiSubmit" value="%MAKETEXT{"Search"}%" /> - [[WebSearchAdvanced][%MAKETEXT{"advanced search"}%]] * WebTopicList - all topics in alphabetical order * WebChanges - recent topic changes in this web * WebNotify - subscribe to an e-mail alert sent when topics change * WebRss, WebAtom - RSS and ATOM news feeds of topic changes * WebStatistics - listing popular topics and top contributors * WebPreferences - preferences of this web </form>
This topic: Vvse
>
WebHome
Topic revision: r8 - 2012-02-25 - EnricoTronci
Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback