Development Tools
From Safety-Certified RTOS to Tool Qualification, "Embedded Safety Solution Lineup"
Provides ASIL D / SIL 3 certified real-time OS, ISO 26262 tool qualification kit, and library qualification kit.
Source compiler, OS, and qualification from a single vendor.
Provides ASIL D / SIL 3 certified real-time OS, ISO 26262 tool qualification kit, and library qualification kit. Source compiler, OS, and qualification from a single vendor.
Why Do You Need This?
Functional Safety Projects: Facing These Challenges
Do you need an RTOS that meets ASIL D in a multi-core environment?
Multi-core AURIX MCUs require complete task isolation and memory protection. General-purpose RTOS solutions are insufficient for functional safety certification requirements.
Are you repeating Tool Qualification for every ISO 26262 project?
Functional safety projects require qualifying all tools including compilers and libraries. Preparing certification documentation in-house demands significant time and cost.
How do you ensure the safety of C/C++ standard libraries?
Compiler qualification alone is not enough. Libraries must also be covered to achieve comprehensive functional safety compliance.
Product Overview
HighTec OS / Safety / Library
HighTec provides *safety-certified RTOS (PXROS-HR), tool qualification kit (Qkit), and library qualification kit (Library Qkit) from a single vendor.
When used with the compiler, you can receive one-stop support for functional safety certification compliance across your development tools.
PXROS-HR Real-Time Operating System
PXROS-HR - Safety-Certified Multi-Core RTOS
Overview
PXROS-HR is an object-oriented real-time operating system developed since 1983 with over 40 years of track record. Optimized for TriCore and AURIX multi-core MCUs, it has been proven in thousands of deployed applications.
Certification
- ISO 26262 ASIL D - TUV Nord certified
- IEC 61508 SIL 3 - TUV Nord certified
Key Features
Interrupt Transparency
- OS does not alter interrupt system state
- No interrupt locking (disable)
- Easy porting of existing bare-metal applications
Hardware Memory Protection
- Utilizes AURIX MPU (Memory Protection Unit)
- Complete memory isolation between tasks
- Real-time detection of illegal data access
- Fine-grained hardware protection mechanisms
Task Encapsulation
- Tasks communicate only through message objects and signals
- Independent operation prevents fault propagation
- Message contents protected by MPU
Multi-Core Support
- Multi-core support across all AURIX families
- Safe inter-core communication mechanisms
- Homogeneous/heterogeneous multi-core architecture support
Dynamic Configuration
- Load/unload tasks at runtime
- Install/remove handlers at runtime
- Debug without halting running applications
Tickless Kernel
- Event-driven microkernel
- No periodic tick required for internal operation
- Delay-jobs based software timers
Communication Mechanisms
| Mechanism | Description |
|---|---|
| Events | Lightweight bit-field messages for fast inter-task synchronization |
| Message Objects | Include data regions, guaranteed atomic reference passing, MPU protected |
| Resource Management | Per-task memory and object allocation, bottlenecks confined to specific tasks |
Technical Specifications
| Item | Details |
|---|---|
| Safety Certification | ISO 26262 ASIL D / IEC 61508 SIL 3 (TUV Nord) |
| Kernel Type | Event-driven microkernel (Tickless) |
| Supported Platform | Infineon AURIX TriCore (TC2x, TC3x, TC4x) |
| Multi-Core | All AURIX family multi-core support |
| Memory Protection | AURIX MPU-based hardware protection |
| AUTOSAR | Non-AUTOSAR based (standalone RTOS) |
| Integration | Infineon MCAL, SafeTlib framework |
Qkit - Tool Qualification Kit
Qkit - ISO 26262 Tool Qualification Kit
Overview
Qkit is an ISO 26262 tool qualification package for HighTec compilers. Based on a TUV-certified Tool Qualification methodology, it provides the evidence required to use the compiler in safety applications up to ASIL D.
Key Features
- Customized Safety Documentation : Unlike standard safety manuals, Qkit provides customized safety documentation based on your specific tool configuration. Receive certification documents optimized for your project-specific compiler settings.
- Validas AG TUV-Certified Methodology : Utilizes Validas AG's TUV-certified methodology for a systematic and reliable qualification process.
Included Documents
| Document | Description |
|---|---|
| Tool Classification Report | Tool classification - safety-related impact assessment |
| Tool Safety Manual | Known bugs and error mitigation methods |
| Tool Qualification Plan | Verification objectives and standard requirements |
| Tool Qualification Report | Qualified use cases, capabilities, and tool confidence level |
Scope
| Item | Details |
|---|---|
| Languages | C/C++, Rust |
| Architectures | TriCore/AURIX, ARM (32/64-bit), RISC-V (32/64-bit), PowerPC |
| Applicable Standards | ISO 26262, ISO 13849, IEC 61508 |
| Qualification Level | ASIL D / SIL 3 |
Library Qkit - Library Qualification Kit
Library Qkit - ISO 26262 Library Qualification Kit
Overview
Library Qkit is an ISO 26262 qualification solution for C/C++ standard libraries. When used with the compiler Qkit, it extends the functional safety compliance scope to include libraries.
Key Features
- ASIL D Level Test Coverage
- 100% MC/DC (Modified Condition/Decision Coverage)
- Equivalence Testing
- Negative Testing
- Requirements-based Testing
- TUV-Certified Methodology
- Uses the same Validas AG TUV-certified methodology as Qkit. Perform tool and library qualification through a consistent process.
Scope
| Item | Details |
|---|---|
| Target | C/C++ Standard Libraries |
| Architectures | TriCore/AURIX, ARM, PowerPC |
| Applicable Standards | ISO 26262, IEC 61508 |
| Qualification Level | ASIL D |
| Coverage | 100% MC/DC |
Solution Configuration
Safety Development Environment
HighTec OS / Safety / Library products can be combined with the C/C++ and Rust compilers to configure a safety development environment:
| Component | Product | Qualification |
|---|---|---|
| Compiler | HighTec C/C++ / Rust Compiler | ISO 26262 ASIL D compliant |
| Tool Qualification | Qkit | TUV-certified methodology, ASIL D evidence |
| Library Qualification | Library Qkit | ISO 26262 ASIL D |
| RTOS | PXROS-HR | ISO 26262 ASIL D / IEC 61508 SIL 3 |
Expected Benefits
Practical Benefits
- One-Stop Safety Support
- Source compiler, RTOS, tool qualification package, and library qualification package from a single vendor. Reduce compatibility issues and management burden across multiple vendors.
- Tool Qualification Burden Reduction
- Qkit provides the evidence required for ASIL D level Tool Qualification, significantly reducing the recurring tool certification burden across projects.
- Proven RTOS Reliability
- PXROS-HR, proven over 40 years and across thousands of deployed applications, provides robust protection for safety-related tasks. Interrupt transparency and hardware memory protection ensure safety.
- Extended Qualification Coverage to Libraries
- Extend qualification scope from compiler to libraries. Support functional safety requirements with 100% MC/DC coverage-based testing.
- Future-Proof
- Qkit is updated alongside HighTec compiler upgrades. Maintain the certification framework you build continuously.
Functional Safety Projects, Qualification in One Place
Functional Safety Projects,
Qualification in One Place
Reduce the certification burden of your functional safety projects with ASIL D certified RTOS and tool qualification kits.
Our expert engineers will guide you to the right solution for your requirements.
Reduce the certification burden of your functional safety projects with ASIL D certified RTOS and tool qualification kits. Our expert engineers will guide you to the right solution for your requirements.