모델기반설계를 이용한 요구사항 기반 검증의 단순화

모델 기반 설계를 이용하면, 비정형 텍스트 형태의 요구사항을 모델링하고 보다 빠른 시점에 시뮬레이션 한 후, 자동으로 embedded target에 알맞는 코드를 생성해 낼 수 있습니다. 요구사항은 복잡한 시간 종속 신호를 정의하기 위한 시간 속성을 포함할 수 있고 불완전하고 통일성이 없을 수도 있습니다. 이와 같은 것들은 설계와 검증에서 오류와 잘못된 의사소통으로 이어질 수도 있습니다.

본 세션은 요구사항을 어떻게 모델링 하는지와 텍스트 형태의 요구사항들을 명백한 assessment로 변환하기 위한 방법으로 Simulink Test™에서 제공되는 Logical and Temporal Assessments Editor를 제시해드립니다. 또한 매트릭 시간 로직에 기인한 시간 평가 로직은 가독성이 있는 assessment로 생성될 수 있도록 표현과 확장이 가능한 정밀하고 정형화된 semantics형태로 제공됩니다. 대화형 양식 기반의 편집기를 이용해서 condition, event, signal value, delay 그리고 response형태로 assessment를 표현 할 수 있습니다. 이해가 쉽도록 영어와 같은 문장으로 assessment를 확인하거나 결과를 시각화고 설계 오류를 디버그 할 수 있는 그래픽 표현으로 확인할 수도 있습니다.