dSPACE (Wixom, MI) and BTC Embedded Systems (Oldenburg, Germany) offer a solution that improves test depth for the real-time validation of safety-critical applications with extension of classical test methods, easier compliance with safety standards and optimal integration and cross-platform use. 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. For example, formal verification is recommended by the ISO 26262 standard for testing the functional safety of road vehicles. The new solution complements existing model-in-the-loop, software-in-the-loop and hardware-in-the-loop environments by so-called “requirement observers,” which are always active and monitor the compliance with every 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. For more information, visit www.dspaceinc.com.