제품 특징

항공 우주 및 자동차와 같은 산업에 실시간으로 중요한 임베디드 시스템의 타이밍 성능 및 테스트 효율성을 측정, 최적화 및 검증합니다.

RVS는 RapiTime(on-target 타이밍 확인 및 최적화), RapiCover(대상 구조 코드 적용) 및 RapiTask(RTOS 독립형 단일 및 다중 코어 시스템의 일정 추적 및 이벤트 추적)로

구성되어 있으며, 항공 우주 및 자동차 전자 엔지니어에게 실시간으로 임베디드 시스템을 개발하고 유지 관리하는 문제를 해결할 수 있습니다.

V & V Services

중요한 소프트웨어를 위한 검증된 테스트 솔루션을 제공합니다.

Multicore Timing Services

멀티 코어 타이밍 문제를 해결 할 수 있습니다.

Tool Integration

한번의 통합으로 결과를 얻는데 시간을 줄일 수 있습니다.

Tool Qualification

DO-178B / C (DALA까지 포함) 및 ISO 26262를 프로젝트에서 사용하기 위해 고품질 문서 및 테스트를 제공합니다.

Customer support

고객에게 현실적으로 달성할 수 있는 최상의 수준의 지원을 항상 제공합니다.

RapiCover

제품소개

Rapita는 특정 대상에 대한 검증 요구 사항이 있는 고객을 위해 여러 가지 맞춤솔루션을 개발하여 자사의 시스템과 통합고하자 하는 고객을 위해 타겟 통합 서비스를 제공합니다.

주요기능

| Coverage analysis

· 자동화 테스트가 쉽기 때문에 정지적으로 테스트하여 이전보다 신속하게 커버리지 데이터를 생성할 수 있습니다.

· RVS Project Manager로 결과를 쉽게 볼 수 있어 프로젝트 여러 단계의 결과를 비교할 수 있어 시간 경과에 따른 진행 상황을 추적할 수 있습니다.

· 응용 프로그램을 사용하면 프로젝트의 폴더, 파일 및 기능은 물론 RapiCover로 지정할 수 있는 개별 테스트 실행을 기반으로 필터링 할 수 있습니다.

| Visualize coverage by treemaps

· Treempas를 사용하면 RapiCover 코드 범위를 시각화 할 수 있습니다. 계층 구조의 개요를 보고 테스트 누락 위치를 식별하여 테스트 작업을 지시할 수 있습니다.

· 전체 소스코드의 적용 범위를 확인하고 개별 파일이나 폴더를 확대하여 달성한 코드 범위를 빠르게 확인 할 수 있습니다.

· Treempas 보기에 표시된 적용 범위는 선택한 데이터 집합 및 하위 프로그램과 일치 하도록 업데이트되며, Dataset 및 Scope Manager 기능과 함께 사용하면 특정 테스트에 대한 코드 적용 범위를 신속하게 확인 할 수 있습니다.

| Justify untestable code

· 소스 코드가 변경 될 때 코드의 변경 사항을 확인하고 수동 검토 후에 정렬을 재 배치 해야 하는 위치를 제안하여 이동 할 수 있습니다.

· 정당성 분석을 통해 대상을 테스트할 수 없는 코드를 표시 할 수 있으며 이를 통해 테스트를 할 수 없는 이유에 대한 근거를 제공 할 수 있습니다.

RapiCover는 소트웨어 테스트를 통해 다음과 같은 범위를 계산합니다.

· Function

· Call

· Statement

· Brand/Decision

· Modified Condition/Decision Coverage (MC/DC)

· RapiCover Aero는 Ada, C ++ 항공 우주 소프트웨어를 검증하는 문제를 해결할 수 있도록 특별히 설계되었습니다.

· 호스트 컴퓨터, 시뮬레이터 또는 내장된 대상 자체에서 실행되는 소프트웨어 테스트에서 구조적 범위 측정을 수집합니다.

