모델기반설계를 이용한 요구사항 기반 검증의 단순화
모델 기반 설계를 이용하면, 비정형 텍스트 형태의 요구사항을 모델링하고 보다 빠른 시점에 시뮬레이션 한 후, 자동으로 embedded target에 알맞는 코드를 생성해 낼 수 있습니다. 요구사항은 복잡한 시간 종속 신호를 정의하기 위한 시간 속성을 포함할 수 있고 불완전하고 통일성이 없을 수도 있습니다. 이와 같은 것들은 설계와 검증에서 오류와 잘못된 의사소통으로 이어질 수도 있습니다.
본 세션은 요구사항을 어떻게 모델링 하는지와 텍스트 형태의 요구사항들을 명백한 assessment로 변환하기 위한 방법으로 Simulink Test™에서 제공되는 Logical and Temporal Assessments Editor를 제시해드립니다. 또한 매트릭 시간 로직에 기인한 시간 평가 로직은 가독성이 있는 assessment로 생성될 수 있도록 표현과 확장이 가능한 정밀하고 정형화된 semantics형태로 제공됩니다. 대화형 양식 기반의 편집기를 이용해서 condition, event, signal value, delay 그리고 response형태로 assessment를 표현 할 수 있습니다. 이해가 쉽도록 영어와 같은 문장으로 assessment를 확인하거나 결과를 시각화고 설계 오류를 디버그 할 수 있는 그래픽 표현으로 확인할 수도 있습니다.
녹화된 날짜: 2019년 4월 23일
웹사이트 선택
번역된 콘텐츠를 보고 지역별 이벤트와 혜택을 살펴보려면 웹사이트를 선택하십시오. 현재 계신 지역에 따라 다음 웹사이트를 권장합니다:
또한 다음 목록에서 웹사이트를 선택하실 수도 있습니다.
사이트 성능 최적화 방법
최고의 사이트 성능을 위해 중국 사이트(중국어 또는 영어)를 선택하십시오. 현재 계신 지역에서는 다른 국가의 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 (한국어)