ModelExaminer(Simulink 모델링 가이드라인 검증) : MDS테크

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에서 필요한 모델링 가이드라인을 제시하여 구현된 모델이 가이드라인에 맞게 모델링 했는지 검증해 주는 솔루션입니다.

특히, ISO 26262 Functional Safety 가이드라인을 제공함으로써 개발자의 모델링이 ISO 26262의 조건에 충족하는지를 확인할 수 있습니다.또한 회사 고유의 Rule을 가이드라인으로 작성하여 체크할 수 있는 기능도 제공하고 있습니다.

주요특징

- 모델링에 대한 다양한 가이드라인 제공 (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와 구조를 분석해주는 개발도구입니다.현재 MBD의 Complexity을 측정해주는 유일한 개발도구이며 ISO 26262에서는 Low Model Complexity을 준수할 것을 강력히 권장하고 있습니다.