Konferenzen und Rahmenprogramm
Non-intrusive Software Coverage Estimation for Safety-Critical System Certification
Proof of functional safety requires the collection of structural coverage information to confirm that the structural coverage is appropriate for the software level. A new trace-based observation methodology provides the key means to gain a non-intrusive insight into the execution of production code for multi-core SoCs. To cope with the enormous bandwidth of the produced trace data we have automated the analysis of the trace data on-the-fly. We enable the automated detection of raising timing constraints and the certification of test coverage. Most importantly, these structural tests are executed on the basis of the production code without the need for software instrumentation. The presentation provides an overview of the applicable functional safety standards, explains the advantages of executing structural tests even at higher test levels, and gives practical hints for hardware and software architecture considerations for providing best observability for executing structural tests.
--- Datum: 26.02.2020 Uhrzeit: 14:00 - 14:30 Uhr Ort: Conference Counter NCC Ost