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:
- Translate informal textual requirements to a formal representation that enables a computer to interpret the requirements.
- Generate requirement observers for dSPACE real-time platforms.
- Run requirement observers and trace their states with dSPACE AutomationDesk and dSPACE ControlDesk®.
- Reuse requirement observers on different dSPACE platforms.
You can learn more about this solution in our product section.
Update: A recording of this webinar is available here.