MBD 개발의 모델 품질을 통합적으로 관리
Simulink/Stateflow 모델 정적 검증 솔루션
자동차 개발이 MBD(Model Based Development) 기반으로 전환되면서, 우수한 모델링 품질 확보가 더욱 중요해졌습니다. MXAM은 Simulink·Stateflow·TargetLink 모델이 MAB·MISRA·ISO 26262 등 모델링 가이드라인을 준수하는지 자동으로 검증해, 개발 기간과 검증 비용을 줄입니다.
MATLAB & SIMULINK
TargetLink
ASCET 6
가이드라인 자동 검증위반된 모델 추적가이드라인 및 체크 관리고유 프로젝트 설정결과 리포트 생성HTML, PDF, Excel, XML 형식의 리포트 출력
DT+는 CPU·RTOS·컴파일러에 의존하지 않아, 어떤 개발 환경에서도 동일하게 코드를 분석합니다. 도입 제약이 없어 다수의 제어기에도 일관되게 적용됩니다.
Statement·Branch·Function 커버리지로 코드 실행률을 정밀하게 측정하고, 기능안전이 필요한 경우 MC/DC·Call 커버리지까지 확장됩니다. 리포트의 미수행 목록·진리표로 부족한 부분을 바로 확인할 수 있습니다.
C/C++·C#·JAVA에 더해 Python까지 지원해, AI·머신러닝 등 최신 알고리즘 기반 소프트웨어의 코드 커버리지도 동일한 환경에서 측정합니다.
Core·Process·Thread 동작 흐름을 시각화해 시스템 부하 요인을 파악하고, 코드 흐름·변수 값·함수 호출 관계를 CPU/Task/Function 단위로 분석합니다.
모델링 품질부터 기능안전까지, MBD 개발을 검증하는 솔루션
제어 흐름(CONTROLFLOW)에서 제어 신호의 데이터 타입과 범위가 가이드라인에 맞는지 검증하고, 코드 생성 시 발생할 수 있는 OVERFLOW 오류를 사전에 검출합니다. 위반된 모델은 위치와 함께 문제 내용을 명확하게 표시합니다.
모델링 가이드라인을 ISO 26262 항목과 연결합니다. 예를 들어 MISRA AC TL 가이드라인의 식별자 규칙을 관련 ISO 26262 항목에 매핑해, 어떤 검증이 어느 요구사항에 대응하는지 체계적으로 관리할 수 있습니다.
검증 결과를 모델별로 비교할 수 있는 가독성 높은 리포트로 제공합니다. Annotation 기능으로 검증 결과 변경 이력을 DB에 저장해 재검증 시 활용하고, Ignore List로 특정 패턴이나 블록을 검증에서 제외할 수 있습니다. 결과는 HTML·PDF·XML·Excel로 출력됩니다.
MBD 개발에서 우수한 모델링 품질을 자동 검증으로 확보합니다. 가이드라인 위반을 개발 초기에 잡아내 후반 수정 비용과 시간을 줄입니다.
ISO 26262가 요구하는 모델링 가이드라인을 자동으로 체크하고, 요구사항 항목과 맵핑해 대응 근거를 제공합니다.
MoRe로 모델 복잡도와 구조를 정량적으로 분석합니다. ISO 26262가 권장하는 Low Model Complexity를 유지해, 검증과 유지보수가 쉬운 모델을 만듭니다.
MDS테크가 MXAM·MoRe 국내 공급과 도입 컨설팅, 기술 지원을 제공합니다. MBD 검증 환경 구축을 안정적으로 지원합니다.
