연구장비 소개
Model Examiner/M-XRAY (모델기반 표준SW 개발 및 실시간 검증지원도구)
- 장비사양 □ Model Examiner - 모델링 가이드라인 제공(ISO 26262 포함) - Automated checking/가이드라인 위반 모델의 자동 수정 기능 - 고객 요구사항에 맞는 가이드라인 개발 가능 - HTML, PDF, 또는 Excel형식의 다양한 포맷의 결과 리포트 출력 □ M-XRAY - ISO 26262의 Low Model Complexity 측정에 적합 - 모델 Complexity 및 구조의 전체/계층적 분석 - HTML 또는 Excel형식의 다양한 포맷의 결과 리포트 출력
장비소개
장비개요
Model Examiner/M-XRAY (모델기반 표준SW 개발 및 실시간 검증지원도구)
주요용도□ Model Examiner - Simulink/TargetLink/Stateflow 모델의 모델링 가이드 라인에 대한 검증 툴 - ISO 26262 Functional Safety 가이드라인 제공 → 개발자의 모델링이 ISO 26262 조건 충족여부 확인 가능 - 회사 고유의 Rule을 가이드라인으로 작성, 체크하는 기능 제공 □ M-XRAY - Simulink/TargetLink/Stateflow의 Complexity 및 구조 분석툴
장비담당자 : 게시글담당자 :