HighTec EDV-Systeme GmbH at embedded world 2024 (9-11 April 2024, Nuremberg/Germany) in Hall 4, booth 4-432 |
HighTec Pioneers the SDV Future with First ISO 26262 ASIL D Qualified Rust Compiler for Infineon AURIX™ Microcontrollers |
Saarbruecken/Germany, 8 April 2024 – HighTec EDV-Systeme GmbH has announced the first ISO 26262 ASIL D qualified Rust compiler for Infineon’s AURIX™ microcontrollers, marking a significant industry milestone towards security, safety and efficiency on automotive software development. In the rapidly evolving Software-Defined Vehicles (SDVs), security, complexity, and cost-effectiveness present significant challenges, moving the industry towards secure, safer and more efficient programming solutions. Rust is a memory safety programming language that provides a major advantage over traditional language by minimizing security risks, shortening development cycles and reducing costs. The announcement of HighTec being the first automotive grade Rust compiler for the AURIX microcontrollers marks a game changer in automotive software development. Rust addresses the SDV’s challenges with its compile-time memory safety checks, acting as a safeguard against common vulnerabilities that are in systems written in C/C++, such as buffer overflows and pointer arithmetic. Rust’s compile-time memory safety checks, provides prevention measures that significantly reduce the need for exhaustive runtime testing and debugging. This not only simplifies the development process but also mitigates the financial impact associated with ensuring the safety and security of SDVs. Rust's impact on enhancing software security is significant, removing up to 70% of severe security bugs as shown by Google's adoption for Android OS. Recently the National Security Agency (NSA) and the White House have reinforced the move towards memory-safe languages as a key component for creating secure and reliable systems. HighTec's pioneering step towards the Rust compiler qualification, that goes beyond language conformity, complements its successful C/C++ compiler for Infineon AURIX microcontrollers, which is also ASIL D qualified according to ISO 26262. Both compilers are built on the cutting-edge LLVM open-source technology. This unified toolchain solution allows seamless integration of newly developed Rust code with legacy C/C++ code or so-called hybrid development approach. Therefore, software developers e.g. can identify critical functions in terms of security, rewrite that part in Rust and integrate it in their overall system. The rising interest in Rust for Infineon AURIX TC3x and TC4x among OEMs, tier-1 suppliers, and key automotive software providers is driven by the language's ability to simplify compliance with new regulations such as ISO 21434 and UNECE. AURIX microcontrollers are known for their robust safety and encapsulation features, proves to be the ideal microcontroller for Rust. “There is a significant market desire of AURIX™ customers in the automotive and comparable dependability sensible segments to use efficient methods how to enhance security-critical software”, says Thomas Schneid, Senior Director Software, Partner & Ecosystem Management at Infineon. “The unique benefits of the RUST environment, specifically HighTec’s Rust and C/C++ compilers are tailor-made for the architecture-specific functions of the AURIX™ microcontrollers. With the latest safety-qualification of the HighTec Rust compiler, the customers’ expectations can be perfectly fulfilled.” “We are proud to be the first to offer a full ISO 26262 ASIL D qualified Rust compiler to AURIX TC3x and TC4x developers,” says Mario Cupelli, CTO at HighTec EDV-Systeme. “Together with our highly optimized C/C++ compiler, we provide efficient and dependable tools for AURIX. This aligns with our strategy of offering safe and secure solutions based on innovative open-source technologies.” The newly available V1.0 of the AURIX Rust compiler is ISO 26262 ASIL D qualified. HighTec facilitates the safety qualification process by offering a TÜV-certified Qualification Kit, ensuring flexibility to accommodate various customer use cases. Designed with Rust developers in mind, the compiler comes with a preconfigured cargo build system, providing seamless access to a broad Rust software ecosystem. This includes I/O crates, drivers, a Rust runtime, examples, and a Rust integration of PXROS-HR, HighTec's safety-certified real-time operating system. For more information about HighTec's ISO 26262 ASIL D qualified Rust compiler for Infineon AURIX TC3x and TC4x, please visit www.hightec-rt.com/rust. |
About HighTec EDV Systeme GmbH HighTec EDV-Systeme GmbH, Saarbruecken/Germany, is the world’s largest commercial provider of compilers using innovative open-source technologies and offers ISO 26262 ASIL D certified tools for embedded software development, the real-time operating system PXROS-HR, and a wide range of design-in services. HighTec’s ASIL D qualified C/C++ compiler for leading multicore microcontrollers in the automotive and industrial sectors such as Arm®, TriCore™/AURIX™/TRAVEO™ families, Power Architecture (PowerPC), GTM and Renesas architectures are continuously adapted and optimized to new architectures in close cooperation with the silicon partners. For Rust developers, the company offers the HighTec Rust Development Platform for Infineon’s AURIX TC3x and TC4x microcontrollers. In addition to the multi-architecture compiler, HighTec offers PXROS-HR, a safety-certified multicore RTOS for applications with safety and multicore requirements. PXROS-HR guarantees robustness, safety, high performance, and data security in real-time environments. PXROS-HR is certified according to ISO 26262 ASIL D / IEC 61508 SIL 3 and is complemented for ASIL D development by a Tool Qualification Kit as a basis for the certification of customer applications. Complementing this portfolio, HighTec offers development, training and consulting services. Founded in 1982, HighTec is a privately held global company with offices in Germany, the Czech Republic, the Netherlands, Hungary and China. For more information about HighTec EDV-Systeme GmbH, visit www.hightec-rt.com. |