Evolutionary Safety Testing of Embedded Control Software by Automatically Generating Compact Test Data Sequences


Whereas the verification of non-safety-related, embedded software typically focuses on demonstrating that the implementation fulfills its functional requirements, this is not sufficient for safety-relevant systems. In this case, the control software must also meet application-specific safety requirements. Safety requirements typically arise from the… (More)

14 Figures and Tables


  • Presentations referencing similar topics