Products
Validas offers the following products to help customers 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 on 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 classification 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:
- Texas Instruments C/C++ Compiler
- Testwell CTC++
- TraceTronic ECU-TEST
- Dassault Systèmes Reqtify
- Altera Nios II development tool chain
- Hightec Development Platform HDP
- Kyoto (Pinteam), see Kyoto Embedded Designer
- C/C++Test (Parasoft), see Parasoft
- Validation Suite for Matlab-Simulink Code-Generator, see Validation of Matlab-Simulink Code generator
The above mentioned qualification kits are available from the mentioned partners or Validas AG.
Tool Qualification Kits maintained, owned and extended by Validas:
- QKit for IBM DOORS
- QKit for IBM ELM
- Math Library Qualification Kit
- PCLint MISRA-Checker
- QKitCPP: qualification kit for the C/C++ preprocessor
- CodeSys Library Qualification Kit for mathematical functions (Validas)
- EB Tresos code generator qualification kit (Validas)
Other products based on safe tools & libraries are:
- Cuda (NVIDIA), see NVIDIAS’s Future Car platform
- ARM safe C Libraries, see ARM
- Falcon (NVIDIA), see Nvidia RISCV Story
- Mentor Graphics AUTOSAR Tool chain, see Mentor
- NXP Safe Assure program, see NXP
- Integrated Management System of Continental based on PTC Integrity, see Method Park
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.
„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.
„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.
Qualification Database
In order to support you in composing a safe tool chain, Validas maintains a database of tools which can be qualified if required, along with some basic information and information from the release of the QKit pointing at strengths and weaknesses of the QKit. The qualification database 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.