Axivion GmbH

We offer you a sophisticated range of tools for automated static code analysis in the shape of the Axivion Bauhaus Suite. It supports your software system developers in ensuring high quality and long-term ease of maintenance of the code they create, thereby actively preventing insidious software erosion.

+ Architecture modelling
The Axivion Bauhaus Suite contains a complete tool for modelling architectures which poses minimal obstacles to getting started.

+ Architecture verification
Architecture verification enables you to automatically detect, within seconds, whether the actual dependencies in your code comply with your architectural requirements.

+ Clone detection and management
The analyses detect both duplicates and similar points in the source code and track them over time, thereby supporting a consistent ongoing development process.

+ Checking MISRA C, MISRA C++, AUTOSAR C++14, CERT C, and CERT C++
Our MISRA checker covers 100 per cent of the automatically checkable rules for MISRA C:2004, MISRA C:2012 and MISRA C++:2008, approx. 90% of the rules for AUTOSAR C++14, as well as rules for CERT C  and CERT C++.

+ Checking coding guidelines
The Axivion Bauhaus Suite provides you with a selection of over one thousand rule checks. The rules can be flexibly configured and you can define your own rules, thus enabling you to check special naming conventions.

+ Static code analysis
The analyses include scalable data and control flow checks. These allow errors such as out-of-bounds access or division by zero to be detected early.

+ Race condition analysis
The Axivion Bauhaus Suite assists you in diagnosing unprotected memory access.

+ Delta analysis
Delta analysis permits continuous baselining and automatic issue tracking over time. This enables you to focus on the important messages during your day-to-day business.

+ Include Profiler
Analysis and optimization of #includes. The tool reports, for example, #includes that can be replaced with forward declarations, or that may be removed altogether. The tool’s results can be fine-tuned to follow your personal #include strategy.

+ Metrics
Alongside standard metrics such as HIS and OO design metrics, the Axivion Bauhaus Suite also allows client-specific metrics to be monitored. Compliance with thresholds can be monitored automatically.

+ Dead code detection
The Axivion Bauhaus Suite detects dead code in applications and also in library functions.

+ Cycle detection
The analysis recognises cyclical dependencies on different levels. It can identify and monitor not only call cycles (including recursions) but also component cycles and include cycles..

+ UML® Integration
The Axivion Bauhaus Suite provides the option of importing models from UML® modelling tools such as Enterprise Architect™ and IBM® Rational Rhapsody® and individually adapting them for your architecture verification.

+ Reporting API
You can obtain the analysis results automatically via the Reporting API. From this, you can generate your own reports and also edit them using your pre-existing reporting tools.

+ Web UI
The Web User Interface makes available all the information from the analysis runs via a browser interface. This enables you to integrate any IDEs you like into the workflow.

+ CI integration
Analyses conducted by the Axivion Bauhaus Suite can be configured so that they run automatically for the software under analysis.

+ Workplace integration
The Axivion Bauhaus Suite includes plugins for Microsoft® Visual Studio® and Eclipse™-based IDEs. The plugins support developers by analysing issues and displaying them directly in the IDE on the workstation computer.

+ Version management
The Axivion Bauhaus Suite uses the command line interfaces of your version management tools for purposes such as obtaining information on version differences and authors. Straight out of the box, the Axivion Bauhaus Suite supports standard version management tools such as Subversion®, Git™, IBM® Rational® Team Concert®/ClearCase®, Perforce®, etc.
 

The check enables you to determine where your code is affected by errors undetected by your target compiler, thereby avoiding errors at the time of running the program.

We offer our customers comprehensive services based on our tools, so that these can be deployed quickly and achieve quantifiable results.

+ The technology
We assist our customers by providing straightforward and complete integration of the solution into the technical environment with the existing development tools.

+ The people
We train employees on site and assist with seamless integration of our solution into the customer’s processes – for a high level of personal motivation from the outset.

+ Customizing
We adapt our solutions to our customers’ needs and coding rules.. In addition, we offer training courses, such as foundation courses on software architecture and coding guidelines.

+ Additional services
Together with our customers, we devise and implement project-related coding guidelines. We also provide support in the fields of architecture verification, tool classification and qualification, amongst others (including for ISO 26262 and IEC 62304).

Our common goal:
Optimum use of the Axivion Suite from day one – for immediate results and a genuine
competitive advantage.

Axivion Academy
At our Axivion Academy, we offer trainings for various topics on a regular basis. Profit from the know how that our experts share with you as well as from the exchange with other users and take home hands on best practices that make the use of the Axivion Bauhaus Suite even more effective and efficient.

Axivion offers a qualification kit to support the classification and qualification of your tool chain. This comprises prefabricated test suites (for such things as the MISRA rules), whose execution and results evaluation processes can be automated. This enables you to specifically check and verify the suitability of the Axivion Bauhaus Suite. The technical automation of the validation tests allows you to efficiently repeat them after changes have been made, for instance in the form of updates or upgrades in order to benefit from improvements and innovations, thus also allowing the suitability check to be repeated.

We’ll also be glad to offer our Professional Services to support you during your specific implementation