Axivion’s static analysis tool supports the development
and certification of Apex.OS and Apex.Middleware
Stuttgart/Germany, May 19, 2021 – Axivion, a provider for innovative software solutions for static code analysis and protection from software erosion, is now helping to pave the way for autonomous driving and software-defined vehicles. Apex.AI, a company developing breakthrough safety-certified automotive software, has chosen the Axivion Suite as their preferred tool for static analysis – mainly because of its high coverage of the AUTOSAR C++ 14 standard and easy integration to Continuous Integration (CI). Axivion Suite not only supports the development of Apex.OS, a safe, secure and reliable software communication layer for self-driving applications, and Apex.Middleware, a complete and integrated solution for both intra- and inter-ECU communication, Axivion’s tool suite also supported the certification of Apex.OS and Apex.Middleware to ISO 26262 ASIL D.
Apex.AI was founded in 2017 and has won several outstanding strategic investors like Toyota AI Ventures, Volvo Group Venture Capital, Jaguar Land Rover’s InMotion Venture, Airbus Ventures, and Hella Ventures. Recently, Toyota’s Woven Planet announced its cooperation with Apex.AI for developing and deploying a production-ready autonomy stack for Toyota’s vehicle development platform Arene. Apex.OS has been forked from ROS 2 and has been developed into a real-time, reliable, and deterministic safety framework and middleware for safety-critical applications for all mobility systems from autonomous vehicles to robo-taxis and automated trucking. Apex.Middleware is based on iceoryx, another open-source solution resulting from a collaboration between Bosch and Apex.AI engineers in Germany, and serves all applications from power train over ADAS to automated driving.
The static code analysis tool Axivion Suite convinced Apex.AI with its broad coverage of the AUTOSAR C++ 14 standard. The developers especially appreciate the tool’s ease of use and its easy integration with the cross-platform IDE CLion and the company’s Continuous Integration workflows. With Axivion Suite, they can analyze their control and data flow and easily add exceptions and suppressions to rule violations in C++. This helps the Apex.AI engineers to continuously analyze their source code in the build process and safeguard their software’s quality.
Furthermore, Axivion Suite played a vital role in the certification of Apex.OS and Apex.Middleware. Now, Apex.OS is the world’s first certified open-source operating system that has been certified by TÜV NORD to ISO 26262 ASIL D, the highest level of automotive risk management.
“We have evaluated several static analysis tools, and Axivion Suite clearly stood out in our tests,“ said Dejan Pangercic, CTO and Co-Founder CTO of Apex.AI. “The tool performed best in terms of AUTOSAR C++ 14 coverage and convinced us through its ease of use, control flow, and data flow analysis, and report generation. Axivion Suite has already become a mainstay component in our development workflow and a valuable component of our DevOps pipeline.”
[Image source: Apex.AI]
Apex.AI (www.apex.ai) is a Palo Alto, Berlin, and Munich-based company developing breakthrough safe, certified, developer-friendly, and scalable software for mobility systems. The company’s flagship product is Apex.OS, a robust and reliable meta-operating system that enables faster and easier software development for vehicles and safer autonomous driving solutions. Their software development kit targets two main customer groups, the OEM developers who need to implement complex AI software integrated with the entire vehicle and the autonomous driving developers who can now implement safety-critical applications with ease and reliability.
Axivion, based in Stuttgart, Germany, is a provider for innovative software solutions for static code analysis and for protection from software erosion. The core product of Axivion is the Axivion Suite, a tool suite for the improvement of software quality and maintainability of software systems implemented in the programming languages C, C++ and C#. In addition to static code analysis, the tool suite includes innovative software tools for architecture verification and clone management. Moreover, the tool suite detects software erosion factors such as cycles, dead code and violations of programming rules.
Axivion’s MISRA checker covers 100% of all automatically testable MISRA rules for the standards MISRA C:2004, MISRA C:2012, and MISRA C++:2008. Furthermore, the AUTOSAR C++14 styleguide as well as the CERT® programming rules for secure software development and rules for C Secure Coding (ISO/IEC TS 17961) are supported.
The Professional Services Team of Axivion offers methods and training concepts as well as service and consulting to support customers to assure an effective and efficient rollout of the tools.
Axivion’s customers are companies that develop innovative technical software across different industries, e.g. industrial automation, automotive, railway, electronics, information and telecommunication, avionics, medical, mechanical engineering, as well as measurement, control and regulation technology.