Blog
- Inhouse applications and solutions have their own appeal.
- But they also bring some challenges like maintainability and tool qualification.
- In the long-run, industry standard tools are often the better choice.
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?
Advanced requirements-based testing enhanced by formal methods
Formal Test BASE Package provides feature set which enables requirement coverage measurement and automatic verdict computation based on Formal Requirements.
You do not need to spend tremendous amount of time and effort for writing expected output values to test cases anymore. Formal Test automates verdict computation in a requirement-based testing use case. As formal requirement is machine-readabile repsesentation, BTC EmbeddedPlatform understands the requirement and tells you if a execution record fulfills or violates a formal requirement.
Formal Test is applicable not only to SL-MIL, TL-MIL, SIL and PIL executed on BTC EmbeddedPlatform, but also to externally execution records exported from thild party tools.
Execution Records imported from external simulation environment (CSV, MDF)
RTT-Observer technology has been developed by BTC Embedded Systems and dSPACE. The technology enables enhancement of dSPACE VEOS and HIL Test by real time Formal Test.
This addon exports “watchdogs” so-called RTT-Observers (Real Time Testing Observer) out of existing Formal Requirements. Each Requirement Observer keeps watching dSPACE HIL/VEOS simulation and reports whether the corresponding Formal Requirement is fulfilled or not in real time.
Due to the parallel execution of the RTT-Observers and dSPACE HIL system/VEOS, the test effort remains mostly unchanged whereas the test depth dramatically increases based on the continuous validation of all tests against all requirements. Moreover, the high degree of integration into dSPACE products like ControlDesk Next Generation and AutomationDesk enables a comfortable and efficient way of using requirement observers in different projects.
NOTE: dSPACE Real Time Testing (RTT) Observer Library is required for the solution.
Read more on www.dspace.com
BTC EmbeddedPlatform has been certified by German TÜV SÜD as fit for usage in safety critical software development projects.
The certificate addresses different standards including IEC 61508-3:3010, ISO 26262, EN 50128, IEC 62304 as well as ISO 25119.
For the automotive standard ISO 26262, we have been certified with the highest tool confidence level TCL and the certificate is valid for all ASIL levels including ASIL D.
We provide the certificate and the corresponding report to our customers free of charge upon request, which almost eliminates any effort for tool qualification measures on the customer side.
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.
Formal Test BASE Package + Automatic Test Generation.
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
