loader image

Test Lösungen für Simulink Modelle und Seriencode

Use Cases
Testumgebungen
Produkte

Virtual Validation for ADAS/AD

Creation of driving scenarios

How can I create the needed millions of scenarios?

Generation of needed test scenarios

How can I avoid the test explosion problem?

Analysis of simulation results

How can I find out if my tests are passed or failed?

Products

Test Lösungen für Simulink Modelle und Seriencode

Use Cases
Testumgebungen
Produkte

Virtual Validation for ADAS/AD

Creation of driving scenarios

How can I create the needed millions of scenarios?

Generation of needed test scenarios

How can I avoid the test explosion problem?

Analysis of simulation results

How can I find out if my tests are passed or failed?

BTC EMBEDDED Systems

Veröffentlichungen

Modeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation

Tom Bienmüller, Tino Teige, Andreas Eggers, and Matthias Stasch

Significant Quality and Performance Gains through Fully Automated Back-to-Back Testing

Hans J. Holberg, Dr. Udo Brockmeyer

ISO 26262 compliant verification of functional requirements in the model-based software development process

Hans J. Holberg, Dr. Udo Brockmeyer

Computer-aided Formal Specification to enable a fully automated Requirements-based Testing Process

Hans J. Holberg, Dr. Udo Brockmeyer

From Safety Requirements to Safety Monitors – Automatic Synthesis in Compliance with ISO 26262

Hans J. Holberg, Dr.-Ing Stefan Häusler

Beyond MC/DC Coverage Testing

Hans J. Holberg, Dr.-Ing Stefan Häusler

Formal Verification for safety critical requirements

Markus Gros, Hans J. Holberg

Wir entwickeln automatisierte und intelligente Test Lösungen, welche unseren Kunden weltweit dabei helfen, eine hohe Software Qualität im Einklang mit dem ISO 26262 Standard zu erreichen

Produkte
Unternehmen
News
Wissen
Kontakt
Youtube Linkedin
Produkte
Unternehmen
News
Wissen
Kontakt
Youtube Linkedin

Copyright © 2024 BTC Embedded Systems