For a better experience on dSPACE.com, enable JavaScript in your browser. Thank you!

Webinar Recording: From Textual Requirements to Requirement Observers

November 8, 2016

In this webinar recording dSPACE and BTC demonstrate how to use the dSPACE RTT Observer Library and the BTC Embedded Specifier to generate executable requirement observers from informal textual requirements and run them on dSPACE platforms.

Instructors: Hartmut Jürgens, Product Manager for Test Automation Tools at dSPACE, Marco Lucht, Pilot Engineer at BTC

Target Group: Test engineers and test managers involved in requirements-based HIL testing of safety-critical functions according to ISO26262.

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.

Notez s'il vous plaît

Seules les personnes inscrites peuvent visionner cette vidéo. Si vous avez déjà créé votre compte mydSPACE, merci de vous connecter avec votre identifiant mydSPACE et votre mot de passe afin de voir cette vidéo. Si vous n’êtes pas encore inscrit, merci d’utiliser le lien ci-dessous pour vous enregistrer.

Formulaire d’inscription

Sujets apparentés