검증 솔루션
T1을 통해 임베디드 소프트웨어를 위한 가장 효율적인 소프트웨어 기반 타이밍 분석 최적화와 검증이 가능합니다.
검증 노하우와 기술력을 보유한 타이밍 분석 전문가와 함께 고품질의 서비스를 만나보세요.
-
TUV 인증서
-
ISO26262 ASIL-D 인증
Software Versions Feature V2.2.4.x First ISO26262 certified release V2.3.x.x Support more than three cores (e.g. AURIX 2G) V2.4.x.x ISO26262 certified release V2.5.x.x New TraceEvent implementation; RH850E2 support starting with V2.5.8.1 V2.6.x.x ISO26262 certified release; communication library integrated in T1.base; on-target access to T1.cont values for certified releases V3.1.x.x Streaming support; Beta T1.cont foreground support V3.2.x.x ISO26262 certified release; support for easy configuration of UserEvents, UserStopwatches and AppFeatures in inv file V3.3.x.x Full foreground T1.cont support V3.2.1.1 ISO26262 certified release for VariantID 83/57 including unattended streaming and on-target access to traces V3.3.2.0 / V3.3.3.0 T1.cont support for more than 255 tasks; T1.flex support for future features, enhancements and bugfixes V3.4.0.0 ISO26262 certified release; full support for 2nd SWF measurements; T1.cont foreground bugfixes V3.4.0.1 ISO26262 certified release; support for AURIX3G (V1.8 architecture) V3.5.0.0 Full support for 2nd SWF measurements; T1.cont foreground bugfixes; Support for AURIX3G (V1.8 architecture)
소프트웨어 개발에 최적화 된 검증 솔루션을 소개합니다.
-
-
T1.timing
임베디드 시스템의 효율성, 신뢰성 및 안정성을 향상시키고
브로셔 다운로드
자동차 소프트웨어에서 가장 많이 사용되는타이밍 측정 도구입니다.
-
-
T1.stack
바이너리(ELF파일)을 기반으로 정적 코드 분석을 진행하여
브로셔 다운로드
함수 Call tree를 재구성 할 수 있는 전 세계 유일한 제품입니다.
-
-
AT1.ccesspredictor
플래시 다운로드 전, 메모리 억세스 위반을 확인 할 수 있습니다.
브로셔 다운로드
바이너리(ELF파일)을 기반으로 분석 가능합니다.
T1.timing
- 타이밍 측정(예: 최대, 최소, 평균 소프트웨어 실행 시간) 및 디버깅
- 실 타깃 타이밍 검증 및 모니터링
- 타이밍 자동화 테스트
- ISO 26262 요구 사항 지원
- AUTOSAR Timing Extensions(TIMEX) 구현
- SW 구현 전에 추가할 기능의 타이밍 효과를 확인하기 위한 여유 공간 테스트
- 멀티코어 프로젝트에서 데이터 Latency 및 Synchronization 효과 검증
- 멀티코어 시스템에서 특정 코어를 멈추지 않고 타이밍 및 기능적인 문제를 추적 (특정 코어 중단 시 결과 값이 다를 수 있음)
- T1.streaming : 기존의 일부분에 대한 Tracing 정보만 관찰할 수 없던 한계를 넘어 장시간의 Tracing 정보를 PC에 기록하고 저장할 수 있습니다.
-
T1.posix :
T1-HOST-SW v3.2부터 POSIX 운영체제를 지원하기 위해 T1.timing에 Add-on 제품인 T1.posix를 출시하였습니다.
고성능 컴퓨팅을 위한 많은 운영 체제와 AUTOSAR AP 표준은 POSIX를 기반으로 합니다.
이에 맞춰 T1은 T1.timing을 지원합니다.
[Plug-in]
-
T1.scope :
실제 시스템에 대한 통찰력을 갖게 하고 개발자, 통합자 및 테스터가 임베디드 소프트웨어의 타이밍을 시각적으로 확인할 수 있습니다.
- T1은 모든 타깃 인터페이스 대역폭에 대한 최상의 통찰력을 제공
- 저대역폭 환경(예: CAN) : 수백 밀리초의 스냅샷
- 고대역폭 환경(예: Ethernet): Add-on 제품 T1.streaming을 통해 다양한 타이밍 (seconds, minutes, hours, days)으로 실시간 시각화 및 분석을 통한 스트리밍
-
T1.cont :
독립적인 타이밍 분석과 타이밍 감독 기능으로 기존 소프트웨어에 대한 영향을 최소화하면서 타겟에 대한 타이밍 분석을 제공합니다.
또한 ECU 동작 중간에 T1을 연결하여도 T1.cont는 그 동안의 누적치에 대한 측정 결과를 알려줍니다.
측정 뿐만 아니라 제약 조건 설정을 통해 지속적으로 타이밍을 감독하여 타이밍 요구 사항이 충족되었는지 확인할 수 있습니다. -
T1.flex :
T1.flex 기능은 on-target 기반의 런타임 동안에 코드를 수정과 타깃에 새로운 이미지를 다운로드하는 과정 없이, 함수 또는 원하는 코드 구간 및 데이터를 선택하여 측정할 수 있습니다.
최소/최대/평균 실행 시간 및 CPU Load와 같은 타이밍 parameter를 코드 수정없이 바로 확인할 수 있는 기능입니다. -
T1.api :
테스트 시나리오를 자동화하여 구현 가능하며 CPU Load, 코어 실행 시간(CET), 응답 시간(RT) 등과 같은 타이밍 파라미터를 수집합니다.
테스트 자동화를 위한 REST API를 제공하므로 대부분의 프로그래밍 언어에서 쉽게 제어할 수 있습니다. - T1.mod : 특정 메모리의 정보를 읽고 값을 쓸 수 있는 기능입니다. 특정 변수의 값을 읽거나 값을 쓸 수 있으며 메모리 영역의 값을 주기적으로 읽을 수 있습니다.
- T1.delay : 특정 양의 CPU Load를 임의의 코드에 주입하는 기능입니다. 이 기능을 통해 소프트웨어의 동작을 미리 관찰하고 CPU Load의 여유(헤드룸)를 파악할 수 있습니다.
- T1.diff : T1.diff는 측정 결과를 데이터베이스화하여 비교할 수 있는 기능입니다. 소프트웨어의 서로 다른 버전에 대해 비교하며 선택된 타이밍 파라미터의 다이어그램과 수치를 보여줍니다.
T1.stack
바이너리(ELF 파일)를 기반으로 T1.stack은 정적 코드 분석을 수행합니다.
바이너리가 disassemble되고 함수 호출이 추출되며 Call tree가 재구성됩니다.
동시에 각 기능에 대한 스택 사용량이 결정됩니다.
Call tree 와 함수 당 스택 사용량은 강력한 T1.stack view로 확인 할 수 있습니다.
T1.stack을 통한 정확하고 상세한 분석을 통해 WorstCase에 대한 총 스택 사용량을 검증할 수 있어 불필요한 메모리 할당 낭비를 피할 수 있습니다.
또한 가장 중요한 스택 오버플로우를 방지할 수 있습니다.
T1.accessPredictor
T1.accessPredictor를 사용하여 소프트웨어를 ECU에서 실행하기 전에 메모리 액세스 위반을 확인할 수 있습니다.
현재의 ECU 소프트웨어는 여러 개발자의 소프트웨어 구성 요소를 통합하여 만들어 집니다.
소스 전체를 한 번에 검색하기 어렵기 때문에 완전한 분석이 불가능 합니다.
이에 따라 소스 코드를 분석하는 것보다 바이너리를 분석하는 것이 필수적입니다.