개발 도구
업계 최초, "ISO 26262 ASIL D 인증 Rust 컴파일러"
메모리 안전 언어 Rust로 SDV 시대 보안과 안전을 동시에 확보하세요.
Infineon AURIX, STMicro Stellar용 인증 컴파일러를 제공합니다.
메모리 안전 언어 Rust로 SDV 시대 보안과 안전을 동시에 확보하세요. Infineon AURIX, STMicro Stellar용 인증 컴파일러를 제공합니다.
왜 필요한가?
자동차 SW 개발,
새로운 도전이 있습니다
SDV 시대, 소프트웨어 보안 취약점이 심각한 리스크가 되고 있나요?
자동차 소프트웨어의 연결성이 높아지면서 사이버 보안 위협도 증가하고 있습니다. C/C++의 메모리 취약점은 보안 문제의 주요 원인입니다.
ISO 26262 기능안전과 사이버보안을 동시에 충족해야 하나요?
기능안전 인증을 받은 도구로 개발해야 하고, 동시에 보안 취약점도 최소화해야 합니다. 기존 C/C++ 도구만으로는 부족합니다.
레거시 C/C++ 코드와의 통합이 필요하신가요?
새로운 언어를 도입하더라도 기존 코드 자산을 버릴 수는 없습니다. 점진적인 전환이 가능해야 합니다.
제품 소개
HighTec Rust 개발 플랫폼
HighTec은 업계 최초로 ISO 26262 ASIL D 인증을 받은 Rust 컴파일러를 제공합니다.
메모리 안전 언어 Rust로 개발하면서도 기능안전 인증 요구사항을 충족할 수 있습니다.
ISO 26262 ASIL D 인증
TUV 인증을 받은 Rust 컴파일러로 기능안전 프로젝트에 바로 적용할 수 있습니다. Tool Qualification 작업이 필요 없습니다.
메모리 안전 보장
Rust의 소유권(Ownership) 시스템으로 메모리 관련 버그를 컴파일 시점에 방지합니다. 널 포인터, 버퍼 오버플로우 등 보안 취약점을 원천 차단합니다.
C/C++ 호환
기존 C/C++ 코드와 통합이 가능합니다. 레거시 코드를 유지하면서 새로운 모듈을 Rust로 개발할 수 있습니다.
AUTOSAR 통합
AUTOSAR Classic 스택과 통합됩니다. RTE 레이어 위에서 Rust로 애플리케이션을 개발할 수 있습니다.
주요 특징
메모리 안전성
(Memory Safety)
컴파일 시점 오류 방지
- 소유권(Ownership) 시스템으로 메모리 관리
- 빌림(Borrowing) 검사로 데이터 경쟁 방지
- 널 포인터 역참조 원천 차단
- 버퍼 오버플로우 방지
동시성
(Concurrency)
안전한 멀티코어 프로그래밍
- 스레드 안전성 컴파일 시점 검증
- async/await 비동기 프로그래밍 지원
- PXROS-HR RTOS 통합
- 경쟁 조건(Race Condition) 방지
상호 운용성
(Interoperability)
C/C++ 코드와의 통합
- FFI(Foreign Function Interface) 지원
- 기존 C/C++ 라이브러리 호출 가능
- 점진적 마이그레이션 지원
- AUTOSAR Classic 스택 연동
제로 비용 추상화
(Zero-cost Abstractions)
성능 저하 없는 안전성
- 고수준 코드가 효율적인 기계 코드로 컴파일
- 런타임 오버헤드 없음
- C/C++ 동등 성능 보장
- 최적화된 바이너리 생성
멀티코어 지원
(Multi-Core Support)
진보된 멀티코어 마이그레이션
- ISO 및 EABI 준수 링커 레벨 구현
- 소스 코드 수정 없이 멀티코어 이식
- 동종/이종 멀티코어 아키텍처 지원
- 효율적인 코어 간 통신
기술 사양
(Multi-Core Support)
| 항목 | 내용 |
|---|---|
| 인증 | ISO 26262 ASIL D (TUV 인증) |
| 기술 기반 | LLVM 오픈소스 기술 |
| 지원 플랫폼 | Infineon AURIX, STMicro Stellar (ARM) |
| AUTOSAR | Classic 스택, SWC 호환 |
| RTOS | PXROS-HR 통합 지원 |
| C/C++ 통합 | 동일 LLVM 기반으로 완전 호환 |
AUTOSAR 통합
Rust와 AUTOSAR Classic
RTE 레이어에서 Rust 애플리케이션 개발
- AUTOSAR Classic BSW 위에서 Rust SWC 개발
- 기존 C/C++ SWC와 공존
- 표준 RTE 인터페이스 사용
- Vector, Elektrobit 등 벤더 지원
적용 시나리오
- 보안 중요 모듈을 Rust로 신규 개발
- 기존 C 코드 점진적 Rust 전환
- 안전 관련 애플리케이션 개발
파트너 생태계
(Multi-Core Support)
HighTec은 업계 최초로 ISO 26262 ASIL D 인증을 받은 Rust 컴파일러를 제공합니다.
메모리 안전 언어 Rust로 개발하면서도 기능안전 인증 요구사항을 충족할 수 있습니다.
| 파트너 | 협력 내용 |
|---|---|
| Vector | Safety Applications with Rust and AUTOSAR Classic |
| Elektrobit | Rust meets AUTOSAR |
| ETAS | 통합 개발 환경 지원 |
| Infineon | AURIX Rust Startup Ecosystem |
| STMicro | ARM Stellar Rust Ecosystem |
기대 효과
실질적 효과
- 메모리 안전성 확보
- Rust의 소유권 시스템으로 널 포인터, 버퍼 오버플로우 등 메모리 관련 버그를 컴파일 시점에 원천 차단합니다. 런타임에 발생하는 치명적 오류를 사전에 방지합니다.
- 인증 비용 절감
- TUV 인증을 받은 ASIL D 컴파일러로 Tool Qualification 작업이 필요 없습니다. 바로 기능안전 프로젝트에 적용할 수 있습니다.
- 점진적 전환 가능
- 기존 C/C++ 코드와 완전 호환됩니다. 레거시 코드를 유지하면서 새로운 모듈부터 Rust로 개발할 수 있습니다. 한 번에 바꿀 필요가 없습니다.
- 보안과 안전의 통합
- 별도로 생각하던 보안과 기능안전을 하나의 언어로 동시에 접근할 수 있습니다. Rust의 특성이 두 가지 요구사항을 자연스럽게 충족시킵니다.
- 미래 대비
- Rust는 자동차 업계에서 점점 더 주목받는 언어입니다. 지금 경험을 쌓으면 향후 프로젝트에서 선택의 폭이 넓어집니다.
SDV 시대, Rust로 준비하세요
SDV 시대,
Rust로 준비하세요
업계 최초 ASIL D 인증 Rust 컴파일러로 보안과 안전을 동시에 확보하세요.
전문 엔지니어가 귀사의 요구사항에 맞는 솔루션을 안내해 드립니다.
업계 최초 ASIL D 인증 Rust 컴파일러로 보안과 안전을 동시에 확보하세요. 전문 엔지니어가 귀사의 요구사항에 맞는 솔루션을 안내해 드립니다.