Products & Services

Stopping Software Erosion: targeted enhancement
of software quality

Software Erosion is a continuous process which starts at a very early stage of the software development cycle. Complex applications, changing requirements, extended functions, growing numbers of variants: in today’s highly sophisticated software projects, errors are literally preprogrammed. Style violations, cloned and dead code, metric outliers, architecture violations and hidden or cyclic dependencies lead to progressive Software Erosion, decreasing quality of the code and therefore of your application.

This is precisely our area of expertise, developing solutions aimed at minimising or even eliminating preprogrammed errors, to ensure better and sustainable software quality.

+

Our solutions – your benefits

Software Erosion protection

Software Erosion means the insidious internal deterioration of software, triggered by style violations, dead and cloned code, metric outliers mavericks, architecture violations as well as concealed and cyclic dependencies.
Axivion Bauhaus Suite offers you a range of effective tools to safeguard your software quality as defined in standards such as ISO/IEC 25000 and ISO/IEC 9126. By safeguarding the ease of maintenance and transferability of code, our suite of tools creates conditions conducive to innovative product upgrades and innovations.

+

Architecture management

Clearly thought-out software architecture management is fundamental to ensuring plannability when developing the software for complex systems. This is the only way to guarantee manageable version management and the cost-efficient continuation of product lines.
Our architecture tools make it easier for your architects and developers to model and verify the software architecture during every phase of a product’s life cycle in long-term, efficient fashion.

+

Reverse engineering & architecture recovery

Products with long life cycles are based on code which comes into being over many years and is generally the work of an ever-changing group of developers. Recovering the know-how lost in the process is vital for the preparation of major product upgrades and for the most cost-efficient reuse of components. Our tools detect hidden dependencies step-by-step and track down architectural violations. This enables your team to examine the existing code in detail and understand it anew, making the time and cost required to adapt, change and correct errors in your projects clearly calculable.

+

Compliance with safety requirements

In many applications, especially automotive engineering, medical and avionics, very high demands are posed in relation to (functional) safety. Through dedicated analysis our tools assist you in ensuring the code’s compliance with the safety requirements laid down in the principal standards such as Automotive SPICE (ASPICE), Medical SPICE, ISO 26262, ISO 62304 and ISO 61508. A major highlight here is our MISRA checker, covering 100 per cent of the automatically checkable MISRA rules for the programming standards MISRA C:2004, MISRA C:2012 and MISRA C++:2008.  In addition, it checks the SEI CERT© C Coding Standard which is important for software security. This represents a genuine safety benefit for you.

+


Axivion Bauhaus Suite: The Software Erosion protection solution

The Axivion Bauhaus Suite offers you a sophisticated range of tools for automated static code analysis. 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. Our suite is optimised for the programming languages C/C++, C#/.NET, Java and Ada 83/Ada 95 and is available for the standard platforms Microsoft Windows and GNU/Linux. It integrates seamlessly into the development environments you are familiar with, such as Microsoft® Visual Studio®, compilers such as IAR Embedded Workbench® and version control systems such as Subversion.

Static code analysis

By means of static analysis of the source code, our tool suite is able to specifically track down error-prone code locations, style violations, cloned or dead code and cyclic dependencies. This static code analysis lays foundations which allow your developers to halt Software Erosion in the long term.

+

Architecture verification

Our solution performs in-depth analyses to check whether the code complies with the architectural requirements, as well as detecting hidden dependencies. Your developers and architects can then monitor, correct or adapt any deviations on a case-by-case basis, thereby improving the code’s quality and ease of maintenance as well as enhancing the working relationship between developers and architects.

+

Clones & clone management

Our suite’s clone detection algorithms reliably identify lexical and syntactic duplicates in the source code. In the process, the suite also uses simple copy-and-paste clones to detect locations which are drifting apart due to changes. Clone management ensures the long-term prevention of the copying and pasting of errors and inconsistencies in the ongoing development of your software.

+

Metrics

Our tool suite contains a variety of standard metrics for object-oriented and non-object-oriented systems, among them the frequently called for HIS metrics. Thanks to reports monitoring company-specific indicators, your developers are able to provide proof of the required quality of the system and are able to take timely action to combat violations.

+

Coding guidelines

Our solution reliably monitors compliance with the prevailing requirements laid down in recognised programming standards (such as SEI CERT© C and MISRA) and customer-specific coding guidelines. The guidelines that require checking can easily be adapted and extended as required to the relevant company and project context via an open API.

+

MISRA C and C++

As the industry’s only MISRA checker, our suite covers 100 per cent of the automatically checkable MISRA rules for MISRA C:2004, MISRA C:2012 and MISRA C++:2008. That way, not only do we safeguard the quality of your software but can also demonstrate it – particularly for automotive engineering, medical and industrial applications.

+

Dead code

Our tool suite automatically detects code no longer needed by your current software. Your developers can remove this dead code easily, thus ridding your software of resource-consuming code which may trigger errors.

+

Cyclic dependencies

Our Axivion Bauhaus Suite identifies cyclic dependencies among a plethora of different source code elements and at various levels of abstraction. Particularly when developing embedded systems, this specifically helps your developers in preventing errors from arising in the first place.

+

+

Services: added value package

Just as important as the functioning of our system is its optimal, customer-specific application. Our service package supports you in implementing and using all tools of importance to you. We do this for as long as it takes until every function is fine-tuned to your individual requirements.

+

Professional Service

Integration

To ensure a trouble-free rollout, we take care of the entire integration of our system into your technical environment and subsequently ensure its optimal harmonisation with your existing tools, thus saving you time and money.

+

Training

To promote the efficient use of all the features of our Axivion Bauhaus Suite, we offer a range of attractive training options, among them introductory seminars on the subjects of software architecture and Software Erosion protection.

+

Guidelines

To optimise your software quality we work with you on devising project-specific coding guidelines then implementing these in our tool suite, thereby permitting their automated checking.

+

Architecture 

In line with your requirements we either integrate the architecture verification into your existing UML tool landscape or use the modeller integrated into the Axivion Bauhaus Suite. 

+

Tool qualification for ISO 26262/
Safety (Classification & qualification)

To ensure the effective deployment of our Axivion Bauhaus Suite in projects involving tool classification and qualification, we can help you with performing all the necessary tasks efficiently.

+

Code Quality Assessment

Bringing to bear our many years of experience with the technical quality of software systems, we can help with an analysis of status quo as well as benchmarks to ensure ease of maintainability and transferability of existing software.

+

 

MISRA-Checker

We have already convinced many different clients: As a MISRA checker for safety-critical applications, the Axivion Bauhaus Suite produces the best results. It covers 100% of all automatically checkable MISRA rules and therefore offers the best possible rule coverage of all the tools currently available.

Our MISRA checker fully supports MISRA C:2004, MISRA C:2012 and MISRA C++:2008.  In addition, the SEI CERT© C Coding Standard can be checked.

The MISRA programming standard family for C and C++ was originally developed for the automotive industry, but also plays an important role in other industries with high functional safety standards, such as traffic technology, medical technology and industrial production.
 
For this reason, our Axivion Bauhaus Suite is also used as a MISRA checker by clients in these industries. You will find the report on ZF references here:
100 % rule coverage – Axivion wins over ZF with its comprehensive MISRA checker

+