AdaCore + Automotive
Modern vehicles are no longer defined by just their hardware; they are powered by software. Advanced Driver Assistance Systems (ADAS) and autonomous functionalities are pushing development teams beyond the limits of traditional practices.
Where Our Technology Makes a Difference
Advanced Driver Assistance Systems (ADAS)
Robust, secure software is vital to prevent vulnerabilities that could compromise driver and passenger safety. With connected vehicles becoming the norm, strong cybersecurity is no longer optional; it’s required to prevent attacks on sensors or control systems and to meet evolving regulatory demands.
Autonomous Vehicles
Autonomous systems rely entirely on software for perception, decision-making, and control. Any breach or malfunction can have severe consequences. Secure development practices like formal verification and threat modelling are essential to ensure trust, safety, and regulatory compliance.
Low-level sensors and device control
Critical vehicle systems such as braking, steering, and airbag deployment depend on reliable low-level software. Any failure or compromise at this layer could directly threaten lives, making software assurance and resilience non-negotiable.
Integrity Meets Cost Constraints
Industry Compliance
Safety certification with ISO 20262 significantly drives costs and increases time to market.
Cybersecurity
Automotive software runs in an open environment susceptible to threats. It needs to be protected from unauthorized third party access by malicious actors.
MISRA C/C++
Compliance with MISRA standards requires efficient tools and processes driving up software development costs.
Elevate Safety with MISRA C/C++, Rust and SPARK
SPARK, Rust and MISRA C/C++ offer a gradient of possibilities to approach safety. These are not just about different languages, they are about shifting developers mindset and process when approaching highest level of reliability.
A formally verifiable subset of Ada that enables mathematical proof of correctness. Eliminates entire classes of errors, providing the highest level of assurance for critical software.
A modern systems language with ownership and borrowing to enforce memory safety. Reduces runtime risks, though concurrency and “unsafe” code require careful handling.
Widely used industry guidelines that mitigate many of C/C++’s inherent risks. Helps structure development, but safety depends on process discipline.
Powering Embedded Platforms
We support over one hundred off-the-shelf and custom platforms across the industry.
Streamlined ISO-26262 with NVIDIA and SPARK
Discover how SPARK can be used to develop code up to ASIL-D following NVIDIA reference development process.
All-in-One Software Developer Toolkit
AdaCore provides compilation, verification, and certification-ready tools for Ada, C/C++, and Rust, supporting platforms from bare-metal embedded systems to full server environments. Integrated testing and analysis, combined with compliance with industry standards, ensure robust, mission-critical software development.
Development
Ada, C/C++ and Rust
Support is provided for a wide set of languages relevant to embedded and safety-critical software development:
- Ada 83, 95, 2005, 2012 and 2022
- C89 to C18 and C++98 to C++20
- Rust starting with 1.77.2
DevOps
All tools provided for developers are DevOps ready and can be integrated in off-the shelf or custom pipelines.
Customizable Run-Times
Language run-times can be customized to limit the number of code they contain, from full capability to minimized resource footprint and certification costs, allowing them to be used on large server system as well as resource constrained environments.
LLVM and GCC
AdaCore toolchains is an industrial-grade versions of the GCC and LLVM compilers, allowing ease of integration in widespread and known environments and pipelines.
Verification
Static Analysis for Ada
Static Analysis technologies is provided for all version of Ada. It covers area such as:
- Code issue scanning
- Cybersecurity weaknesses detection
- Bug identification
- Metric computation
Static Analysis for C/C++
Static Analysis technologies is provided for C/C++. It covers area such as:
- Code issue scanning
- Cybersecurity weaknesses detection
- Bug identification
- Coding standard compliance, including MISRA-C and MISRA-C++
- Metric computation
Dynamic Analysis Suite
Dynamic Analysis covers Ada, C/C++, and Rust, addressing various areas:
- Unit Testing
- Structural Code Coverage up to MC/DC
- Code Fuzzing
Compliance
ISO-26262
The AdaCore toolchain meets the requirements of ISO-26262 certification. In particular:
- Embedded language run-time libraries are certified up to ASIL-D
- Compilers, formal provers, structural coverage and MISRA coding standard checkers are qualified TCL-3
- Software can be actively supported over decades, provided with known-problem monitoring, issues impact analysis, and targeted toolchain fixes
Software Bill of Material
AdaCore produces Software Bills of Materials (SBOMs) for all AdaCore products supplied in the industry-standard SPDX format, allowing automated incorporation into customers’ vulnerability management and reporting systems.
Trusted Across the Industry
Over one hundred companies across high-integrity industries have chosen our technology to meet the highest standards of safety, reliability, and performance.
Self-driving cars are extremely complex and require sophisticated software that needs the most rigorous standards out there. Taking measures like incorporating Ada and SPARK languages into NVIDIA platforms can improve the robustness and assurances of our automotive security.
Speak to an expert
Expert guidance for your security-critical and safety-critical automotive projects.
