Products

Validas offers the following products to help customers make their tools & libraries safe.

QKits

Validas has built (or contributed to) the following QKits together with providers of tools & libraries:

The above mentioned qualification kits are available from the mentioned partners or Validas AG.

Tool Qualification Kits maintained, owned and extended by Validas:

Other products based on safe tools & libraries are:

QUALIFICATION KIT BINUTILS LD

Validas offers a Qualfication Kit for the qualification of the Binutils ld according to ISO26262 & IEC61508. Most available Qualification Kits and commercial test suites are primarily designed to test the compiler. However, these solutions only test the linker implicitly and not in a structured and requirements-based fashion. Therefore, Validas developed a Qualification Kit to test and qualify the Binutils ld.

What we offer:

  • Qualification Kit for the Binutils ld
  • Requirements-based test suite for the ld linker core functionality and several common linker flags
  • Extension of the test suite to support the qualification of your use case
  • Extension of the QKit to support your individual building environment

Your benefit:

  • Dedicated, requirement-based testing of the ld
  • Easy to use and extendable Framework to qualify the binutils ld
  • Standard compliant document generation

QUALIFICATION KIT CTC++

Test case creation for qualification tests: The test cases created by Validas AG are functional and requirements based. They reflect the customer view on tools.

How we support you

We specify and test your tools:

  • Creation of a test strategy, e.g. create a test suite for a C code coverage tool measuring MC/DC code coverage on C code.
  • Specification of tool tests
  • Generation of test cases, for example using a SAT solver and predicting the expected code coverage

Your Benefit

You concentrate on the development and application of the tool, we provide support with testing:

  • Independent tests
  • Checking existing tests for completeness
  • Prioritization of tests cases from a safety perspective
  • Creation of tests for third-party tools, e.g. open source tools

The Qualification-Kit for our tool CTC++ has been created by Validas AG. Over 50,000 test cases for the correctness of MC/DC coverage has impressed our customers and it documents the correctness of Testwell CTC++ up to its limit.

Klaus Lambertz (CEO, Verifysoft)

QUALIFICATION KIT IBM DOORS

For the requirements management tool DOORS from IBM, we are proud to offer a qualification kit to show that the tool can be used safely with the help of a tool safety manual.

The ISO 26262 compliant Tool Qualification Kit for IBM DOORS 9.7 contains the following features:

  • Generates the required safety reports (including an ISO 26262 8-11 compliance report)
  • Performs TÜV certified test cases manually
  • Is also available in a certified version including pre-qualified documents

The qualification kit has been developed according to the Validas qualification method including a qualification support tool.

alt text

alt text

alt text

„The Validas safety approach is too good to be true“

Michael Halder, IBM

QUALIFICATION KIT IBM ELM

The integrated life cycle management environment from IBM integrates several tools. Part of this tool collection is Doors Next generation. The growing QKit IBM ELM covers all integrated tools and the main ISO 26262 requirements.

The qualification kit IBM ELM contains the following features:

  • Generates the required safety reports (including an ISO 26262 8-11 compliance report)
  • Covers all ISO 26262 processes (system, software, support)
  • Is also available in a certified version including pre-qualified documents

The qualification kit IBM ELM has been developed according to the Validas qualification method including a qualification support tool.

alt text

alt text

alt text

„With a list of C and C++ functions, we can find the right library qualification kit for you. Contact us at E-Mail

QUALIFICATION KIT MATH LIBRARIES

For the qualification of mathematic & runtime C libraries, we have a qualification kit with tests for many math functions.

  • Generates the required safety reports (including an ISO 26262 8-12 compliance report)
  • Covers a large list (>100) of mathematical functions
  • Allows to adjust/tailor the expected floating point tolerances

The qualification kit has been developed according to the Validas qualification method including a qualification support tool and is compatible with ISO 26262 8-12 (Qualification of software components).

GENERIC SAFETY PLAN

Validas has a generic safety plan for software and safety elements out of context (SEOOC). It can be applied to build safe products from existing software prototypes by using Validas safety models.

  • Compliant with ISO 26262: Part 6-* and 8-*
  • Automatically executes all tests on the target
  • Generates all required ISO documents from the model
  • Has a tool chain with confidence
  • Can be applied to existing C/C++ Code (Prototype)
  • An overview of the safety case can be found here

The generic safety plan has been applied to create a complete safety case in a customer project successfully assessed from TÜV-Süd.

alt text

alt text

alt text

alt text

You want to know more?

Contact us!

Daniel Kaiser
Tel +49 (89) 5388669-287
E-Mail