Rail

Whether the target application is deployed trackside or onboard, software for railway and mass transit applications must have high levels of reliability, safety, security and system integrity.
In order to achieve this requirements, a rigorous software-development process including usage of software testing tools is mandatory.

The standard EN 50716 (replaces EN 50128:2011 and EN 50657:2017) describes requirements for the development, provision and maintenance of software for railway applications (train control, train protection and signalling applications as well as applications on railway vehicles).

EN 50716 (and EN 50128) require Code Coverage Analysis, usage of Programming Standards like MISRA, and tools for verification and validation like Static Code Analysis.

Meet the Code Coverage Requirements of EN 50716 with Testwell CTC++ Code Coverage Analyzer

Depending on Security Integration Level (SIL) the standard EN 50657 requires the following test coverage levels (R stands for "recommended", HR stands for "highly recommended"):

	Basic integrity	SIL 1	SIL 2	SIL 3	SIL 4
Statement Coverage	R	HR	HR	HR	HR
Branch Coverage	-	R	R	HR	HR
Compound conditions (Condition Coverage)	-	R	R	HR	HR
Data Flow	-	R	R	HR	HR
Path Coverage	-	R	R	HR	HR

Testwell CTC++ Code Coverage Analyzer shows all code coverage levels required by EN 50716 (and of the old standard EN 50128).
Testwell CTC++ Test Coverage Analyzer for C and C++ is a user friendly and easy to use test coverage tool that gives clear and simple analysis results.
Testwell CTC++ has a very low instrumentation overhead. It can be used with all compilers and all embedded targets - even for very small ones.

Testwell CTC++ is certified by TÜV Süd. With the Safety-Package it can be used in safety-related software development according to IEC 61508, EN 50716 and ISO 26262 without any further tool qualification activities.

Learn more about Testwell CTC++

Our Static Analysis solution

TiCS is a source code quality monitoring solution designed for multi-technology, multi-project, and multi-site development environments.

TiCS allows you to:
✅ Centralize quality measurements across all code (C/C++, Java, C#, etc.),
✅ Unify analysis tools (Coverity, Parasoft C++Test, BlackDuck, MISRA, Cyclomatic, duplication, coverage, etc.) in a single interface,
✅ Automate quality checks in the CI/CD chain,
✅ Ensure traceability and compliance with standards (ISO 26262, DO-178C, IEC 61508, etc.),
✅ Track quality over time via clear and auditable dashboards.

Seminars

Developers and managers of safety critical software need best knowledge in order to provide excellent software.
Verifysoft supports you with seminars and workshops.

Hundreds of Companies and Organisations enhance their Software Quality with Verifysoft's Testing Solutions

Verifysoft's Testing solutions have proven success in safety and security critical software development within the "rail industry". Our satisfied customers include:







Read here what Customers say about our tools: