SW 개발도구

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


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

  • 개발초기단계에서 치명적 상황 발견
  • 시스템 품질 향상
  • 최종제품 검증
  • IEC 61508(SIL Level 3 및 4), 자동차분야의 기능안전규격 ISO 26262에서 요구하는 안전기준을 충족하는 시스템 개발 프로세스에 적합
개요

Embedded Specifier

개요

Embedded Specifier는 비형식적 기술(informal)부터, 준형식기술(semi-formal), 형식기술(formal)을 지원하여, 개발 초기부터 안전성을 중요시하는 엔지니어에게 적합한 툴입니다.

특징 및 장점

  • IBM® Rational® DOORS® 와 PTC Integrity등의 툴과 직접 연계하여 대응
  • 전체 성과물들을 일관되게 연결하여 지속적인 추적이 가능
  • 진단 유닛(C-Observer)의 자동생성
  • 형식화 된 요구사항에 근거한 테스트 케이스의 자동생성
개요

Embedded Validator

개요

Embedded Validator는 특정 속성에 대한 디자인의 동적 동작을 확인하는 기술인 Model Checking을 사용하여 모델이 요구사항에 맞게 구현되어 있는지를 확인할 수 있습니다.

개요

특징 및 장점

  • 범위 위반 해석: 임의의 변수가 지정 범위 외의 값을 취할 가능성이 있는지를 정적으로 검증
  • 도달 가능성 체크: 차트 내 임의의 도달 가능성 및 최단도달단계에 대해 정적으로 검증
  • TargetLink를 이용해서 Simulink/Stateflow 모델을 정확히 수학적으로 번역하여, 해당 기술의 요구사항 만족 여부를 정적으로 검증
  • 다양한 형태의 리포트 생성 기능

EmbeddedTester

개요

모델 베이스 환경에 적합한 테스트 환경을 제공하며 특히 세계적으로 사용되고 있는 TargetLink에 높은 적합성을 가진 툴입니다.

개요

특징 및 장점

  • Simulink/Stateflow/TargetLink와 유연한 통합
  • 커버리지에 완벽 대응(Statement, Branch, MC/DC)
  • 잘못된 고정 소수점 스케일링 및 Divided by zero, Down case검출
  • 테스트 케이스 자동생성(코드 및 formal requirements을 분석하여 생성)
  • Back-to-Back 테스트 자동실행(MIL/SIL/PIL)
  • 자동으로 MIL/SIL에서의 디버깅 환경 제공
  • SignalBuilder/Excel등의 형식으로 요구사항 테스트 환경 제공

    주요 고객

    개요

    기술기사