모델 기반 설계를 사용한 조기 검증 및 확인

요구사항과 설계 간의 추적성

설계 전반에서의 요구사항 및 최종 응용 프로그램까지 요구사항의 추적성을 보장하는 방법을 보여줍니다. MathWorks Consulting은 Requirements Toolbox를 사용하여 모델, 테스트, 코드 및 요구사항 문서 간의 양방향 링크를 생성하는 최적의 방법, 테스트 케이스를 생성하고 사용하는 방법, 필요한 리포트를 생성하는 방법을 시연할 수 있습니다. 우리는 여러분의 요구사항 관리 시스템을 통합하고, 유지보수성이 보장되고 직접적 개입이 최소화하는 아키텍처를 구축합니다.

모델링 및 코딩 표준 준수

MathWorks 컨설턴트가 특정 산업, 응용 분야, 회사 또는 안전 표준에 대한 모델링 및 코딩 표준의 준수 여부를 검증하는 방법을 교육합니다. Simulink Check에서 사용자 지정 모델링 검사를 구현하여 모델을 분석하고 검증합니다. Polyspace Bug Finder를 사용자 지정하여 생성된 코드와 손으로 작성한 코드가 코딩 표준을 준수하는지 검증할 수 있도록 지원합니다.

시뮬레이션 기반 테스트 및 보고

MIL(Model-in-the-Loop), SIL(Software-in-the-Loop) 및 PIL(Processor-in-the-Loop) 동등성 테스트를 실행하여 소프트웨어의 동작이 모델의 동작과 일치하는지 확인하는 방법을 보여드릴 수 있습니다. 모델 및 코드 수준에서 Simulink Coverage를 사용한 커버리지 분석을 적용하여 기존 테스트 케이스의 품질을 평가하는 방법과 Simulink Design Verifier로 테스트 하네스를 생성하여 설계의 신뢰성을 또 향상하는 방법을 설명합니다. Simulink Test를 사용하여 유연하게 테스트를 실행하고 이에 대해 보고하거나 대규모 자동 테스트를 구현하고 이를 타사 툴과 연결하는 최적의 방법을 안내합니다.

정형 기법을 통한 검증

MathWorks Consulting은 여러분의 설계와 최종 응용 프로그램이 일치한다는 증거를 제시하도록 도와드릴 수 있습니다. Simulink Code Inspector를 통해 생성된 코드를 검사하는 방법, 그리고 Simulink Design Verifier를 통해 데드 로직, 정수 오버플로, 0으로 나누기 등의 오류를 감지하는 방법을 보여드릴 수 있습니다. Polyspace Code Prover가 오버플로, 0으로 나누기 및 기타 특정 런타임 오류의 부재를 증명하여 코드 정확성을 입증하는 방법을 교육합니다.

MathWorks Consulting Services는 다음과 같은 작업을 수행할 수 있는 검증된 역량을 보유하고 있습니다.

• 모델 기반 설계를 사용한 조기 및 지속적 검증 및 확인 워크플로 수립
• 개발 공정 전반에 걸쳐 추적성 및 품질 보장
• 설계 오류를 조기에 감지하고 수정하는 공정 확립
• 최종 응용 프로그램의 요구사항 충족 여부 검증