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