search icon
email icon
rrss gif icons
twitter icon
linkedin icon youtube icon

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. 

DOI / link

close overlay