Certified by German TÜV Süd to the ISO 26262 standard
In modern development projects, different test methods need to be combined to ensure a sufficient level of quality for each integration level. This is e.g. also reflected in the ISO 26262 standard that recommends methods like Requirements-based Testing, Back-to-Back Testing or Formal Verification. While all methods have a different approach, they also have much in common. For all test methods, it is necessary to know the interface of the system-under-test, to be able to simulate and debug, or to generate reports. It may also be useful to share information and artifacts between the use cases, such as reusing functional test cases for a Back-to-Back Test.
BTC EmbeddedPlatform provides a common database and user interface to address different ISO 26262 compliant verification methodologies. Features that are required across multiple use cases are provided once and can be reused efficiently. This includes for example the analysis of the system-under-test and the traceability of requirements to tools like IBM DOORS, PTC Integrity or Siemens Polarion.
Formal Verification Package
Back-to-back Test Package
Fully automated Back-to-back Test, Regression Test and Migration Test incl. Automatic Test Generation
Formal Test BASE Package
Advanced requirements-based testing enhanced by formal methods
Formal Test Package
Requirements-based Test Package
Requirements-based testing for Simulink model
Formal Specification Package
Intuitive formal specification of functional requirements as a basis of automation
Requirements Analysis Package
Requirement Analysis for analyzing formal requirements for completeness, correctness and consistency (CCC)
Find the right contact person, no matter where you are located!