AXIVION

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, rules for C Secure Coding (ISO/IEC TS 17961), and CWE (Common Weakness Enumeration) are supported. The static code analysis package of Axivion Suite is certified for its suitability in safety systems according to ISO 26262 up to ASIL D, IEC 61508 up to SIL 4 and IEC 62304 up to Class C. The Professional Services Team of Axivion supports customers with comprehensive service and advice on the configuration and integration 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.More