Validation

You have your tools and source code but how do you validate them to be certain that they do what they say? We have the solutions: validation for compilers and tools for static and dynamic testing and a tool for reverse engineering software.

Compiler Validation

Compiler validation for most process standards including IEC 61508 to SIL 3. the validation is customised specifically for your project by our highly qualified and experienced consultants and meets the requirements for Tuv > Link to

Project Validation

We have access to some top flight consultants who can assist with validation of safety critical projects Both at the initial stages to set you on the right path and later for actual project validation > Link to

Programming Research Static Analysis

Established in 1986, Programming Research's extensive experience with leading global software development organizations enabled them to emerge as the industry's coding standard experts. PRQA is recognized worldwide as the leading authority in the assessment of software quality through automated source code analysis and development process improvements.. > Link to

VectorCAST Unit Test

The VectorCAST products scan your Ada, C/C++ and Embedded C++ (EC++) source code and automatically generate the test code necessary to construct executable test harnesses for both host and embedded environments.. > Link to

CATS Analyzer

The CATS analyzer will give full analysis including calling trees and timing information from binary in the EMPROM/FLASH/ROM for when you have to know exactly what the code in the system, is doing. > Link to

Ristan Metrics, flow chart and documentation generator

Development assistants will reverse engineer code producing a wide range of metrics, flow charts, calling trees, cross-reference lists and documentation. > Link to