Play now
Play Video
Play now
Play Video
Close
How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
The power of proof for safety-critical systems
Even with a large number of test cases, it is impossible to cover all potential paths through your software. In other words, one very important question still remains unanswered, even after rigorous testing: “Can my safety requirements be violated?”
Thanks to our unique model checking technology you can obtain a mathematical proof 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.
BTC Embedded Systems pioneered integrating model checking technology with commercial software tools. Delivering this highly automated technology to industry professionals helps our customers significantly increase the efficiency and quality of embedded development projects.
The purpose of a model checker is to extensively anlyze the system behavior against a particular temporal property to automatically determine whether or not this property holds. If it does not hold, the model checker returns a concrete counterexample explicitly showing how to violate the corresponding property. As compared to traditional testing, the model checker analyzes all possible runs of the system with the push of a button and delivers complete mathematical proof of the dynamic behavior of the system. The generation of a counterexample distinguishes model checking from other automated anlysis methods such as abstract interpretation.
BTC EmbeddedPlatform supports “Hierarchical approach” which makes test and verification (incl. Automatic Test Generation, Formal Verification) more efficient & effective especially when working with large software.
You can test/verify child subsystems without additional effort. After the testing/verification, aggregated reports are automatically generated.
BTC EmbeddedPlatform includes a unique debugging approach by generating self-contained sandboxes. These sandboxes contain a copy of the system-under-test as well as the test case incl. the corresponding calibration values. Depending on the use case, this sandbox can either be a Simulink model, a Microsoft Visual Studio project file or a generic code-based sandbox for other IDEs. These sandboxes can be easily shared with colleagues or customers and make it easy to try out modifications without harming the original files.
With m-API and/or REST-API, you are able to run your verification workflows completely automatically. Fully automated Formal Verification can be executed sequentially without user interaction.
With an off-the-shelf support for Continuous Integration/Continuous Deployment such as Jenkins, a powerful and flexible REST API and the availability of a Linux-based container image, BTC EmbeddedPlatform is ready for all your future test automation needs, on your own servers or even in the cloud.
If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.
Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.
If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.
Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.
Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.
The power of proof for safety-critical systems
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.
Copyright © 2024 BTC Embedded Systems & BTC Japan
