50:28
비디오 길이: 50:28
제어기 모델의 모델 기반 검증 및 코드 생성
임베디드 소프트웨어의 안전성 및 신뢰성 확보를 위해서는 다양한 검증작업이 요구됩니다. 또한, 다양한 산업분야별 기능 안전 표준들은 보다 철저한 검증작업을 요구합니다. 본 세션에서는 이를 위한 모델 기반 검증 및 구현에 대한 개념을 소개하고, MathWorks 도구의 활용 방법을 케이스 스터디를 통하여 소개합니다.
녹화된 날짜: 2014년 5월 22일
Web サイトの選択
Web サイトを選択すると、翻訳されたコンテンツにアクセスし、地域のイベントやサービスを確認できます。現在の位置情報に基づき、次のサイトの選択を推奨します:
また、以下のリストから Web サイトを選択することもできます。
最適なサイトパフォーマンスの取得方法
中国のサイト (中国語または英語) を選択することで、最適なサイトパフォーマンスが得られます。その他の国の MathWorks のサイトは、お客様の地域からのアクセスが最適化されていません。
南北アメリカ
- América Latina (Español)
- Canada (English)
- United States (English)
ヨーロッパ
- 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)
アジア太平洋地域
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)