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:
- 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
- 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
- C/C++Test (Parasoft), see Parasoft
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.
„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.
