logo slogan

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.

Solid Sands SuperTest

SuperTest C and C++ Compiler Test and Validation Suite

SuperTest is the test and validation suite for C and C++ compilers that has tracked the (ISO) language specifications for more than 30 years. It is a complete validation environment with: A huge library of hand-written tests. A large body of generated tests. A framework to easily set-up and run compiler validations. > Link to

RiskCATS

Visure Solutions IRQA for Requirements

 

As part as the Requirements Engineering complete solution, Visure Solutions provides a set of tools oriented to support the defendendo 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

PRQA

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

Percepio

Percepio Tracealizer for RTOS

Percepio’s Tracealyzer products give an unprecedented level of insight into the run-time world of embedded RTOS. This allows you to solve complex software problems in a fraction of the time otherwise needed, develop more robust designs to prevent future problems and find new ways to improve your software’s performance.> Link to

Phaedsys

Tessy Dynamic Test System

 

TESSY automates the whole unit test cycle including regression testing for your embedded software in C/C++ on different target systems. As an easy-to-install and easy to operate testing tool TESSY guides you through the unit test workflow from the project setup through the test design and execution to the result analysis and reporting. TESSY takes additionally care of the complete test organization as well as the test management, including requirements, coverage measurement, and traceability. >more information

ESS

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. Primarily based in the 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 modelling tools are available such as QVT and ProFeat. . > Link to

Escher Technologies

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

Ristan CASE

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

Compiler Validation

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

Compiler Validation

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