SW 개발도구

  • SW개발도구
  • BTC
제품문의

BTC EmbeddedPlatform

개요

BTC EmbeddedPlatform 툴은 요구사항 생성부터 모델 및 자동생성코드 검증에 이르는 개발 과정을 간소화 시켜 개발 비용을 절감하고 개발 시간을 단축합니다. 특히 ISO 26262의 요구사항들을 지원하고 있으며, BTC 솔루션 이용 시 다음과 같은 이점을 얻을 수 있습니다.

주요 기능

  • 코드 커버리지 기반의 테스트 케이스 분석 및 자동 생성
  • 생성된 테스트 케이스의 실시간 코드 커버리지 분석 및 테스트 케이스 자동 생성
  • Back-to-Back Test 수행 및 자동 결과 판정
  • 요구사항 기반 테스트 수행(Requirement Based Test)
  • Formal Specification & Verification
  • 검증 결과에 대한 상세 Report 제공
  • IEC 61508(SIL Level 3 및 4), 자동차 분야의 기능 안전 규격 ISO 26262에서 요구하는 안전기준을 충족하는 시스템 개발 프로세스에 적합
    • Back-to-Back 테스트 Workflow
      Back-to-Back
    • 코드 커버리지 기반의 자동 생성된 테스트 케이스 분석 화면

      코드

    • Back-to-Back 테스트 결과 자동 판단

      Back-to-Back

    • Model Checking 방식을 이용한 Formal Verification
      Model
    • BTC EmbeddedPlatform의 ISO 26262 part6 지원 영역
      BTC

특징 및 장점

  • TargetLink/Simulink/Stateflow와 유연한 통합
  • 커버리지에 대한 완벽 대응(Statement, Branch, MC/DC)
  • 잘못된 고정 소수점 스케일링 및 Divided by zero, Down case검출
  • 코드 및 형식화된 요구사항을 분석하여 테스트 케이스 자동 생성
  • Excel뿐만 아니라 IBM® Rational® DOORS® 와 PTC Integrity등의 툴과 직접 연계하여 요구사항 연동 가능
  • Back-to-Back 테스트 자동 실행(MIL/SIL/PIL) 및 결과 판단
  • 코드의 Unreachable영역을 검출하여 효율적인 코드 생성 가능
  • 도달 가능성 체크 : 차트 내 임의의 도달 가능성 및 최단 도달 단계에 대해 정적으로 검증

    주요 고객

    주요

    기술기사