1. Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems Armin Wellig2David Lawrence1 Didier Buchs1 1 University of Geneva 2 Honeywell International…