Axivion, Stuttgart, Germany is a provider for complete solutions for protection from software erosion. The solutions include the development of innovative software tools – amongst others for static code analysis, architecture verification and clone management – as well as the development of methods, training concepts, and service and consulting for the implementation of measures.
The core product of the company is the Axivion Bauhaus Suite, a tool suite for improvement of software quality and maintainability of software systems implemented in the programming languages Ada, C, C++, C#, and Java. Axivion’s customers are developers of technical software across different industries, e.g. in the field of automotive, railway, electronics, information and telecommunication, medical, avionics, mechanical engineering, and industrial automation.
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 CERT programming rules for secure software development are supported.
Since its foundation in 2006, Axivion maintains close research links to the University of Stuttgart, Germany, and to the University of Bremen, Germany to keep up with the newest trends in programming and code analysis research.
More information is available at www.axivion.com.