실행 가능한 시스템 사양 모델링
STIMULUS는 시스템 설계자가 완전히 통합된 시뮬레이션 환경에서 공식화된 텍스트 요구사항, 상태 기계 및 블록 다이어그램을 결합할 수 있는 모델링 언어를 제공합니다. 텍스트 요구사항은 시스템 기능 아키텍처의 각 수준에 할당될 수 있는 반면, 상태 기계는 일반적으로 원자 시스템의 실행 모드 또는 작동 시퀀스를 설명하는 데 사용됩니다.
시스템 사양 디버그 및 테스트
STIMULUS를 사용하면 전체 시스템 사양(요구사항, 상태 기계 및 블록 다이어그램)을 완전히 시뮬레이션하고 설계 단계 전에 사양 오류를 찾음으로써 효과적인 요구사항 및 테스트 기반 개발 프로세스를 채택할 수 있습니다. STIMULUS는 시스템 사양을 충족하는 많은 실행 추적을 생성하고 요구사항 시뮬레이션 결과를 해석하는 강력한 디버깅 기능(충돌 및 누락 요구사항의 자동 감지 및 진단, 요구사항 범위, 활성 요구사항 강조 표시, 신호 모니터링 등)을 제공합니다.
STIMULUS 실제 사용 사례: 요구사항 시뮬레이션
아래 그림은 요구사항 시뮬레이션이 충돌로 이어지는 STIMULUS 스크린샷을 보여줍니다. STIMULUS에 의해 감지된 충돌은 사용자가 디버깅 기능(역시뮬레이션, 요구사항 강조 표시, 신호 모니터링 등)을 사용하여 해석할 수 있습니다.
