SW 개발도구

  • SW개발도구
  • aiT/TimingProfiler
제품문의
  

개요

국방, 항공, 자동차, 원자력 등의 임베디드 시스템은 반드시 정해진 시간 내에 동작하여 임무를 완수해야합니다.
aiT는 안전 필수 시스템(Safety-Critical System) 개발에 필요한 최대 실행 시간 검증 솔루션을 제공합니다.
TimingProfiler는 SW의 성능을 분석하고 개선하기 위해 정량적인 SW의 실행 시간을 관리합니다.

주요 기능

  • aiT : SW의 WCET(Worst-case Execution Time, 최대 실행 시간) 분석
    • 실시간 시스템의 최대 실행 시간 및 경로 분석
    • Task/ISR/함수/블록 단위의 최대 실행 시간 확인
    • 분석 결과를 이용한 코드 최적화 가능
    • 다양한 개발도구와 통합 가능: SCADE, ASCET, TargetLink 등
  • TimingProfiler : SW의 실행시간 프로파일링
    • 소스 코드의 정량적인 실행 시간 분석
    • SW의 실행시간 분포, Time-critical 경로, 변수 사용 현황 등의 분석 제공
    • SW Call-graph 분석 및 소스 코드 기반의 결과 확인 제공

TimingProfiler 분석 결과 화면

특장점 및 도입 효과

  • aiT
    • SW의 WCET(Worst-case Execution Time) 분석
    • 바이너리 분석 기반의 정확한 분석 제공
    • 분석 결과의 상세한 시각화 제공
  • TimingProfiler
    • 개발 초기 단계의 실행 시간 및 타이밍 동작 예측
    • SW의 다양한 동작 시나리오에 따른 최대 실행 시간 경로 분석
    • 타이밍 측정이 불가능한 환경의 실행 시간 예측

대표사용 사례

  • DAIMLER - aiT, StackAnalyzer
    • 적용 프로젝트: Powertrain Control System외 다수의 프로젝트
    • ISO 26262의 Worst Case Execution Time과 최대 Stack 사용량 검증 솔루션으로 사용 중
  • Audi/GM - TimingProfiler
    • 소스 코드의 성능 최적화를 위한 소스 코드의 정량적인 성능 분석 솔루션으로 사용 중
  • Airbus - aiT, StackAnalyzer, Astree
    • DO-178B 인증을 위한 전략적 전사 솔루션으로 사용 중
  • Honda - aiT, StackAnalyzer, ValueAnalyzer
    • 적용 프로젝트: 항공기 터보팬 엔진의 전자식 통합 엔진 제어장치(FADEC)
    • 타이밍, Stack 사용량, Critical Memory 보호를 위한 검증 솔루션으로 사용 중
  • MTU aero Engines - aiT, StackAnalyzer, Astree
    • 적용 프로젝트: 발전소의 비상 발전기
    • 원자력 표준인 IEC60880을 위한 솔루션으로 사용 중

지원환경

  • 지원하는 운영 체제
    • Windows, Linux
  • 지원하는 컴파일러
    • TI, ARM, Diab(WindRiver), gcc, GreenHills, Cosmic, Tasking, HighTech gcc, PL1, XD-Ada 등 대부분의 컴파일러 지원
  • 지원하는 개발 언어
    • C, C++, Ada

주요 고객

자동차 로고