Revolutionize Automotive Software Verification with AUTOSAR & TrustInSoft
The automotive industry is at the forefront of a technological revolution, driven by the increasing complexity of vehicle systems and the demand for robust and reliable software. In this era of interconnected and autonomous cars, ensuring safety and cybersecurity is paramount. This is where AUTOSAR takes center stage.
AUTOSAR, or Automotive Open System Architecture, is an open standard meticulously developed by a consortium of automotive manufacturers and suppliers. Its primary goal is to establish a universal framework for software development and integration across diverse platforms and vehicle architectures. AUTOSAR comprises two main platforms: the Classic Platform, which is the focus of this blog post, and the Adaptive Platform.
AUTOSAR Classic, the original platform, is specifically tailored for embedded systems with real-time and safety constraints. Its layered architecture separates application software from the underlying hardware, the runtime environment (RTE), and the basic software (BSW).
In the automotive industry, safety and cybersecurity are non-negotiable, particularly for AUTOSAR Classic deployed in critical systems like safety-critical Electronic Control Units (ECUs). AUTOSAR Classic plays a pivotal role in safeguarding vehicles and their occupants by ensuring the reliability of embedded software.
AUTOSAR Classic standardized a specialized XML format called ARXML (AUTOSAR Application Release Package). This file contains information about software components, including interfaces, value ranges, and RTE usage calls. TrustInSoft Analyzer’s groundbreaking application of ARXML allows for the automatic generation of analysis drivers—a process that systematically analyzes the functionality of software components.
The combination of ARXML data and TrustInSoft Analyzer, a sound static analyzer, streamlines the software verification process. This powerful combination offers several advantages:
While traditional test methods are essential, they can be time-consuming and labor-intensive. The combination of abstract interpretation with ARXML-based analysis driver generation provided by TrustInSoft Analyzer significantly enhances the efficiency and effectiveness of the verification process.
By embracing this innovative approach, automotive software suppliers can ensure that vehicles meet the highest standards of safety (ISO 26262) and cybersecurity (ISO 21434), ultimately protecting both drivers and passengers. AUTOSAR Classic, alongside cutting-edge tools like TrustInSoft Analyzer, stands as the cornerstone of excellence in automotive-embedded software development.
Connect with TrustInSoft experts to see how you can meet safety and security standards in a fraction of the time with traditional testing methods.