RE4A차량용 엔지니어링 & 보안 도구
언어: 한국어
데모 요청
메뉴

소프트웨어 정의 차량을 위한 AI 지원 보안 엔지니어링.

AI가 테스트를 계획하고, 벤치가 증명합니다.

RE4A의 AI는 TARA와 레거시 코드를 읽고, 엔지니어가 승인할 테스트 계획과 설계 문서를 제안합니다. 판정은 ECU가 선언한 사양을 기준으로 규칙에 따라 계산되며, 모델이 내리지 않습니다.

데모 요청제품

자체 모델 또는 AI 없이: OpenAI Anthropic Ollama vLLM

CAN CAN-FD 차량 이더넷 SOME/IP UDS DoIP

RE4A Testing Studio — 네트워크 토폴로지
네트워크 토폴로지 화면
시험 대상 ECU시뮬레이션
  • 내장 테스트 유형 28종, 기본 무장 27종

    내장 테스트 유형 · 기본 무장 27종

  • 3.7초 — 154개 파일 ECU 프로젝트의 스캔과 정적 분석

    스캔과 정적 분석 · 154개 파일 ECU 프로젝트

  • Testing Studio AI용 모델 백엔드 4종(자체 모델: OpenAI, Anthropic, Ollama, vLLM) — AI 없이도 실행

    Testing Studio AI용 모델 백엔드 — AI 없이도 실행

  • 100% 온프레미스. 기본 구성에서는 아무것도 네트워크를 벗어나지 않습니다

    온프레미스 — 기본 구성에서는 아무것도 네트워크를 벗어나지 않습니다

RE4A의 AI

AI가 계획하고, 엔지니어가 결정합니다. 벤치가 증명합니다.

  • 현재 제공

    설계 문서 문장의 초안 작성. 옵트인이며 기본으로 꺼져 있습니다.

  • 데모 가능

    TARA에서 테스트 계획을 제안하고, 무장은 엔지니어가 합니다.

  • 의도적으로 AI 없음

    ECU 자체 사양에 비춘 규칙 기반. 시드 고정으로 재현 가능.

자체 모델 또는 AI 없이 — OpenAI, Anthropic, 또는 로컬 Ollama·vLLM 엔드포인트. AI는 기본으로 꺼져 있으며, 로컬 모델을 쓰면 요구사항 텍스트가 사내 네트워크에 머뭅니다.

다루는 표준과 프로토콜

  • UN R155 Annex 5
  • ISO/SAE 21434
  • GB 44495-2024
  • ASPICE SWE.2 / SWE.3
  • ISO 14229 UDS
  • ISO 13400 DoIP
  • AUTOSAR

제품

코드 입력, 문서와 증거 출력. 네 가지 제품, 개별 판매.

양산 제공 중

누군가 먼저 뚫기 전에, 차량 네트워크를 뚫으세요.

각 ECU를 스스로 선언한 PDX/ODX에 비추어 시험하고, 테스트 계획은 AI가 TARA에서 제안합니다(데모 가능).

자세히
RE4A Testing Studio — 테스트 스위트
테스트 스위트 화면
버스를 관찰 CAN, CAN-FD, 이더넷을 실시간 디코딩자동으로 공격 내장 테스트 유형 28종, 기본 무장 27종발견마다 증거를 남김 UN R155 Annex 5 행까지 추적 가능

PDX/ODX 기반

  • UN R155
  • GB 44495
양산 제공 중

레거시 ECU 코드 입력. ASPICE 준비 문서 출력.

내결함성 파서로 레거시 C/C++를 읽어 아키텍처와 상세 설계를 ASPICE 준비 문서로 출력합니다.

자세히
RE4A Reverse Engineering — 스캔
Reverse Engineering의 Scan 탭
Scan · SDD · SAD · Generate 앱 자체의 네 단계3.7초 정적 분석 154개 파일 · 함수 1,302개

빌드 시스템도 컴파일러도 불필요

  • SAD · SDD · traceability.csv
  • 온프레미스 AI 지원, 기본은 꺼짐
양산 제공 중

차량 전체 없이도 ECU를 실차와 같은 상태로 유지하세요.

Testing Studio의 Simulation 에디션. 레스트버스, 재생, 프레임 인젝션을 Pentest나 Fuzz에 추가하거나 단독으로.

자세히

레스트버스 시뮬레이션

  • 캡처와 재생
  • 프레임 인젝션
얼리 액세스

ISO/SAE 21434 TARA에서 실행할 수 있는 테스트 계획으로.

라이프사이클의 위험 평가 쪽을 맡는, 얼리 액세스 단계의 동작하는 빌드입니다.

자세히
ISO/SAE 21434 라이프사이클 순환TARA, 요구사항, 테스트 계획, 증거 순으로 진행하며 발견 사항은 TARA로 돌아갑니다. RE4ATara는 TARA 단계를 맡습니다.발견은 되돌아감TARA요구사항테스트 계획증거RE4ATara

ISO/SAE 21434

  • TARA에서 실행 가능한 테스트 계획으로

RE4A를 선택하는 이유

자동차 현실에 맞게 설계.

클라이언트와 테스트 서버Windows 클라이언트는 127.0.0.1을 통해 Linux 또는 WSL2 테스트 서버와 통신합니다. 제어는 20009, 스트리밍은 20010입니다. 서버가 시험 대상 장치를 구동합니다.Windows클라이언트Linux / WSL2서버127.0.0.1DUT20009 제어20010 스트리밍

온프레미스, 에어갭

기본 구성에서는 소스 코드가 단 1바이트도 장비를 벗어나지 않습니다.

같은 요청, 두 개의 오라클크래시 전용 오라클은 ECU가 멈추지 않았으므로 PASS로 판정합니다. 사양 오라클은 그 응답이 PDX/ODX에 선언되지 않았으므로 FAIL로 판정합니다.크래시 전용PASS사양 기반FAIL

증거가 곧 산출물

각 판정은 ECU 자체의 PDX/ODX에 비추어 산출됩니다. 크래시 신호가 아닙니다.

  • ISO/SAE 21434
  • ASPICE SWE.2 / SWE.3

표준과 프로토콜

실제 동작 보기

스캔 한 번, 테스트 실행 한 번.

합성 데모 데이터를 사용한 편집 없는 워크스루: 네트워크 스캔, 테스트케이스 실행, 그리고 생성되는 증거.

RE4A — 제품 워크스루

처음 약 24초는 AI로 생성된 콘셉트 영상입니다. 나머지는 실제, 편집하지 않은 화면 캡처입니다.

평가해 보기

실제 ECU를 상대로 동작하는 모습을, 귀사 쪽 하드웨어 없이 확인하세요.

실제 ECU 한 대를 둘러싼 레스트버스 시뮬레이션. 하드웨어가 필요 없습니다.

데모 요청
RE4A Testing Studio — 시뮬레이션
  • ECU1DUT · 실제
  • GatewayECU시뮬레이션 · 재생 중
  • BodyECU시뮬레이션 · 재생 중