Společ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 ...