dSPACE and BTC Embedded Systems offer more test depth for safety-critical applications

dSPACE and BTC Cooperate for Real-Time Validation  

• Extension of classical test methods
• Easier compliance with safety standards
• Optimal integration and cross-platform use

dSPACE and BTC Embedded Systems now offer a solution that considerably improves test depth for the real-time validation of safety-critical applications. The combination of the new dSPACE Real-Time Testing (RTT) Observer Library and the tried-and-tested specification tool BTC EmbeddedSpecifier ^® makes it easier for testers to perform simulation-based formal verification. Formal verification is for example recommended by the ISO 26262 standard for testing the functional safety of road vehicles.  

Extension of Classical Test Methods 

The new solution complements existing model-in-the-loop (MIL), software-in-the-loop (SIL) and hardware-in-the-loop (HIL) environments by so-called “Requirement observers”. They are always active and monitor the compliance with every single safety requirement in real time. Any violation of the requirements is registered immediately, triggering an informative message for the user. Continuous requirements monitoring increases the achieved test depth, so more test cases can be covered for each function. This minimizes the risk of undetected errors caused by side effects.

Learn more by downloading the product information page below