Requirements & Safety Traceability
Use Visure to connect requirements, hazards/risks, tests, change and evidence.
ISO 26262 · Automotive SPICE · ISO/SAE 21434
Automotive Software Assurance
Connect automotive requirements, safety and cybersecurity traceability, software design verification, C/C++ testing, coverage, release evidence and embedded security technologies.
RequirementsVisure
Design verificationDezyne
Software V&VParasoft
Embedded securitywolfSSL
Capabilities
Core Capabilities
Capabilities and terminology aligned to the current partner portfolio and target application.
Concurrent Control Design
Use Dezyne where component interactions and concurrency justify formal design verification.
C/C++ Verification
Use C/C++test or C/C++test CT for static analysis, unit testing, coverage, requirements traceability and compliance reporting.
Continuous Compliance
Use DTP to consolidate testing and coverage information across releases.
Cybersecurity Software Quality
Apply security-oriented static-analysis and coding-standard workflows.
Embedded Trust
Use wolfSSL technologies for secure communication, cryptography and secure boot where the ECU/device architecture requires them.
Standards & Compliance
Standards and Regulatory Context
Relevant standards, coding guidelines and assurance frameworks for the technology and its application areas.
ISO 26262
Automotive SPICE
ISO/SAE 21434
MISRA C/C++
AUTOSAR C++14
CWE
TLS 1.3
Industries
Industry Applications
Industry connections are included where the technology addresses a defined engineering, verification or product-security requirement.
Integrations & Deployment
Toolchain and Deployment
Connect the technology with the existing engineering environment, lifecycle tools, CI/CD platform and target architecture.
ALM
Visure ↔ Jira / Azure DevOps / DOORS / MBSE
Code verification
C/C++test / C/C++test CT ↔ CI/CD / DTP
Security
wolfSSL ↔ MCU / RTOS / hardware security