BTC TestStack is the testing and verification stack for safety-critical software, model-based, hand-written, and AI-generated, built for the SDV and AI era.
BTC EmbeddedPlatform is now BTC TestStack. Existing licenses keep working — with many new features for existing users.
A single engineering team now mixes model-based components, hand-written C/C++, and — increasingly — code generated by AI. BTC TestStack is the perfect choice for testing every type of code within a single certified stack.
Simulink models and production code generated by dSPACE TargetLink or Embedded Coder.
Drivers, libraries and integration logic written directly in C/C++.
Code created by assistants and agents directly from specifications.
One stack, three points of contact for your interactive workflows.
Test and verify hand-written and AI-generated C/C++ directly in the VS Code editor, incl. support for Google Test.
BTC TestStack connects into the AI models of your choice. Use AI to accelerate your interactive workflows, or let AI take control and orchestrate your end-to-end workflows.
Generative AI that knows your system under test.
A chat assistant built into the workflow. It combines a generative model with TestStack's context about your system under test — interfaces, requirements, structure — to draft artifacts you would otherwise write by hand.
Easy to use for humans, easy to use for AI agents.
The same actions an engineer runs in the IDE are exposed to AI agents through an MCP server. An agent can generate tests, run verification and read back results — so verification stays inside the loop the agent is already working in.
Tests traced to requirements, results traced back.
Capture requirements as machine-checkable formal properties.
Deterministic test vectors generated from the spec by model checking.
Prove properties over all inputs by model checking.
BTC TestStack (the successor to BTC EmbeddedPlatform, including BTC EmbeddedTester BASE, BTC EmbeddedTester, BTC EmbeddedSpecifier and BTC EmbeddedValidator) has been certified by German TÜV Süd as fit for use in safety-critical software development projects.
The certificate addresses functional-safety standards across multiple industries:
For ISO 26262, BTC TestStack is certified with the highest Tool Confidence Level (TCL), valid for all ASIL levels including ASIL D. We provide the certificate and report to customers free of charge on request — removing most tool-qualification effort on the customer side.
Back-to-back testing between model and code used to be a manual afternoon. Now it runs on every merge.
One stack across model-based, hand-written and AI-generated code — instead of separate tools, licenses and a learning curve for each use case.
AI speeds up test generation, requirements and automation — but the evidence still comes from deterministic, certified verification. Your team gets the productivity of AI without betting the safety case on it.
TÜV Süd-certified components ship with their evidence, taking work out of every audit you run.
Includes a 2-hour workshop with our engineers, set up on your own code.
