BTC Requirement Observers

The increasing size and complexity of embedded software combined with a growing number of safety critical applications is currently leading to some significant changes in the approach for system tests. Especially in areas like autonomous driving or car-to-X communication, we can see two important trends: A huge amount of (virtual) test drive miles combined with complex test scenarios that often don’t allow a one-to-one mapping to a particular requirement. This situation brings new challenges regarding the assessment of the test data.

BTC EmbeddedSpecifier together with the dSPACE “RTT Observer Library” provides an efficient and integrated solution for the generation and execution of “requirement observers.” These watchdogs can be created in an intuitive step-by-step approach using BTC EmbeddedSpecifier to transform natural language requirements into a machine-readable formal representation. Afterward, you can use them to constantly validate the status of each requirement in real-time, e.g. during a Hardware-in-the-Loop (HIL) simulation.