This picture shows the header picture of the latest releases of Axivion Suite

Latest Release

AXIVION SUITE Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in 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…

Hier zeigen wir ein BAnner zur Release 7.2.0 der Axivion Suite

Release 7.2.0

AXIVION SUITE Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in 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…

This picture shows the Axivion Toolbox in light grey including the Headline: Testing, Modelchecking and Static Analysis

Testing, Model Checking and Static Analysis | Dream Team or Rivals?

Abstract — Ensuring reliability and quality of software has become a necessity. This is especially true for safety critical systems. To do so, different techniques have been established in industry and academia. For instance, coding standards such as the MISRA ruleset or the AutosarC++14 ruleset have been developed. Additionally, software testing, static analysis and even…

This image shows the Axivion Toolbox with the headline to the blog post about the latest release: 7.1.6

Release 7.1.6

AXIVION SUITE Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in 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…

How much is the {…}​?

If you work on a software project with safety and/or security background, you will have to use some sort of programming guide. In automotive industry, MISRA and Autosar C++14 standards are widely used, and therefore other industries also take these standards as a starting point for defining best practise rules. When you are not “forced”…

Hier zeigt Axivion den Header zu den ReleaseNotes 7.1.5

Axivion Suite Release 7.1.5

Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in 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…

Dieses Bild zeigt die Axivion Toolbox stilisiert in weiß

Coding Guidelines How-To +++ First Thoughts

[by Dr. Daniel Simon, Head of Professional Services at Axivion]   For use in Safety or Security, a range of Standard Programming Guides is available. In automotive industry, MISRA and AUTOSAR C++14 standards are widely used. While covering many different aspects, the standards leave it up to the user to define additional project or company…

Release 7.1.4

Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in 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…

Headerbild Release 7.1.3 Axivion Suite

Release 7.1.3

Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in 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…

Headerbild Release 7.1.2 of Axivion Suite

Axivion Suite Release 7.1.2

Axivion´s core product is Axivion Suite, the next generation of static code analysis for software systems implemented in 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…