Requirements Traceability
Control requirements, change, tests and baselines in Visure.
EN 50716 · EN 50128 Workflows · Traceability · Verification
Rail Software Assurance
Connect rail requirements, concurrent-control design, software testing, coverage and evidence across safety-critical rail software development.
RequirementsVisure
Formal designDezyne
C/C++ V&VParasoft
EvidenceTraceability & reports
Capabilities
Core Capabilities
Capabilities and terminology aligned to the current partner portfolio and target application.
Formal Control Design
Use Dezyne for contract-based concurrent-control verification.
Static Analysis & Unit Testing
Use C/C++test for early defect detection and testing.
Coverage & Traceability
Use C/C++test CT where CI/CD and open-source unit-test frameworks are preferred.
Compliance Reporting
Consolidate testing and traceability in DTP.
Review & Reporting
Use Visure review, reporting and checklist capabilities for controlled project evidence.
Standards & Compliance
Standards and Regulatory Context
Relevant standards, coding guidelines and assurance frameworks for the technology and its application areas.
EN 50716
EN 50128 workflow context
IEC 61508 context
MISRA C/C++
CERT
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
Design verification
Dezyne
Software verification
C/C++test / CT
Reporting
DTP / Visure Report Manager