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, failure and reliability prediction and a tool for reverse engineering software.

Reliability and failure prediction

We have access to some top flight consultants who can assist with reliability and failure calculations of al types from initail project to ongoing maintenance. > Link to

Visure Solutions IRQA for Requirements

As part as the Requirements Engineering complete solution, Visure Solutions provides a set of tools oriented to support the definedRDM processes, streamlining them and making them more efficient and manageable. These solutions provide not only support to all the RDM activities, but also specific support to a wide range of activities related with it, like tender management and requirements communication. IRQA is a state-of-the-art Requirements Definition and Management (RDM) tool specifically designed to provide an integral support to the complete Requirements process.> 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

Medini IEC26262 analysis tools by IKV

Though their Medini Tool set IKV provide a set of tools to support systems analysis and model based development. Priamrily based inthe automotive market they Analyze tool supports ISO26262 but their other tools have a wider field such as unite that works with Simulink and Stateflow models. Also other modeling tools are avilible such as QVT and ProFeat. . > 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

Escher Technologies

Escher Technologies researches, develops and delivers tools for the efficient construction of provably correct software. Using advanced Automated Reasoning technology, Perfect Developer and the Escher C Verifier reduce the cost of developing safety-critical software or software for other high-integrity applications. For universities and colleges which offer courses in formal methods of software development: Perfect Developer Free Edition makes this challenging subject easier to teach and enjoyable to learn.> 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