Axivion
Architecture Verification
Does the implementation of your system match with its software architecture? Only if software architecture and design are in sync with your code, you can be sure that the software architecture can be used as a guide and guideline for discussing the impact of new features.
Why are Conformance Checks on the Architecture of a Software important?
Implementing architecture verification ensures that the system's structure remains clear and clean. To create the structural model of your software architecture, you can either set it up manually or import it from a UML model or from any other form of graph structure. Software architecture erosion and architecture debt are made transparent and can thus be effectively combated. Deviations are flagged to check if the code complies with the architecture, and further architecture erosion is stopped. Already existing architecture debt can be corrected via targeted refactoring measures which you can directly monitor in the results report of the architecture verification.
Key features
Integrated Modeler
Interfaces to UML Tools
AUTOSAR XML Import (ARXML)
Freedom from Interference
Architecture Reconstruction
Architecture views for safety and security
Architecture Verification - Your Key to Success
The use of architecture checking (also called architecture check, architecture verification, architecture compliance check or architecture conformance check) ensures that developers and software architects do not leave the basis of the system to be developed, but build on it. The structure of the system remains coherent, software architecture erosion and architecture debt are made transparent and thus can effectively be prevented.
In addition, the software architecture in safety-relevant systems itself contains safety-relevant attributes and structures and must therefore be implemented precisely in the code. Deviations from the architecture become a threat to functional safety. The software architecture conformance check effectively mitigates this threat.
Take a Tour
- What is architecture verification?
- How does architecture verification with Axivion work?
- How are violations in the code displayed after an architecture verification check?
Let us show you. Take a tour to learn more.
Checking, Recovering and Optimizing Your Software Architecture
Axivion Architecture Verification can import software architectures from widely used UML tools such as Enterprise Architect and IBM Rational Rhapsody®. This makes it possible to link the architecture review directly and easily with the existing architecture and design processes. Those who do not yet possess architecture documentation, don’t need to worry. We have various options to ensure, that you, too, can benefit from continuous architecture verification and architecture conformance checking.
Software Architecture Check
By automating the check of your architecture, you create a long-lasting foundation for your software. With just a few simple steps you can ensure your code matches your software architecture.
Software Architecture Recovery
Nothing is lost forever when using Axivion Architecture Verification to recover the architecture. It allows you to understand the current status of a software project and identify any issues there may be.
Software Architecture Archaeology
Taking architecture recovery to the next level. Even without existing documentation, creating a future-proof software is possible. We will help you dig into your code and step-by-step reveal your software's architecture.
Freedom from Interference
The safety architecture forms the fundament for the coexistence of functions with different ASIL classifications. It shows the independent software elements and their interfaces. Compliance with this safety architecture is the basis for freedom from interference and assures functional safety.
Strengthen Your Software Architecture
Not ready to commit? That's ok - you can still experience the benefits of Axivion Architecture Verification in our Proof of Value Workshop.
Evaluate the tool in your development environment and uncover the architecture debt in your code.
Success Stories for Axivion Architecture Verification from Various Industries
Visit our Success Stories Listing for more Success Stories
Elektrobit
Assured with Axivion
“The Axivion Suite provides us with crucial support when implementing new features in EB street director and guaranteeing the quality of our software solutions in the long term.”
Jakob Schmidt
Software Architect at Elektrobit
Fresenius Medical Care
Assured with Axivion
“Thanks to the Axivion Suite, we have the maintainability of our software under control, thereby safeguarding our long-term capacity for innovation.”
Thomas Stahl
Director Software Engineering, Fresenius Medical Care
HENSOLDT
Assured with Axivion
“With the Axivion Suite, we have significantly reduced our integration effort and integration risk.”
Daniel Zimmermann
Head of OSS Software at HENSOLDT Sensors GmbH