· 네이티브 빌드 시스템과 완벽하게 통합하여 연속 빌드 환경과 같이 검증 데이터를 자동으로 수집할 수 있습니다.

· 인증서, 결정 및 수정된 조건 / 결정 범위 데이터를 수집하여 DO-178C / ED-12C 인증의 요구를 충족 시킵니다.

| Structural coverage metrics and DO-178C/ED-12C requirements

Measurement Description DO-178C/ED-12C requirements
Function coverage Each function has been called at least once Not required
Call coverage Each statement in the code has been encountered at least once Not required
Statement coverage Each decision (see MC/DC below) In the code has evaluated true at least once and evaluated false at least once, and each function entry and exit point has been encountered at least once. Required for Level A, B and C software (Table A-7, 6.4.4.c)
Decision coverage Each decision (see MC/DC below) In the code has evaluated true at least once and evaluated false at least once, and each function entry and exit point has been encountered at least once. Required for Level A and B software (Table A-7, 6.4.4.c)
Condition coverage Each decision (see MC/DC below) In the code has evaluated true at least once and evaluated false at least once, and each function entry and exit point has been encountered at least once. Not required
Modified Condition/Decision Coverage (MC/DC) Decision coverage plus each condition has been shown to independently affect the outcome of its enclosing decision Required for Level A software (Table A-7, 6.4.4.c)

· RapiCover Auto는 C 및 C ++로 작성된 자동차 소프트웨어를 검증하는 문제를 해결 할 수 있도록 설계되었습니다.

· 호스트 컴퓨터, 시뮬레이터 또는 내장된 대상 자체에서 실행되는 소프트웨어 테스트에서 구조적 범위 측정을 수집합니다.

· 네이티브 빌드 시스템과 완벽하게 통합하여 연속 빌드 환경과 같이 검증 데이터를 자동으로 수집 할 수 있습니다.

· 명세서, 지점 및 수정된 조건 / 결정 범위 데이터를 수집하여 ISO 26262 인증 요구사항을 충족시킵니다.

| Structural coverage metrics and ISO 26262 requirements

Measurement Description DO-178C/ED-12C requirements
Function coverage Each function has been called at least once At software architectural level, highly recommended at ASIL C & D Recommended at ASIL A & B (ISO 26262 part 6 10.4.6)
Call coverage Each statement in the code has been encountered at least once At software architectural level, highly recommended at ASIL C & D Recommended at ASIL A & B (ISO 26262 part 6 10.4.6)
Statement coverage Each decision (see MC/DC below) In the code has evaluated true at least once and evaluated false at least once, and each function entry and exit point has been encountered at least once. At software unit level, highly recommended at ASIL A & B Recommended at ASIL C & D (ISO 26262 part 6 9.4.5)
Branch coverage Each decision (see MC/DC below) In the code has evaluated true at least once and evaluated false at least once, and each function entry and exit point has been encountered at least once. At software unit level, highly recommended at ASIL B, C & D Recommended at ASIL A (ISO 26262 part 6 9.4.5)
Modified Condition/Decision Coverage Decision coverage plus each condition has been shown to independently affect the outcome of its enclosing decision At software unit level, highly recommended at ASIL D Recommended at ASIL A, B & C (ISO 26262 part 6 9.4.5)

RapiTest

제품소개

· 중요한 소프트웨어 기능 테스트
· 단위 테스트 / 낮은 레벨 테스트
· 소프트웨어 통합 테스트

· 하드웨어 / 소프트웨어 통합 테스트
· 시스템 테스트 / 하이 레벨 테스트
· 소프트웨어 요구사항 기반 테스트 생성

제품특징

Functional testing

단위, 통합 및 시스템 수준에서 소프트웨어의 기능 테스트를 실행 합니다.

Automate testing on host and target

연속 빌드 환경에서 호스트 컴퓨터와 테스트 장비 모두에서 테스트를 실행합니다.

Efficient test generation

