기능적 정확성은 검증의 절반에 불과합니다. 안전이 중요한 개발 분야에서는 소프트웨어가 모든 관련 조건 하에서 정의된 시간 범위 내에서 실행되어야 합니다. 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을 넘어
정적 최악의 경우 실행 시간(WCET) 분석은 종종 지나치게 보수적인 결과를 산출하여, 불필요한 하드웨어 과대 설계와 시스템 아키텍처 전반에 걸친 제약 조건의 연쇄적 영향을 초래합니다. VectorCAST/Timing은 분석적 가정이 아닌 측정된 데이터를 기반으로 작동합니다.
실제 실행 데이터를 기반으로 타이밍 분석 수행
하드웨어 모델이나 마이크로아키텍처에 대한 가정은 전혀 없습니다. 타이밍 결과는 소프트웨어가 실제로 실행 중인 하드웨어에서 수행하는 동작을 바탕으로 도출됩니다.
비정상적인 타이밍 행동을 조기에 탐지
통계적으로 비정상적인 타이밍 행동은 시스템 통합이나 인증 검토 단계에서 늦게 발견되는 것이 아니라, 개발의 모든 단계에서 신속하게 식별됩니다.
기존 VectorCAST 투자를 확장하십시오
VectorCAST/Timing은 VectorCAST 생태계를 위해 설계되었으며, 평가, 커버리지 및 요구사항 추적성과의 완전한 통합을 목표로 하는 로드맵을 갖추고 있습니다.
VectorCAST/Timing이 해결하는 문제
대부분의 팀에게 있어 타이밍 분석은 검증 프로세스 중 가장 미흡한 부분입니다. 일반적으로 사용되는 두 가지 접근 방식은 각각 상당한 단점을 안고 있습니다.
정적 WCET 추정
정적 최악의 경우 실행 시간 분석을 올바르게 적용하는 것은 매우 복잡합니다. 이 분석은 종종 지나치게 보수적인 결과를 산출하는데, 이로 인해 불필요한 하드웨어 과대 설계가 발생하고 전체 시스템 아키텍쳐에 영향을 미치는 설계 제약 조건이 도입됩니다.
순수한 측정 기반 접근법
측정 기반 접근 방식에는 공식적인 보장이 부족합니다. 결과에 대한 수학적 증명이 뒤에 있지 않은 한, 감사인이 인증 감사에서 해당 데이터를 충분한 시기적 증거로 인정할 근거가 없습니다.
VectorCAST/Timing은 이 두 가지 측면을 모두 해결합니다. 이 도구는 측정된 실행 데이터를 기반으로 하며, 해당 데이터에 형식적 통계 기법을 적용하므로, 결과는 실제 발생한 상황에 근거를 두고 있으며, 검토 및 검증이 가능한 방법론에 의해 뒷받침됩니다.
Key Features
VectorCAST/Timing은 형식 검증 및 인증 프로젝트에 적용할 수 있는 자격을 갖추었으며, 즉시 사용 가능합니다. 이 도구는 타이밍 준수 여부를 통계적으로 입증하는 데 적합한 보고서를 생성합니다.
제품 재고 현황
VectorCAST/Timing의 얼리 액세스 버전이 이제 정식 플랫폼 출시 전에 수학적으로 엄밀한 타이밍 분석을 도입할 준비가 된 팀을 대상으로 제공됩니다. 이 도구는 검증 가능하며, 공식 검증 및 인증 프로젝트에서 타이밍 준수 여부를 통계적으로 입증하는 데 적합한 보고서를 생성합니다.
제품 로드맵은 고객 피드백과 프로그램 우선순위를 바탕으로 직접 수립됩니다. 초기 도입 고객은 통합 설계, 보고 포맷, 인증 증거 패키징을 포함하여 최종 제품의 방향을 형성할 수 있는 가장 큰 기회를 갖게 됩니다.