Category: Dissemination

Modified condition/decision coverage (MC/DC) is a coverage criterion that is required for the certification of safety-critical software-systems used in the avionics industry. Due to a limitation in size of traces which becomes unfeasible very quickly, an online approach is proposed to measure MC/DC using COEMS FPGA hardware to reconstruct the trace and calculate the MC/DC information. It combines current research on online trace reconstruction with online monitoring of trace information. To satisfy MC/DC, the following criteria need to be fulfilled: every point of entry and exit in the program should be invoked at least once every basic condition in a