MDSTECH-FLIR 
열톡레터 구독하기 
열화상 블로그 
열화상카메라 스토어
NVIDIA AI 블로그 
네이버 톡톡 제품 문의
MDS테크 AI 스토어
윈도우와 IoT 이야기 
IoT Tech Tube
Simulink/Stateflow 모델 정적 검증 솔루션
Model Examiner
최근 자동차 업계의 개발환경이 MBD(Model Based Development)기반으로 전환됨에 따라 우수한 모델링 품질을 확보하는 일이 더욱 중요해졌습니다.우수한 품질을 확보하기 위해선 자동차 분야에서 광범위하게 사용하는 모델링에 대한 가이드라인을 반드시 준수하며, 자동차 기능 안전성 국제 표준인 ISO 26262에서도 모델링 가이드라인 준수를 권장하고 있습니다. MXAM(Model Examiner)과 M-XRAY는 Simulink/TargetLink/Stateflow에서 필요한 모델링 가이드라인을 제공, 검증하는 솔루션으로 개발 기간 및 검증 비용을 획기적으로 줄일 수 있습니다.
MXAM (Model Examiner)
MXAM은 Simulink/Stateflow/TargetLink/ASCET 모델링 가이드라인을 제공하고, 구현된 모델이 가이드라인을 준수하는지 검증합니다.
주요 특징
- 모델링 가이드라인 제공 (MAAB, MISRA AC TL, MISRA AC SL/SF, TargetLink, MES Functional Safety Modelling Guideline)
- ISO 26262 요구사항 지원을 위한 가이드라인 및 항목 맵핑
- 가이드라인 위반 모델 추적
- 프로젝트/회사별 가이드라인 커스터마이징
- 결과 리포트 출력 (HTML, PDF, XML, Excel)
주요 기능
ISO 26262 Controlflow 분석
코드 생성 관련 Overflow 검출
ISO 26262 요구사항 항목 맵핑
리포트 제공
가독성 높은 검증 결과
검증 결과 변경
특정 패턴/블록 검증 제외
M-XRAY
M-XRAY는 TargetLink/Simulink/Stateflow 모델의 Complexity와 구조를 분석하는 개발 도구입니다. ISO 26262는 Low Model Complexity 준수를 강력히 권장합니다.
주요 특징
- ISO 26262 Low Model Complexity 측정에 적합
- 모델 Complexity 및 구조를 전체/계층 단위로 분석
- 결과 리포트 출력 (HTML, XML, Excel)
주요 기능
모델 구조 분석
모델 Complexity 분석
유사 서브시스템 검출
ISO 26262 지원
V-Cycle에서의 관련 범위
ISO 26262 지원 테이블
주요 고객
