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 50657 "Railway Applications - Rolling stock applications - Software on Board Rolling Stock" which replaces IEC 62279 (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.
EN 50657 (and IEC 62279 / 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 50657 (IEC 62279 / EN 50128) with Testwell CTC++ Test Coverage Analyser
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 | - | HR | HR | HR | HR |
Branch Coverage | - | R | R | HR | HR |
Compound conditions (MC/DC Coverage) |
- | R | R | HR | HR |
Dataflow | - | R | R | HR | HR |
Path coverage | - | R | R | HR | HR |
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 Analysis
Testwell 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.CodeSonar is a Static Code Analysis Tools which is specifically designed for zero-tolerance defect environments.
CodeSonar can make a significant contribution to EN 50657 (and 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.
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.
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:
ABB
Bombardier
Bosch
Knorr Bremse
MÁV Informatika Kft. (Hungary)
Modutram Mexico
Nederlandse Spoorwegen Rezigers (Dutch Railways)
PINTSCH BAMAG
Siemens Transportation Systems
SKF Sweden
Thales
Read here what Customers say about our tools:
"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
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
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
>Read full Customer Testimonial here
Mate Toth, Software Developer
PROLAN Group, Hungary