<!-- image -->
<!-- image -->
MATLAB & Simulink 모델 검증 솔루션
©MDS Tech Inc. All Rights Reserved.
MXAM (Model Examiner)
ISO26262 및 ASPICE 요구사항을 충족하는, 세계 최고 수준의 모델 정적 분석 기능을 제공하는 Functional Safety Solution입니다. MXAM은 MATLAB/Simulink, Stateflow, Embedded Coder, TargetLink 등에서 사용되는 모델을 정적 분석(Static Analysis) 하는 도구입니다.
Workflow in MBD with MXAM
<!-- image -->
<!-- image -->
주요 기능
<!-- image -->
가이드라인 목록
- MAAB / MAB
- MISRA SL/SF/TL
- Embedded Coder
- dSPACE TL
- ISO 26262
- Functional Safety
- Best Practices
- Custom guidelines
<!-- image -->
MXAM은 가이드라인을 정밀하게 자동 검증하고, 위반된 모델을 신속하게 추적합니다. 또한 다양한 모델 메트릭을 심층적으로 분석·관리하며, 이를 기반으로 신뢰성 높은 결과 리포트를 생성합니다.
<!-- image -->
주요 기능
MXAM은 모델 정적 분석 도구 중에 가장 많은 guideline을 지원하며, 설정한 guideline에 따라 자동으로 분석/수정할 수 있습니다. 뿐만 아니라 다양한 model metric 지표도 분석하여 모델 품질을 관리할 수 있고, guideline 준수 여부와 개선이 필요한 영역을 직관적으로 확인할 수 있는 명확한 리포트 형태로 제공합니다.
결과는 HTML, PDF, XML EXCEL, MXMR(MXAM reprot 파일/reladable) 형식으로 제공합니다.
위반 사항 분석 보고서
<!-- image -->
규정 준수 문서 제공
<!-- image -->
<!-- image -->
모델링 가이드라인 기반 분석 전/후 비교
MXAM을 적용하면 모델링 과정에서 발생하는 오류와 비효율적인 요소를 자동으로 분석하고 개선할 수 있습니다. Guideline 기반 자동 수정 과정을 통해 모델 구조가 일관되고 명확해지며, 시인성과 가독성이 향상됩니다. 이를 통해 협업 및 유지보수가 용이해지고, 산업 표준 준수를 기반으로 안정적인 품질을 확보할 수 있습니다.
<!-- image -->
<!-- image -->
<!-- image -->
모델 메트릭 분석 및 관리
<!-- image -->
MXAM에서 자체적으로 제공하는 Functional Safety guideline을 기반으로 모델 메트릭 지표를 분석하여 ISO 26262 요구사항을 준수하도록 보장합니다.
<!-- image -->
Local Complexity, Incoherence, Clone Groups 등 핵심 모델 품질 지표와 Interface (Ports), Level 구조를 기반으로 모델 메트릭을 정량적으로 분석합니다.
MXAM 적용 전/후 사례로, 개선 후 모델은 Local Complexity와 Incoherence가 감소하며 구조가 단순화됩니다.
<!-- image -->
MoRe (Model & Refactor)
불필요한 수작업 정리 없이 모델을 자동으로 정돈하여 작업 시간을 획기적으로 절감합니다. Auto Layout은 편의 기능을 넘어, 효율적인 모델 개발과 품질 향상의 핵심 기능입니다.
<!-- image -->
<!-- image -->
<!-- image -->
<!-- image -->
Stay With Your ToolChain
MXAM Jenkins Plug-in 을 통한 자동화 프로세스 간소화
<!-- image -->
- 모델 & 가이드라인 선택
- Pass/fail 기준 정의
- 결과 보고서 생성 및 게시
- Quality Assurance 자동화
- Jenkins 기반 자동화 pipeline
<!-- image -->
<!-- image -->
<!-- image -->
- MXAM Jenkins plug-in UI
<!-- image -->
<!-- image -->
<!-- image -->
<!-- image -->
<!-- image -->
Certified for ISO 26262, IEC 61508, and ISO 25119
<!-- image -->
Function 개발자, 테스터 및 품질 관리자를 위해 설계된 MXAM은 MATLAB®/Simulink®, Embedded Coder® 및 TargetLink® 의 인증을 바탕으로 안전한 MBD를 실현시킬 수 있습니다.
<!-- image -->
<!-- image -->
<!-- image -->
<!-- image -->
<!-- image -->
Reactis
Simulink용 Reactis®는 Simulink® / Stateflow® 설계에 대한 모델 기반 테스트, 디버깅 및 검증 기능을 제공합니다.
Reactis Tester
Simulink 모델에서 종합적인 테스트 케이스를 자동으로 생성하여 다음 테스트를 지원
- 런타임 오류 발견
- 회귀 테스트 수행
- 백투백 테스트
- 커버리지 테스트 (결정 커버리지, 조건 커버리지, MC/DC 커버리지 등)
<!-- image -->
Reactis Simulator
Simulink 모델의 시뮬레이션 환경 제공
Reactis로 생성된 테스트를 실행하고, 테스트 커버리지와 데이터 값을 시각화하여, 오류가 발견될 경우 역실행 기능을 통해 문제의 원인을 추적할 수 있습니다.
<!-- image -->
<!-- image -->
Reactis Validator
모델이 충족해야 할 요구사항을 설정하고, 자동으로 위반 여부 검색
위반이 감지되면 문제를 진단하고 디버깅할 수 있도록 실행할 수 있는 테스트를 제공
<!-- image -->
Reactis Workflow
<!-- image -->
<!-- image -->
<!-- image -->
HOT
(웨비나) OEM 품질 규격 대응을 위한 Simulink 모델 검증 실전 가이드
HOT
<!-- image -->
Arm Contents
(웨비나) 글로벌 OEM들이 선택한 모델 Metric 분석 기능 소개
(블로그) 모델 검사도 자동으로! MXAM 입문 가이드
<!-- image -->
MXAM · Reactis 문의하기
©MDS Tech Inc. All Rights Reserved.