테스트를 작성하고 실행하는데 필요한 시간을 줄입니다.

Powerful test formats

사용자가 자주 쓰는 형식을 사용하여 복잡한 테스트를 간단하고 쉽게 작성 할 수 있습니다

Portable test environments

여러 사용자가 동일한 테스트 환경을 공유할 수 있습니다.

Qualification

DO-178B, DO-178C 및 ISO 26262 프로젝트에서 사용할 수 있습니다.

RapiTime

제품소개

RapiTime은 목표에 따라 자동화된 타이밍 분석 도구입니다. RapiTime은 우주항공 및 자동차 전자 산업 분야의 실시간 임베디드 애플리케이션 개발 및 테스트를 위해 제작되었으며 타이밍 확인 소프트웨어 최적화, 레거시 시스템 업데이트 및 실시간 임베디드 시스템 통합에 소요되는 비용과 노력을 줄여줍니다.

제품특징

Timing verification

임베디드 소프트웨어에서 광범위한 데이터를 실시간으로 안전하게 동작을 확인할 수 있습니다.

Software optimization

여러 번의 시행착오를 없애고 피크 CPU 로드 / 최악의 실행 시간을 줄이는데 가장 큰 영향을 주는 최적화에 신속하게 집중할 수 있습니다.

Updating a legacy system

기존 하드웨어를 고수하거나 업그레이드를 선택해야 할 때 비즈니스 사례에 대한 신뢰를 높이는 효과적인 방법입니다.

verification information

데이터를 정교한 분석과 결합으로 최상의 검증정보를 얻는 데 도움이 됩니다.

System Integration

통합 과정에서 성능 및 복잡한 문제를 파악하고 문제해결을 지원합니다.

RapiTask

제품소개

복잡한 스케줄링 동작(예: 멀티 스레드 또는 멀티 코어)이 있는 임베디드 시스템 작업에서 직면하게 될 과제를 해결합니다.

주요기능

| Getting a high-level overview of software system scheduling

RapiTask는 스레드(threads) 및 프로세서 코어에서 시스템의 스케줄링 동작을 시각화하여 응답시간 및 CPU 사용률을 보고하는 기능을 제공합니다.

| Locating rare timing events, such as race conditions

주어진 시간 간격 동안 시스템의 태스크의 CPU 사용률을 표시합니다.

| Understanding system capacity issues

경쟁 조건, 우선순위 반전 또는 교착 상태와 같은 특이한 상황에 대해 검색할 수 있습니다. 잠재적인 타이밍 문제의 원인을 찾는데 도움이 되는 RapiTask를 사용하면 추적을 축소하여 개요를 보거나 확대하여 특정 패턴을 빠르게 찾을 수 있습니다.

| Supporting different targets, including multicore

타겟 독립적이며 다른 타겟 및 다른 실시간 운영 체제(RTOS)와 함께 작동하도록 쉽게 조정 할 수 있습니다.

| Verifying actual timing behavior

시스템의 타이밍 동작이 시스템 수준 요구사항을 충족 하는지 확인하기 위해 RapiTask는 주기성 및 지터(jitter)와 같은 시스템 수준 속성을 측정하는 기능을 제공합니다. RapiTime과 함께 사용하면 더욱 상세한 타이밍 동작을 얻을 수 있습니다.

| Quickly identifying user-specific concerns

모니터링 수준을 구성하는 것 외에도 경보, 이벤트, 사서함 및 뮤텍스(mutexes)와 같은 OS 수준 기능을 모니터링 하고 시각화 할 수 있습니다.

자동차 도메인에서 사용되는 경우, 시스템 시각화에 대한 주요 용도 외에도 ISO26262의 특정 요구 사항을 지원할 수 있습니다.

항공 우주 분야에서 ARINC-653 호환되는 RTOS와 같이 복잡한 애플리케이션의 스케줄링 동작을 시연하는데 사용할 수 있습니다.