Products

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

Tool Chain Analyzer

Our Tool Chain Analyzer (TCA) is the tool for modeling and analyzing tools and tool chains. The TCA covers all qualification-relevant aspects of tools.

You can get a trial version of the TCA after a free training session with one of our employees. If you are interested in our product and a free training session how to use it, please contact E-Mail

QST: QUALIFICATION SUPPORT TOOL

The Qualification Support Tool (QST) supports the qualification of tools and libraries by automatizing the following steps:

  • Planning the qualification (use cases)
  • Selection of environment & configuration parameters
  • Execution of test cases using the Test Automation Unit (TAU)
  • Generation of qualification documents and safety manuals

The QST does the work in compliance with main safety standards (IEC 61508, ISO 26262,..) and contains process descriptions as well as compliance reports.

QST can be used to qualify:

  • Tools (single tools or tool chains)
  • Libraries
    • Pre-existing/unchanged SW components
    • Newly developed SW components

QST can be adapted to any tool (commercial / inhouse / open source) by creating the corresponding tool/library model using the TCA tool. TCA tool and TAU are included in the QST. Validas supports you in configuration of QST to qualify your tool/library.

See here for more information about qualification services.

With a detailed tool qualification report it is fast & easy to find the right tool qualification kits for you. Contact us at E-Mail

QKits:

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

Those 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 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 available also 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++ function 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

Qualification Database

In order to support you in composing a safe tool chain Validas has created a database of qualifyable tools, together with some basic information and information from the release of the QKit pointing at strengths and weaknesses of the QKit. The qualification data base is available to TCA users in form of a TCA model that contains the following information about the qualified tools:

  • Tool Owner
  • Qualification Kit Owner
  • Release Notes of the Qualification Kit with the following information
    • Date of the QKit Release
    • Qualification Method & Safety Standard
    • Covered Tool Versions
    • Main Tool Features/UseCases covered by the QKit
    • Qualification/tool relevant issues of the QKit including work arounds

Please contact us at E-Mail , if you have qualifyable tools that we can add to the database, or if you like to receive it.

You want to know more?

Get in contact with us!

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