Achieving Functional Safety of Railway Software

EN 50128

Is your virtual reality with Broadcom more like a nightmare than a dream come true?

Methods to Verify & Validate EN 50128 Software

Parasoft helps ease the burden of compliance by offering an integrated solution for automating software verification and validation processes and software quality tasks specified in IEC 61508.

Static analysis (MISRA, AUTOSAR, CERT, CWE ...)
Unit testing (automatic test case generation, code coverage)
Structural code coverage (statement, branch, MC/DC)
Integration testing (files, components, subsystems)
System testing (host and/or target hardware)
Runtime error detection (memory leaks, access errors, corruptions ...)
Requirements traceability (requirements to test cases and code)
Robustness testing (boundary value testing, fault injection, etc.)
TÜV SÜD Certified for use on EN 50128

Guide to Achieving Functional Safety in Industrial Automation:

How to Satisfy IEC 61508 SIL Requirements

Learn how Parasoft can be used to fully or partially satisfy software development process requirements for particular SIL levels within the IEC 61508 standard.

READ WHITEPAPER

Cut costs in the delivery of software that needs to be safe, secure, and compliant to EN 50128

DOWNLOAD WHITEPAPER