Towards Linux based safety systems—A statistical approach for software execution path coverage

Journal of Systems Architecture

Volumn 116, Issue , 2021, Pages

  Allende, Imanol ^a   Mc Guire, Nicholas ^b   Perez, Jon ^a   Monsalve, Lisandro G ^a   Obermaisser, Roman ^c  

^a BASQUE RESEARCH AND TECHNOLOGY ALLIANCE BRTA   (Spain)

^b OpenTech EDV Research GmbH   (Austria)

^c UNIVERSITY OF SIEGEN   (Germany)

Author keywords

Complex systems; Linux; Path coverage; Safety; Uncertainty

Indexed keywords

ACCIDENT PREVENTION; UNCERTAINTY ANALYSIS;

PERFORMANCE REQUIREMENTS; RESEARCH INITIATIVES; SAFETY-RELATED SYSTEMS; SOFTWARE COMPLEXITY; SOFTWARE EXECUTION; STATISTICAL ANALYSIS METHODS; STATISTICAL APPROACH; UNCERTAINTY ESTIMATION;

LINUX;

EID: 85100677227     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.sysarc.2021.102047     Document Type: Article

References (31)

1. Platschek, Andreas, Mc Guire, Nicholas, Bulwahn, Lukas, Certifying linux: Lessons learned in three years of SIL2linuxmp. 2018.
2. I. Allende, N. Mc Guire, J. Perez, L. G. Monsalve, N. Uriarte, Obermaisser R., Towards Linux for the development of mixed-criticality embedded systems based on multi-core devices, in: 15th European Dependable Computing Conference, EDCC, 2019, pp. 47–54.
3. Enabling linux in safety applications (ELISA). 2020 Available: https://elisa.tech/, (Online).
4. contributors, Open Source Automation Development Lab, SIL2linuxmp: OSADL - open source automation development lab eg. 2019 Available: http://www.osadl.org/SIL2LinuxMP.sil2-linux-project.0.html, (Online).
5. Nicholas Mc Guire, Peter Okech, Georg Schiesser, Analysis of inherent randomness of the Linux kernel, in: Proc. 11th Real-Time Linux Workshop, 2009.
6. Okech, Peter, Mc Guire, Nicholas, Fetzer, Christof, Utilizing inherent diversity in complex software systems. Proc. of the Australian System Safety Conference, ASSC2014, 2014, Australian Computer Society, Inc.
7. Avizienis, Algirdas, Laprie, J-C, Randell, Brian, Landwehr, Carl, Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1:1 (2004), 11–33.
8. IEC, IEC 61508 (1-7): Functional safety of Electrical/Electronic/Programmable Electronic safety-related systems (Second edition). 2010, International Electrotechnical Commission.
9. Perez Cerrolaza, Jon, Obermaisser, Roman, Abella Ferrer, Jaume, Cazorla Almeida, Francisco Javier, Grüttner, Kim, Agirre, Irune, Ahmadian, Hamidreza, Allende, Imanol, Multi-core devices for safety-critical systems: A survey. ACM Comput. Surv., 53(4), 2020.
10. Perez, J., Gonzalez, D., Trujillo, S., Trapman, A., A safety concept for an IEC 61508 compliant fail-safe wind power mixed-criticality embedded system based on multi-core partitioning. de la Puente, Juan Antonio, Vardanega, Tullio, (eds.) Reliable Software Technologies – ADA - Europe Lecture Notes in Computer Science, vol. 9111, 2015, Springer International Publishing, 3–17.
11. Ahmadian, H., Obermaisser, R., Perez, J., Distributed Real-Time Architecture for Mixed-Criticality Systems. 2018, Taylor & Francis Incorporated.
12. Martinez, I., Bower, G., Chauvel, F., Haugen, Ø., Heinen, R., Klaes, G., Larrucea Ortube, A., Nicolas, C.F., Onaindia, P., Pankhania, K., Perez, J., Vasilevski, A., Safety certification of mixed-criticality systems. Hamidreza, Ahmadian, Obermaisser, Roman, Perez, Jon, (eds.) Distributed Real-Time Architecture for Mixed-Criticality Systems, 2018, CRC Press.
13. Fawcett, Dr. Lee, Lecture notes in Statistics course. 2013, Newcastle University.
14. Hosking, Jonathan RM, L-moments: Analysis and estimation of distributions using linear combinations of order statistics. J. R. Stat. Soc. Ser. B Stat. Methodol. 52:1 (1990), 105–124.
15. Legler, J, Roback, P, Broaden your statistical horizons: generalized linear models and multilevel models. 2015.
16. Hilbe, Joseph M, Modeling Count Data. 2014, Cambridge University Press.
17. Ftrace. 2017 (Online), Available: https://www.kernel.org/doc/Documentation/trace/ftrace.txt.
18. Hernandez, Carles, Flieh, Jose, Paredes, Roberto, Lefebvre, Charles-Alexis, Allende, Imanol, Abella, Jaume, Trillin, David, Matschnig, Martin, Fischer, Bernhard, Schwarz, Konrad, et al. SELENE: Self-monitored dependable platform for high-performance safety-critical systems. 2020 23rd Euromicro Conference on Digital System Design, DSD, 2020, IEEE, 370–377.
19. elisa-tech, workgroups, GitHub, Available: https://github.com/elisa-tech/workgroups, (Online).
20. Okech, Peter, Guire, Nicholas Mc, Okelo-Odongo, William, Inherent diversity in replicated architectures. 2015 arXiv preprint arXiv:1510.02086.
21. Okech, Peter, Mc Guire, Nicholas, Fetzer, Christof, Okelo-Odongo, William, Investigating execution path non-determinism in the linux kernel. Proc. 14th Real-Time Linux Workshop, 2013, OSADL, Lugano.
22. Cazorla, F.J., Kosmidis, L., Mezzetti, E., Hernandez, C., Abella, J., Vardanega, T., Probabilistic worst-case timing analysis: Taxonomy and comprehensive survey. ACM Comput. Surv. 52:1 (2019), 14:1–14:35.
23. I. Agirre, M. Azkarate-Askasua, A. Larrucea, J. Perez, T. Vardanega, F.J. Cazorla, A safety concept for a railway mixed-criticality embedded system based on multicore partitioning, in: IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing, CIT/IUCC/DASC/PICom, 2015, pp. 1780–1787.
24. Ljung, Greta, Box, G., On a measure of lack of fit in time series models. Biometrika, 65, 1978.
25. Jr., Frank J. Massey, The Kolmogorov-Smirnov test for goodness of fit. J. Amer. Statist. Assoc. 46:253 (1951), 68–78.
26. Downey, Allen, Think Bayes: Bayesian Statistics in Python. 2013, O'Reilly Media, Inc.
27. The Linux Foundation, Hackbench, Available: https://wiki.linuxfoundation.org/realtime/documentation/howto/tools/hackbench?s=hackbench, (Online).
28. James, Gareth, Witten, Daniela, Hastie, Trevor, Tibshirani, Robert, An Introduction to Statistical Learning, Vol. 112. 2013, Springer.
29. Qin, Feilong, Liu, Bingli, Guo, Ke, Using EVT for geological anomaly design and its application in identifying anomalies in mining areas. Math. Probl. Eng., 2016, 2016.
30. Ghorbel, Ahmed, Trabelsi, Abdelwahed, Measure of financial risk using conditional extreme value copulas with EVT margins. J. Risk, 11(4), 2009, 51.
31. Thomas, Maud, Lemaitre, Magali, Wilson, Mark L, Viboud, Cécile, Yordanov, Youri, Wackernagel, Hans, Carrat, Fabrice, Applications of extreme value theory in public health. PLoS One, 11(7), 2016, e0159312.