使关键系统生锈

Solutions•GNAT Pro for Rust•Dynamic analysis(roadmap)Value•Yearly updates providingstable, tested releases•Long-term support ofsustained versions withcritical backport fixes andknown-problem reports•Interoperability with Ada,C, and C++•AdaCore warranty andsoftware bill of materialsaddressing software sup-ply chain vulnerability•Professional technicalsupport; can work withITAR if needed•Suitable for applicationsthat require safety certi-fication, such as avionics(DO-178), rail (EN-50128),space (ECSS-E-ST-40Cand ECSS-Q-ST-80C),and others MORE INFORMATIONAdditional informationabout AdaCore can befound atwww.adacore.com/gnatpro-rust,orcontactsales@adacore.com.Detailed informationabout Wind RiverVxWorks 7 can be foundatwww.windriver.com/products/vxworks,or contactsalesinquiry@windriver.com.Additional informationabout the Wind RiverPartner Program can befound atwww.windriver.com/partners/partner-program.Wind River is a global leader of software for mission-critical intelligent systems. For 40 years, the company has been an innovator and pioneer, powering billions of devices and systems that require the highestlevels of security, safety, and reliability. Wind River offers a comprehensive portfolio of software and expertise that are accelerating digital transformation across industries.© 2024 Wind River Systems, Inc. The Wind River logo is a trademark of Wind River Systems, Inc., and Wind River and VxWorks are registered trademarks of Wind River Systems, Inc. Rev. 03/2024 DRIVINGDEVELOPER PRODUCTIVITY WHILEPROTECTINGYOUR CUSTOMERSWind River and AdaCore are dedicated to helping you develop your embeddedsolutions with a robust, standards-based, and proven platform developed for Rust.Beyond ensuring that you have access to a secure, high-performance platform,both AdaCore and Wind River maintain a close watch on the latest security threatsto Rust and get the patches and bug fixes you need to keep your customerssecure. GNAT Pro backports bug fixes and security updates quarterly to priorversions of Rust, and it can also address critical updates and known-problemreports to address any key customer issue.ADACORE:GNAT PRO FOR RUSTFor nearly 30 years, AdaCore has committed to supporting the needs of the safety-critical and mission-critical industries. AdaCore initially focused on Ada, a state-of-the-art programming language designed specifically for developing long-lived,safety-critical, certified software. Over the years, this focus has extended beyondthe Ada language to its formally verifiable SPARK subset, C and C++, and Rust.GNAT Pro for Rust is a stable and secure Rust development environmentdesigned for safety-critical and mission-critical industries. In addition to VxWorks7, GNAT Pro for Rust is also available for common native targets and relevantembedded/cross-target platforms as well as custom ports. AdaCore is a NISTSP 800-171 organization targeting SLSA Level 3 compliance. That gives youthe confidence that our software hasn’t been tampered with and can be tracedsecurely back to its sources. When we deliver GNAT Pro for Rust to you, you willhave full access to relevant security-related documents — including a software billof materials.WINDRIVER:VXWORKS 7VxWorks enables the cost-effective development of high-performance, reliable,secure, robust, safety-certified mission-critical systems, incorporating AI/MLfunctionality and leveraging the latest processor advancements. Teams can usepopular programming languages and can integrate with cloud-based DevSecOpsfor development, testing, deployment, and updates, including software containertechnology — significantly reducing time-to-market and driving innovation, newbusiness, and revenue.SUMMARYThe AdaCore and Wind River partnership enables product managers and devel-opers of embedded systems to deliver best-in-class performance on a proven,robust, and cost-effective open source platform, enabling the rapid creation ofinnovative and reliable systems.