Towards Linux based safety systems—A statistical approach for software execution path coverage
Allende, I., Mc Guire, N., Perez, J., Monsalve, L.G., Obermaisser, R.
Journal of Systems Architecture
Several industrial domains are currently developing innovative safety-related autonomous systems characterized by increasing software complexity and high-performance requirements. Due to these features, different research initiatives aim to pave the way towards the usage of Linux for the development of such complex safety-related systems. However, the high execution path variability of the Linux kernel challenges test coverage-based verification, Highly Recommended (HR) technique by safety standards. This research describes a novel statistical analysis method for Linux kernel execution path coverage quantification, which includes the uncertainty estimation of the software execution. The method is applied to a simple, but reproducible case study, and the results of which are analyzed and explained.