제어기 모델의 모델 기반 검증 및 코드 생성
임베디드 소프트웨어의 안전성 및 신뢰성 확보를 위해서는 다양한 검증작업이 요구됩니다. 또한, 다양한 산업분야별 기능 안전 표준들은 보다 철저한 검증작업을 요구합니다. 본 세션에서는 이를 위한 모델 기반 검증 및 구현에 대한 개념을 소개하고, MathWorks 도구의 활용 방법을 케이스 스터디를 통하여 소개합니다.
녹화된 날짜: 2014년 5월 22일
Sélectionner un site web
Choisissez un site web pour accéder au contenu traduit dans votre langue (lorsqu'il est disponible) et voir les événements et les offres locales. D’après votre position, nous vous recommandons de sélectionner la région suivante : .
Vous pouvez également sélectionner un site web dans la liste suivante :
Comment optimiser les performances du site
Pour optimiser les performances du site, sélectionnez la région Chine (en chinois ou en anglais). Les sites de MathWorks pour les autres pays ne sont pas optimisés pour les visites provenant de votre région.
Amériques
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asie-Pacifique
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)