Axivion Architecture Verification Overview

This document is a guide on Axivion Architecture Verification, which focuses on ensuring that software code aligns with its architecture. It outlines the importance of verifying architecture to facilitate long-term development and maintain compliance with safety and security specifications. The guide details the processes involved in setting up the verification system, including creating architecture and code models, mapping code to architecture components, and interpreting dependencies. It emphasizes the need for continuous analysis and automated verification to detect deviations from the intended architecture. The document also highlights the integration of the verification tool into existing workflows, allowing for efficient identification and correction of issues. Additionally, it discusses the compliance with ISO 26262 standards, ensuring that safety-relevant functions can coexist on common hardware. The guide concludes with technical specifications and supported environments for the Axivion tool, aimed at providing a reliable foundation for software projects.