Veröffentlicht am 15. September 2016.

Webinar: From Textual Requirements to Requirement Observers

November 8/9, 2016

In this free webinar dSPACE and BTC will demonstrate how to use the dSPACE RTT Observer Library and BTC Embedded Specifier to generate executable requirement observers from informal textual requirements and run them on dSPACE platforms. The new solution by dSPACE and BTC for the simulation-based formal verification of safety-critical ECU functions offers new options in ECU testing. With the Real-Time Testing (RTT) Observer Library, you can run requirement observers on dSPACE platforms that were generated with the BTC EmbeddedSpecifier®. This lets you validate safety-critical requirements through continuous monitoring.
In this webinar you will learn how to:

You can learn more about this solution in our products section.

 

Update: A recording of this webinar is available here.