임베디드 소프트웨어의 안전성 및 신뢰성 확보를 위해서는 다양한 검증작업이 요구됩니다. 또한, 다양한 산업분야별 기능 안전 표준들은 보다 철저한 검증작업을 요구합니다. 본 세션에서는 이를 위한 모델 기반 검증 및 구현에 대한 개념을 소개하고, MathWorks 도구의 활용 방법을 케이스 스터디를 통하여 소개합니다.
You can also select a web site from the following list
How to Get Best Site Performance
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.