Safety Requirements
Manage safety requirements, risks, tests and change in a traceable ALM environment.
IEC 61508 · Requirements · Design · Verification
Industrial Functional Safety Software
Apply requirements governance, formal control-software verification and automated software testing to safety-related industrial control and embedded software.
RequirementsVisure
Control designDezyne
Software testParasoft
StandardIEC 61508
Capabilities
Core Capabilities
Capabilities and terminology aligned to the current partner portfolio and target application.
Control-Software Design
Use Dezyne where concurrent control interactions need formal checking.
Static Analysis
Apply C/C++ coding and security policies.
Unit Testing & Coverage
Automate software testing and collect coverage according to project objectives.
Traceability
Connect requirements and verification results.
Quality Reporting
Use DTP and ALM reports to support review and release activities.
Standards & Compliance
Standards and Regulatory Context
Relevant standards, coding guidelines and assurance frameworks for the technology and its application areas.
IEC 61508
MISRA C/C++
CERT C/C++
CWE
IEC 62443 context
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.
Requirements
Visure
Design
Verum Dezyne
Testing
Parasoft C/C++test / CT
Security
wolfSSL where network security is required