개발 도구
안전 인증 RTOS부터 도구 자격 인증까지, "임베디드 안전 솔루션 라인업"
ASIL D / SIL 3 인증 실시간 OS, ISO 26262 도구 인증 키트, 라이브러리 인증 키트를 제공합니다.
컴파일러부터 OS, 인증까지 하나의 벤더에서 구성할 수 있습니다.
ASIL D / SIL 3 인증 실시간 OS, ISO 26262 도구 인증 키트, 라이브러리 인증 키트를 제공합니다. 컴파일러부터 OS, 인증까지 하나의 벤더에서 구성할 수 있습니다.
왜 필요한가?
기능안전 프로젝트,
이런 과제에 직면해 있습니다
멀티코어 환경에서 ASIL D를 만족하는 RTOS가 필요하신가요?
AURIX 멀티코어 MCU를 활용하면서 태스크 간 완전한 격리와 메모리 보호가 필요합니다. 범용 RTOS로는 기능안전 인증 요구사항을 충족하기 어렵습니다.
ISO 26262 프로젝트마다 Tool Qualification을 반복하고 계신가요?
기능안전 프로젝트에서 사용하는 컴파일러, 라이브러리 등 모든 도구의 적격성을 입증해야 합니다. 자체적으로 인증 문서를 준비하면 상당한 시간과 비용이 소요됩니다.
C/C++ 표준 라이브러리의 안전성을 어떻게 보장하시나요?
컴파일러만 인증받아서는 부족합니다. 사용하는 라이브러리까지 인증 범위에 포함해야 진정한 기능안전 대응이 완성됩니다.
제품 소개
HighTec OS / Safety / Library
HighTec은 안전 인증 RTOS(PXROS-HR), 도구 인증 키트(Qkit), 라이브러리 인증 키트(Library Qkit) 를 하나의 벤더에서 제공합니다.
컴파일러와 함께 사용하면 개발 도구 전반에 대한 기능안전 인증 대응 체계를 원스톱으로 지원받을 수 있습니다.
PXROS-HR - 안전 인증 멀티코어 RTOS
PXROS-HR - 안전 인증 멀티코어 RTOS
개요
PXROS-HR은 1983년부터 개발되어 40년 이상의 실적을 가진 객체 지향 실시간 운영체제입니다. TriCore 및 AURIX 멀티코어 MCU에 최적화되어 있으며, 수천 개의 응용 장치에서 검증되었습니다.
인증
- ISO 26262 ASIL D - TUV Nord 인증
- IEC 61508 SIL 3 - TUV Nord 인증
주요 특징
인터럽트 투명성 (Interrupt Transparency)
- OS가 인터럽트 시스템 상태를 변경하지 않음
- 인터럽트 잠금(Disable) 없음
- 기존 베어메탈 애플리케이션의 용이한 이식
하드웨어 메모리 보호 (Memory Protection)
- AURIX MPU(Memory Protection Unit) 활용
- 태스크 간 완전한 메모리 격리
- 비합법적 데이터 접근 실시간 감지
- 세분화된 하드웨어 보호 메커니즘
태스크 캡슐화 및 격리 (Task Encapsulation)
- 태스크 간 메시지 객체 및 신호로만 통신
- 상호 독립적 운영으로 결함 전파 차단
- 메시지 내용까지 MPU로 보호
멀티코어 지원 (Multi-Core)
- AURIX 전 패밀리 멀티코어 지원
- 코어 간 안전한 통신 메커니즘
- 동종/이종 멀티코어 아키텍처 대응
동적 시스템 구성 (Dynamic Configuration)
- 실행 중 태스크 로드/언로드 가능
- 런타임에 핸들러 설치/제거
- 실행 중인 애플리케이션을 중단하지 않고 디버깅
틱리스 커널 (Tickless Kernel)
- 이벤트 기반 마이크로커널
- 내부 운영에 주기적 틱 불필요
- 지연 작업(Delay-jobs) 기반 소프트웨어 타이머
통신 메커니즘
| 메커니즘 | 설명 |
|---|---|
| 이벤트 | 비트 필드 구조의 경량 메시지, 빠른 태스크 간 동기화 |
| 메시지 객체 | 데이터 영역 포함, 원자적 참조 전달 보장, MPU 보호 |
| 리소스 관리 | 태스크별 메모리 및 객체 할당, 병목을 특정 태스크로 제한 |
기술 사양
| 항목 | 내용 |
|---|---|
| 안전 인증 | ISO 26262 ASIL D / IEC 61508 SIL 3 (TUV Nord) |
| 커널 방식 | 이벤트 기반 마이크로커널 (Tickless) |
| 지원 플랫폼 | Infineon AURIX TriCore (TC2x, TC3x, TC4x) |
| 멀티코어 | AURIX 전 패밀리 멀티코어 지원 |
| 메모리 보호 | AURIX MPU 기반 하드웨어 보호 |
| AUTOSAR | 비AUTOSAR 기반 (독립 RTOS) |
| 통합 | Infineon MCAL, SafeTlib 프레임워크 |
Qkit - 도구 인증 키트
Qkit - ISO 26262 Tool Qualification Kit
개요
Qkit은 HighTec 컴파일러에 대한 ISO 26262 도구 자격 인증 패키지입니다. TUV 인증을 받은 Tool Qualification 방법론을 기반으로, ASIL D 수준까지 안전 애플리케이션에서 컴파일러를 사용할 수 있는 증거(evidence)를 제공합니다.
핵심 특징
- 맞춤형 안전 문서 : 표준 안전 매뉴얼과 달리, 사용자의 특정 도구 설정을 기반으로 한 맞춤 안전 문서를 제공합니다. 프로젝트별 컴파일러 설정에 최적화된 인증 문서를 받을 수 있습니다.
- Validas AG TUV 인증 방법론 : TUV 인증을 받은 Validas AG의 방법론을 활용하여 체계적이고 신뢰할 수 있는 인증 프로세스를 제공합니다.
포함 문서
| 문서 | 설명 |
|---|---|
| Tool Classification Report | 도구 분류 보고서 - 도구의 안전 관련 영향도 분류 |
| Tool Safety Manual | 도구 안전 매뉴얼 - 알려진 버그 및 오류 완화 방법 |
| Tool Qualification Plan | 도구 자격 인증 계획 - 검증 목표 및 표준 요구사항 |
| Tool Qualification Report | 도구 자격 인증 보고서 - 적격 사용 사례, 기능, 도구 신뢰도 |
지원 범위
| 항목 | 내용 |
|---|---|
| 언어 | C/C++, Rust |
| 아키텍처 | TriCore/AURIX, ARM (32/64비트), RISC-V (32/64비트), PowerPC |
| 적용 기준 | ISO 26262, ISO 13849, IEC 61508 |
| 인증 수준 | ASIL D / SIL 3 |
Library Qkit - 라이브러리 인증 키트
Library Qkit - ISO 26262 Library Qualification Kit
개요
Library Qkit은 C/C++ 표준 라이브러리에 대한 ISO 26262 자격 인증 솔루션입니다. 컴파일러 Qkit과 함께 사용하면 라이브러리까지 포함한 기능안전 대응 범위를 확장할 수 있습니다.
핵심 특징
- ASIL D 수준 테스트 커버리지
- 100% MC/DC(Modified Condition/Decision Coverage) 커버리지
- 동등성 테스트(Equivalence Testing)
- 음수 테스트(Negative Testing)
- 요구사항 기반 테스트(Requirements-based Testing)
- TUV 인증 방법론
- Qkit과 동일한 Validas AG의 TUV 인증 방법론을 활용합니다. 도구와 라이브러리 인증을 일관된 프로세스로 수행할 수 있습니다.
지원 범위
| 항목 | 내용 |
|---|---|
| 대상 | C/C++ 표준 라이브러리 |
| 아키텍처 | TriCore/AURIX, ARM, PowerPC |
| 적용 기준 | ISO 26262, IEC 61508 |
| 인증 수준 | ASIL D |
| 커버리지 | 100% MC/DC |
통합 솔루션 구성
안전 개발 환경 구성
HighTec의 OS / Safety / Library 제품은 C/C++ 컴파일러, Rust 컴파일러와 조합하여 안전 개발 환경을 구성할 수 있습니다:
| 구성 요소 | 제품 | 인증 |
|---|---|---|
| 컴파일러 | HighTec C/C++ / Rust 컴파일러 | ISO 26262 ASIL D 대응 |
| 도구 인증 | Qkit | TUV 인증 방법론 기반, ASIL D evidence 제공 |
| 라이브러리 인증 | Library Qkit | ISO 26262 ASIL D |
| RTOS | PXROS-HR | ISO 26262 ASIL D / IEC 61508 SIL 3 |
기대 효과
실질적 효과
- 원스톱 안전 대응
- 컴파일러, RTOS, 도구 인증 패키지, 라이브러리 인증 패키지를 하나의 벤더에서 지원받을 수 있습니다. 복수 벤더 간 호환성 문제와 관리 부담을 줄여줍니다.
- Tool Qualification 부담 절감
- Qkit이 ASIL D 수준의 Tool Qualification에 필요한 evidence를 제공하여, 프로젝트마다 반복되는 도구 인증 작업의 부담을 크게 줄여줍니다.
- 검증된 RTOS 신뢰성
- 40년 이상의 실적과 수천 개 응용 장치에서 검증된 PXROS-HR로 안전 관련 태스크를 확실하게 보호합니다. 인터럽트 투명성과 하드웨어 메모리 보호로 안전성을 보장합니다.
- 라이브러리까지 Qualification 대응 강화
- 컴파일러만이 아닌 라이브러리까지 qualification 범위를 확장합니다. 100% MC/DC 커버리지 기반의 테스트로 기능안전 요구사항 대응을 지원합니다.
- 미래 대비
- HighTec 컴파일러 업그레이드 시 Qkit도 함께 갱신됩니다. 한 번 구축한 인증 체계를 지속적으로 유지할 수 있습니다.
기능안전 프로젝트, 인증까지 한 번에
기능안전 프로젝트,
인증까지 한 번에
ASIL D 인증 RTOS와 도구 인증 키트로 기능안전 프로젝트의 인증 부담을 줄이세요.
전문 엔지니어가 귀사의 요구사항에 맞는 솔루션을 안내해 드립니다.
ASIL D 인증 RTOS와 도구 인증 키트로 기능안전 프로젝트의 인증 부담을 줄이세요. 전문 엔지니어가 귀사의 요구사항에 맞는 솔루션을 안내해 드립니다.