• #모델정적검증
  • #모델링규칙검사
  • #품질지표분석
  • #자동검증

모델 정적 검증 (MI)

모델링 규칙 기반 정적 검증을 통해 모델 품질을 정량적으로 분석하고 자동으로 검증하는 모델 검증 도구

고객 니즈

  • 모델 기반 개발(MBD) 품질 관리 필요

    모델 복잡도 증가로 규칙 위반 및 품질 저하 발생

  • 모델링 규칙 수작업 검증의 비효율

    수작업으로 규칙 검사 시 공수 증가 및 오류 발생

  • 표준 기반 검증 요구 증가

    MAAB, MISRA 등 모델링 규칙 준수 필요

  • 모델 품질을 정량적으로 평가하기 어려움

    복잡도, 결합도 등 품질 지표 관리 필요

핵심 기능

  • 모델링 규칙 자동 검사

    모델링 규칙 자동 검사

    • MAAB, MISRA 등 700+ 규칙 기반으로 모델 위반 사항을 자동 검출
  • 위배 원인 분석 및 수정 가이드 제공

    위배 원인 분석 및 수정 가이드 제공

    • 위반 위치 추적과 함께 원인 분석 및 수정 권고안 제공
  • 모델 자동 수정 기능

    모델 자동 수정 기능

    • 권고안을 기반으로 블록 및 속성을 자동 수정하여 품질 개선
  • 모델 품질 지표 분석

    모델 품질 지표 분석

    • 복잡도, 결합도 등 21종 품질 지표를 통해 모델 품질 정량 평가

도입 효과

  • 모델 검증 자동화 및 공수 절감

    수작업 검증 대비 빠른 검사 수행

  • 모델 품질 향상 및 안정성 확보

    규칙 기반 검증으로 오류 사전 제거

  • 표준 규격 대응 및 인증 지원

    MAAB, MISRA 등 산업 표준 준수

  • 정량적 품질 관리 가능

    품질 지표 기반 지속적 개선

적용 사례

  • 오트론 모델링 규칙 자동화 적용 사례 (자동차)
    Case

    오트론 모델링 규칙 자동화 적용 사례 (자동차)

    대상
    Simulink 기반 제어 모델
    상황
    모델링 가이드라인 수작업 검증 수행
    도구적용
    모델링 규칙 자동 검사 및 품질 지표 분석 수행
    결과
    개발 기간 단축 및 검증 비용 절감
  • 친환경차 모델 품질 관리 체계 구축 사례
    Case

    친환경차 모델 품질 관리 체계 구축 사례

    대상
    친환경 차량 모델 개발 프로젝트
    상황
    모델 기반 개발 전환 후 품질 관리 필요
    도구적용
    모델 규칙 검사 + 품질 지표 기반 관리
    결과
    지속적인 모델 품질 관리 및 SW 품질 향상

지원 범위 및 환경

OS 환경 Windows 7 이상
지원 모델 Simulink 2011b 이상

TargetLink 3.3 이상
지원 언어 한국어, 영어
하드웨어 요구사항 CPU : Dual Core 2GHz 이상

RAM : 2GB 이상

Storage : 1.5GB 이상
Contact

슈어소프트테크와 함께 시작해보세요!

개발 환경에 맞춘 최적의 검증 솔루션을 제안해 드립니다.

close