임베디드 소프트웨어의 안전성 및 신뢰성 확보를 위해서는 다양한 검증작업이 요구됩니다. 또한, 다양한 산업분야별 기능 안전 표준들은 보다 철저한 검증작업을 요구합니다. 본 세션에서는 이를 위한 모델 기반 검증 및 구현에 대한 개념을 소개하고, MathWorks 도구의 활용 방법을 케이스 스터디를 통하여 소개합니다.
Seleziona un sito web per visualizzare contenuto tradotto dove disponibile e vedere eventi e offerte locali. In base alla tua area geografica, ti consigliamo di selezionare: .
Puoi anche selezionare un sito web dal seguente elenco:
Come ottenere le migliori prestazioni del sito
Per ottenere le migliori prestazioni del sito, seleziona il sito cinese (in cinese o in inglese). I siti MathWorks per gli altri paesi non sono ottimizzati per essere visitati dalla tua area geografica.
