Test depth of safety-critical applications increased

July 14, 2016 // By Christoph Hammerschmidt
Development tool vendor dSpace and validation expert BTC Embedded Systems have developed a solution that improves the test depth for the real-time validation of safety-critical applications. The combination of the new dSpace Real-Time Testing (RTT) Observer Library and the proven specification tool BTC EmbeddedSpecifier makes it easier for testers to perform simulation-based formal verification. Formal verification is recommended, among others, by the ISO 26262 standard for testing functional safety of road vehicles.

The new solution complements existing model-in-the-loop (MIL), software-in-the-loop (SIL) and hardware-in-the-loop (HIL) environments by so-called “Requirement observers”. These are always active and monitor the compliance with every safety requirement in real time. Any violation of the requirements is registered, triggering a n informing message for the user. Continuous requirements monitoring increases the achieved test depth, so more test cases can be covered for each function. This minimizes the risk of undetected errors caused by side effects.

With BTC EmbeddedSpecifier, informal requirements typically recorded in textual format can be conveniently translated to a formal representation that makes it possible for a computer to interpret the requirements. The tool-supported formulation further increases the quality of the requirements and makes it easier to comply with safety standards such as ISO 26262. In a second step, users generate the executable observers for the dSpace real-time platform automatically at the click of a button. The requirements can be traced back to their original form at any time. Validating safety-critical applications is therefore possible with only little additional effort.

The seamless integration of the observer technology into the dSpace tool chain for HIL tests and virtual validation lets users work comfortably in a familiar environment. Predefined templates are available for the test automation software dSpace AutomationDesk and layouts for the experiment software dSpace ControlDesk. The generated observers can be used for an early verification in line with the virtual validation on the PC-based simulation platform dSpace VEOS . They can also be reused without any modifications at all on dSpace HIL systems based on SCALEXIO or the DS1006 Processor Board.

More information:  https://www.dspace.com/en/pub/home.cfm