개발 도구
HighTec Rust Compiler | ISO 26262 ASIL D 대응 Rust 컴파일러
AURIX, Stellar 환경에서 기능안전 Rust 개발과 기존 C/C++ 통합을 지원합니다.
왜 필요한가?
자동차 SW 개발,
새로운 도전이 있습니다
SDV 시대, 소프트웨어 보안 취약점이 심각한 리스크가 되고 있나요?
자동차 소프트웨어의 연결성이 높아지면서 사이버 보안 위협도 증가하고 있습니다. C/C++의 메모리 취약점은 보안 문제의 주요 원인입니다.
ISO 26262 기능안전과 사이버보안을 동시에 충족해야 하나요?
기능안전 인증을 받은 도구로 개발해야 하고, 동시에 보안 취약점도 최소화해야 합니다. 기존 C/C++ 도구만으로는 부족합니다.
레거시 C/C++ 코드와의 통합이 필요하신가요?
새로운 언어를 도입하더라도 기존 코드 자산을 버릴 수는 없습니다. 점진적인 전환이 가능해야 합니다.
제품 소개
HighTec Rust 개발 플랫폼
HighTec은 업계 최초로 ISO 26262 ASIL D 대응 Rust 컴파일러를 제공합니다.
메모리 안전 언어 Rust로 개발하면서도 기능안전 인증 요구사항을 충족할 수 있습니다.
ISO 26262 ASIL D 대응
TÜV 인증 Tool Qualification 방법론과 Qkit을 제공하여 기능안전 프로젝트의 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 준수 링커 레벨 구현
- 소스 코드 수정 없이 멀티코어 이식
- 동종/이종 멀티코어 아키텍처 지원
- 효율적인 코어 간 통신
기술 사양
(Technical Specifications)
| 항목 | 내용 |
|---|---|
| 인증 | 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 전환
- 안전 관련 애플리케이션 개발
파트너 생태계
(Partner Ecosystem)
Vector, Elektrobit, ETAS, Infineon, STMicro와 협력하여 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의 소유권 시스템으로 널 포인터, 버퍼 오버플로우 등 메모리 관련 버그를 컴파일 시점에 원천 차단합니다. 런타임에 발생하는 치명적 오류를 사전에 방지합니다.
- 인증 비용 절감
- TÜV 인증 방법론과 Qkit이 ASIL D 수준의 Tool Qualification 근거를 제공하여 인증 비용과 시간을 크게 줄입니다.
- 점진적 전환 가능
- 기존 C/C++ 코드와 완전 호환됩니다. 레거시 코드를 유지하면서 새로운 모듈부터 Rust로 개발할 수 있습니다. 한 번에 바꿀 필요가 없습니다.
- 보안과 안전의 통합
- 별도로 생각하던 보안과 기능안전을 하나의 언어로 동시에 접근할 수 있습니다. Rust의 특성이 두 가지 요구사항을 자연스럽게 충족시킵니다.
- 미래 대비
- Rust는 자동차 업계에서 점점 더 주목받는 언어입니다. 지금 경험을 쌓으면 향후 프로젝트에서 선택의 폭이 넓어집니다.
SDV 시대, Rust로 준비하세요
SDV 시대,
Rust로 준비하세요
업계 최초 ASIL D 대응 Rust 컴파일러로 보안과 안전을 동시에 확보하세요.
전문 엔지니어가 귀사의 요구사항에 맞는 솔루션을 안내해 드립니다.
업계 최초 ASIL D 대응 Rust 컴파일러로 보안과 안전을 동시에 확보하세요. 전문 엔지니어가 귀사의 요구사항에 맞는 솔루션을 안내해 드립니다.