임베디드 소프트웨어의 안전성 및 신뢰성 확보를 위해서는 다양한 검증작업이 요구됩니다. 또한, 다양한 산업분야별 기능 안전 표준들은 보다 철저한 검증작업을 요구합니다. 본 세션에서는 이를 위한 모델 기반 검증 및 구현에 대한 개념을 소개하고, MathWorks 도구의 활용 방법을 케이스 스터디를 통하여 소개합니다.
Seleccione un país/idioma para obtener contenido traducido, si está disponible, y ver eventos y ofertas de productos y servicios locales. Según su ubicación geográfica, recomendamos que seleccione: .
También puede seleccionar uno de estos países/idiomas:
Cómo obtener el mejor rendimiento
Seleccione China (en idioma chino o inglés) para obtener el mejor rendimiento. Los sitios web de otros países no están optimizados para ser accedidos desde su ubicación geográfica.