VUT- nakladatelství Vutium
Canon
CAD - online trafika
Google překladač: English Deutsch
Onlio

StreamTech.tv

streamtech tv-logo

Seminář MATLAB & Simulink

Čtvrtek, 11 Listopad 2010 16:19
Humu1045Společnost Humusoft zve zájemce na seminář s plným názvem „Early Test, Verification and Validation using Model-Based Design”, který povede Hossein Mousavi, specialista firmy MathWorks. Akce se koná v úterý 23. listopadu 2010 v Kongresovém centru ČVUT v Praze, Masarykově koleji. Náplní semináře je naučit se jak zvýšit kvalitu vlastních výrobků a programů pomocí verifikace, validace a testování prostřednictvím modelů v prostředí MATLAB & Simulink. Lektor ukáže účastníkům některé osvědčené postupy při opakované zevrubné verifikaci ve virtuálním prostředí a osvětlí, jak může časná verifikace a validace pomoci k vylepšení celkové kvality produktů. Účast na semináři je bezplatná a není nutná znalost prostředí MATLAB a Simulink. Přednáška bude v angličtině.

Model-Based design je návrhová metoda, která umožní zkrácení vývojového cyklu se současným zlepšením kvality produktu. Tento seminář zakládá na předních modelovacích a simulačních schopnostech Simulinku a představuje nástroje a techniky, které umožní začlenit do návrhu postupy, jako je:
  • Automatická kontrola souladu s všeobecnými standardy v oblasti modelování
  • Propojení návrhu se zadanou specifikací požadavků
  • Automatizace testů aplikovaných na vytvořené modely
  • Implementace logických úloh s využitím stavových diagramů
  • Generování testovacích signálů, které zaručují 100% pokrytí testy
  • Prokázání požadovaných vlastností navržených modelů
Seminář je určen pro všechny, kteří se zajímají o metodu Model-Based Design, včetně oblastí:
  • Vývoj embedded systémů
  • Návrh embedded software
  • Vývoj systémů automatického řízení
  • Návrh testů a testování systémů
  • Technický managemet
Program
09:00     -    09:20     registrace     
09:20     -    09:30     zahájení
09:30     -    10:50     Early Verification and Validation - Overview
  • Model-Based Design as an Opportunity for Early Test Verification and Validation
  • Requirement/Model Traceability
  • Modeling Standards Checking
  • Test Case Coverage Analysis
10:50     -    11:10     přestávka
11:10     -    12:30     Tools and Techniques
  • Automatic Test Generation and Execution
  • Property proving
  • Automatic Code Generation and Verification
           od    12:30     závěr, diskuze, dotazy, konzultace ...

 

Přidat komentář

Bezpečnostní kód
Obnovit