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 IEC 62279
, which is identical to the European standard EN 50128
"Railway applications - Communication, signaling and processing systems - Software for railway control and protection systems" specifies procedures and technical requirements for the development of programmable electronic systems which are used in railway control and protection applications.
IEC 62279 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 IEC 62279 / EN 50128 with Testwell CTC++ Test Coverage Analyser
Depending on Security Integration Level (SIL) the standard EN 50128 requires the following test coverage levels (R stands for "recommended", HR stands for "highly recommended"):
|1. Statement Coverage
|2. Branch Coverage
|3. Composed conditions
(MC/DC or MCC-Coverage)
|4. Data Flow Analysis
|5. Path Coverage
Test Coverage Analyser shows all code coverage levels required by IEC 62279 / 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.
The Tool Qualification Kit for Testwell CTC++
makes the qualification of Testwell CTC++ within your DO-178-projects easy.
Learn more about Testwell CTC++
Data Flow Analysis
Data Flow Analysis is shown by Imagix 4D
. Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. It automates the analysis of control flow and dependencies.
With Imagix 4D you increase productivity, improve quality, and reduce risk.
Static AnalysisTestwell CMT++
analyses for the most important metrics like Lines-of-code Metrics (LOC), Halstead-Metrics, McCabe Cyclomatic Number v(G), Maintainability Index and Max ND / Maximum Nesting Depth. The tool is very easy to use, extremely fast and analyses even very large code bases.
is a Static Code Analysis Tools which is specifically designed for zero-tolerance defect environments.
CodeSonar can make a significant contribution to IEC 62279 / EN 50128 activities. Sophisticated analyses provide multiple points of leverage for verification and reverification.
With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle.
GrammaTech CodeSonar performs whole-program, interprocedural analysis on C and C++ source code, identifying programming bugs that can result in system crashes, memory corruption, and other serious problems. CodeSonar finds bugs automatically.
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
MÁV Informatika Kft. (Hungary)
Nederlandse Spoorwegen Rezigers (Dutch Railways)
Siemens Transportation Systems
"Testwell CTC++ is used in one of our projects on embedded targets. It was easy to integrate on the embedded target. It has a well written manual, and Verifysoft has a good customer support."
Anna Andgart, Software Developer
ABB AB, Control Technologies, Sweden
"We are using Testwell CTC++ in our embedded project. It has helped us to discover any uncovered code and control-path, due to incomplete unit test specifications. The integration is simple and customer support is excellent."
Srinivasulu, Project Manager
Knorr-Bremse Technical Center, India
"Our software is very complex and it has to meet the EN50126, EN50128, EN50129, EN50159 standards. We need to run requirement tests and unit tests to reach this goal. So we looked for a compiler independent code coverage tool, which can handle numerous source code and can give information about source code’s MCDC coverage. Testwell CTC++ performs this conditons, so we chose it. If we choose a source file then we can get information about the code coverage very easily.
>Read full Customer Testimonial here
Mate Toth, Software Developer
PROLAN Group, Hungary