BTC Embedded Systems AG
Booth number: HALL A - 51242-02
www.btc-embedded.com
About us
BTC Embedded Systems provides intelligent and automated software test solutions for the SDV era.
Founded in 1999 we started with an ambitious goal: To take complex and powerful mathematical verification and test methods out of their academic hiding place, and make them available for real-life model-based software development projects.
Today, our products are used by car makers and suppliers world-wide for the automated test and verification of embedded systems. With a high degree of automation, a native cloud integration, an ISO 26262 certificate and a perfect toolchain integration with products like Simulink, TargetLink, VSCode, Jenkins, Docker, Polarion, DOORS, Github and many more, BTC Embedded Systems products are the perfect fit for the requirements of the SDV era.
Currently BTC Embedded Systems AG has locations in Oldenburg, Berlin, Tokyo, Nagoya, Shanghai, Detroit, Paris, and Timisoara, and is part of the “BTC Group” led by the BTC Business Technology Consulting AG.
Address
Gerhard-Stalling-Str. 19
26135 Oldenburg
Germany
E-mail: info@btc-embedded.com
Phone: +49 441 969738-0
Internet: www.btc-embedded.com
418 North Main St.
48067 Royal Oak
United States
E-mail: info.usa@btc-embedded.com
Phone: +1 248 838 0305
Internet: www.btc-embedded.com
Contact person:
Senior Vice President Marketing & Sales, Head of Strategic Production Management Markus Gros
E-mail: markus.gros@btc-embedded.com
Phone: +49 152 56474535
BTC EmbeddedTester BASE
BTC EmbeddedTester BASE is an ISO 26262 certified tool for creating, managing and executing test cases on model and code level (MIL/SIL/PIL).
Features like the tight integration with your development environment (Matlab/Simulink as well as Visual Studio Code), built-in connection to requirements management tools or the integrated coverage analysis make BTC EmbeddedTester BASE your one-stop solution for Requirements-based testing of models and production code.
BTC EmbeddedTester
100% Completeness
0% Manual Effort
BTC EmbeddedTester is an ISO 26262 certified tool for automatic test generation and test execution.
Many use cases in embedded software development require a set of test cases which deliver 100% structural coverage of the system under test. With manually created test data, this is often impossible to achieve.
While many test solutions on the market rely on incomplete random test generation methods, BTC EmbeddedTester uses a unique “model checking” approach to generate mathematically complete structural test cases for 100% coverage.
Our test generator accesses all input variables and calibration parameters, which allows the user to detect issues that have not yet been revealed by functional test cases.
BTC EmbeddedSpecifier
What if your computer could understand your requirements?
BTC EmbeddedSpecifier allows you to create and manage semi-formal and formal requirements for safety-critical projects.
While a semi-formal and formal notation of requirements is recommended in standards like ISO 26262 and IEC 61508, reading and writing most formal notation languages require a high level of expert knowledge. BTC EmbeddedSpecifier provides you with an intuitive graphical method to derive comprehensive formal requirements from natural language without expert knowledge.
BTC EmbeddedValidator
More than Testing
BTC EmbeddedValidator is a tool for formally verifying safety-critical requirements.
In modern embedded development projects, the number of possible value combinations of input signals and calibrations easily explodes towards infinity. Even with a large number of test cases, it becomes impossible to cover all potential paths through the software logic. In other words, one very important question still remains unanswered, even after rigorous testing: “Can my safety requirements be violated?”
BTC EmbeddedValidator uses model checking technology to automatically prove that a given requirement cannot be violated by your software. In other words– there is no combination of input signals and calibration values that could ever drive the system to the unsafe state we’re interested in.
