기능적 정확성은 검증의 절반에 불과합니다. 안전이 중요한 개발 분야에서는 소프트웨어가 모든 관련 조건에서 정해진 시간 범위 내에 실행되어야 합니다. VectorCAST/Timing을 사용하면 엔지니어는 인증 및 검증에 필요한 통계적 신뢰도을 포함해 소프트웨어 실행 시간을 계산, 시각화 및 검증할 수 있습니다.
타이밍 값은 공식적 통계 방법을 사용하여 실제 실행 시간 측정값을 산출합니다. 하드웨어 모델이나 마이크로아키텍처에 대한 분석적 가정에 의존하지 않습니다. 이 툴은 계측된 데이터를 모델링하여 안전성 입증에 중요한 실행 시간 극한값을 식별하며, 생성된 결과는 추가적인 정당화 없이도 인증 심사에 활용할 수 있습니다.
VectorCAST/Timing의 주요 대상
VectorCAST/Timing은 single-core 및 멀티코어 플랫폼에서 작업하는 안전 엔지니어, 검증 및 QA 팀, 시스템 아키텍트를 위해 설계되었습니다. ISO 26262, DO-178C, EN 50716, IEC 61508, IEC 62304 및 IEC 60880의 적용을 받는 프로그램에 적합하며, 유효한 VectorCAST 라이선스가 필요합니다.
장점
VectorCAST/Timing은 정적 최악 실행 시간(WCET) 분석과 순수 측정 기반 접근 방식이 각각 갖는 한계를 보완하여, 실무에서 활용 가능하면서도 공식적으로 타당성을 입증할 수 있는 실행 시간 분석 방법을 제공합니다.
안전성 입증에 활용할 수 있는 타이밍 증거를 확보
계측된 실행 데이터에 공식적 통계 기법을 적용하면 ISO 26262, DO-178C, EN 50716, IEC 61508, IEC 62304 및 IEC 60880에 따른 인증 감사에 적합한 결과를 확보할 수 있습니다.
정적 분석의 한계를 넘어, 실제 실행 시간을 분석
정적 최악 실행 시간(WCET) 분석은 종종 지나치게 보수적인 결과를 산출하여, 불필요한 하드웨어 과대 설계와 시스템 아키텍처 전반의 제약으로 이어질 수 있습니다. VectorCAST/Timing은 분석적 가정이 아니라 계측된 데이터를 기반으로 작동합니다.
실제 실행 데이터를 기반으로 타이밍 분석 수행
하드웨어 모델이나 마이크로아키텍처에 대한 가정은 전혀 없습니다. 타이밍 결과는 소프트웨어가 실제로 실행 중인 하드웨어에서 수행하는 동작을 바탕으로 도출됩니다.
비정상적인 타이밍 동작 조기 탐지
통계적으로 비정상적인 타이밍 동작은 시스템 통합이나 인증 검토 단계에서 뒤늦게 발견되는 것이 아니라, 개발의 모든 단계에서 신속하게 식별될 수 있습니다.
기존 VectorCAST 투자를 확장
VectorCAST/Timing은 VectorCAST 생태계를 위해 설계되었으며, 테스트, 커버리지 및 요구사항 추적성과의 완전한 통합을 목표로 하는 로드맵을 갖추고 있습니다.
VectorCAST/Timing이 해결하는 문제
대부분의 팀에서 타이밍 분석은 검증 프로세스 중 가장 보완이 필요한 영역입니다. 일반적으로 사용되는 두 가지 접근 방식은 각각 뚜렷한 한계를 갖고 있습니다.
정적 WCET 추정
정적 최악 실행 시간 분석을 올바르게 적용하는 것은 매우 복잡합니다. 이 분석은 종종 지나치게 보수적인 결과를 산출하며, 그 결과 불필요한 하드웨어 과대 설계가 발생하고 전체 시스템 아키텍처에 영향을 미치는 설계 제약 조건이 도입될 수 있습니다.
순수 측정 기반 접근 방식
계측 기반 접근 방식만으로는 공식적인 보장이 부족합니다. 결과를 뒷받침하는 수학적 증명이 없다면, 감사인이 인증 감사에서 해당 데이터를 충분한 타이밍 근거로 인정하기 어렵습니다.
VectorCAST/Timing은 이 두 가지 한계를 모두 해결합니다. 이 툴은 계측된 실행 데이터를 기반으로 하며, 해당 데이터에 공식적 통계 기법을 적용합니다. 따라서 결과는 실제 실행 상태에 근거하면서도 검토 및 검증이 가능한 방법론으로 뒷받침됩니다.
주요 기능
VectorCAST/Timing은 공식 검증 및 인증 프로젝트에 적용할 수 있도록 설계되었으며, 즉시 사용할 수 있습니다. 타이밍 준수 여부를 통계적으로 입증하는 데 적합한 리포트를 생성합니다.
제품 제공 현황
VectorCAST/Timing의 얼리 액세스 버전은 정식 플랫폼 출시 전에 수학적으로 엄밀한 타이밍 분석을 도입하려는 팀을 대상으로 제공됩니다. 이 툴은 검증 가능하며, 공식 검증 및 인증 프로젝트에서 타이밍 준수 여부를 통계적으로 입증하는 데 적합한 리포트를 생성합니다.
제품 로드맵은 고객 피드백과 프로그램 우선순위를 바탕으로 수립됩니다. 초기 도입 고객은 통합 설계, 리포트 포맷, 인증 증거 패키징을 포함하여 최종 제품의 방향을 형성하는 데 직접 기여할 수 있습니다.