Publications

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

We provide intelligent and automated test solutions which enable our customers to deal with the growing complexity of embedded software while achieving high quality in compliance with the ISO 26262 standard.

Test Solutions for Simulink Models & Production Code

Use Cases

Supported Environments

Products

Test Solutions for Simulink Models & Production Code

Use Cases

Supported Environments

Products

BTC EMBEDDED Systems

Publications

Products

Company

News

Knowledge

Contact

Products

Company

News

Knowledge

Contact