Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems

The obvious growth of complexity in embedded and cyber physical systems requires from developers to be innovative in the way they carry out the verification process. To increase the amount of information available from a system, software instrumentation has been previously used in these domains, therefore solving the problem of observability. In addition, as this kind of systems tends to be increasingly involved in safety critical and dependable applications, ensuring reliability properties must also be considered as a part of the verification process. In this paper, the system observability problem is initially being introduced. Then, as a solution to overcome the previous limitation, instrumentation is being explored. To address the verification concerns of resilient systems, a three components model is designed, the latter explicitly defining degradation and compensation models to capture the resiliency routine. Finally, to conclude the models definition, a handful number of LTL properties are identified and discussed.