Press Release: More testing depth for safety-critical applications

dSPACE and BTC Embedded Systems now provide a new solution for real-time validation of safety-critial applications that allows to dramatically increases the testing depth. The combinition of the new dSPACE Real-Time Testing (RTT) Observer Library and the well-known specification tool BTC EmbeddedSpecifier allows testers to run a simulation-based formal verification in an easy way.

Read the full press release here:
https://www.dspace.com/en/pub/home/news/dspace_pressroom/press/pr_rttobserverlib.cfm