A Machine Learning Approach for Quantifying the Design Error Propagation in Safety Critical Software System

References

• B. O’Connor, “NASA software safety guidebook,” NASA Technical Standard NASA-GB-8719.13, 2004.
   Google Scholar
• R. Rana, M. Staron, C. Berger, J. Hansson, M. Nilsson, and F. Törner, “ Improving fault injection in automotive model based development using fault bypass modeling,” in INFORMATIK 2013 - Informatik angepasst an Mensch, Organisation und Umwelt, M. Horbach, Ed. Bonn: Gesellschaft für Informatik e.V., 2013, pp. 2577–2591.
   Google Scholar
• E. Bringmann and A. Krämer, “Model-based testing of automotive systems,” in 2008 1st international conference on software testing, verification, and validation. IEEE, 2008, pp. 485–493.
   Google Scholar
• A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr, “Basic concepts and taxonomy of dependable and secure computing,” IEEE Trans. Dependable Secure Comput., Vol. 1, no. 1, pp. 11–33, 2004. doi: https://doi.org/10.1109/TDSC.2004.2
   Web of Science ®Google Scholar
• R. Svenningsson, J. Vinter, H. Eriksson, and M. Törngren, “MODIFI: a model-implemented fault injection tool,” in International Conference on Computer Safety, Reliability, and Security, Berlin, Springer, 2010, pp. 210–222.
   Google Scholar
• B. Gallina, “An education-oriented ISO 26262 interpretation combined with constructive alignment,” in SPETP@ SPICE, 2015, pp. 41–48.
   Google Scholar
• I. Sommerville, “Software engineering 9th Edition,” ISBN-10137035152, 2011.
   Google Scholar
• P. H. Feiler, J. B. Goodenough, A. Gurfinkel, C. B. Weinstock, and L. Wrage, Reliability validation and improvement framework. No. CMU/SEI-2012-SR-013. Carnegie-Mellon Univ Pittsburgh Pa Software Engineering Inst, 2012.
   Google Scholar
• J. Delange and P. Feiler, “Architecture fault modeling with the AADL error-model annex,” in 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 361–368. IEEE, 2014.
   Google Scholar
• E. Darulova and V. Kuncak, On Numerical Error Propagation with Sensitivity. No. EPFL-REPORT-200132, 2014.
   Google Scholar
• D. Cotroneo, M. Grottke, R. Natella, R. Pietrantuono, and K. S. Trivedi, “Fault triggers in open-source software: An experience report,” in 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), pp. 178–187. IEEE, 2013.
   Google Scholar
• J. Alonso, M. Grottke, A. P. Nikora, and K. S. Trivedi, “An empirical investigation of fault repairs and mitigations in space mission system software,” in 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 1–8. IEEE, 2013.
   Google Scholar
• L. Gazzola, L. Mariani, F. Pastore, and M. Pezze, “An Exploratory Study of Field Failures,” in Software Reliability Engineering (ISSRE), 2017 IEEE 28th International Symposium on, pp. 67–77. IEEE, 2017.
   Google Scholar
• R. R. Lutz, and I. C. Mikulski, “Empirical analysis of safety-critical anomalies during operations,” IEEE Trans. Software Eng., Vol. 30, no. 3, pp. 172–180, 2004. doi: https://doi.org/10.1109/TSE.2004.1271171
   Google Scholar
• F. Benz, A. Hildebrandt, and S. Hack, “A dynamic program analysis to find floating-point accuracy problems,” ACM SIGPLAN Notices, Vol. 47, no. 6, pp. 453–462, 2012. doi: https://doi.org/10.1145/2345156.2254118
   Google Scholar
• D. P. Murray and T. L. Hardy, “Developing safety-critical software requirements for commercial reusable launch vehicles,” Navigation, Vol. 6, no. 16, pp. 4, 2007.
   Google Scholar
• P. H. Feiler, and J. J. Hudak, Developing AADL Models for Control Systems: Practitioner’s Guide, 2006.
   Google Scholar
• L. R. Rabiner, “A tutorial on hidden markov models and selected applications in speech recognition,” Proc. IEEE, Vol. 77, no. 2, pp. 257–286, 1989. doi: https://doi.org/10.1109/5.18626
   Web of Science ®Google Scholar
• F. Salfner, “Predicting failures with hidden Markov models,” in Proceedings of 5th European Dependable Computing Conference (EDCC-5), pp. 41–46, 2005.
   Google Scholar
• X. Wang and Q. Wang, “Modeling and simulation of automobile anti-lock braking system based on Simulink,” Journal of Advanced Manufacturing Systems, Vol. 11, no. 02, pp. 99–106, 2012. doi: https://doi.org/10.1142/S0219686712500084
   Google Scholar
• A. A. Aly, E.-S. Zeidan, A. Hamed, and F. Salem, “An antilock-braking systems (ABS) control: A technical review,” Intelligent Control and Automation, Vol. 2, no. 03, pp. 186, 2011. doi: https://doi.org/10.4236/ica.2011.23023
   Google Scholar
• Mathworks. at https://in.mathworks.com/.
   Google Scholar
• P. Popic, D. Desovski, W. Abdelmoez, and B. Cukic, “Error propagation in the reliability analysis of component based systems,” in 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05), Chicago, IL, 2005, pp. 10–62. doi: https://doi.org/10.1109/ISSRE.2005.18.
   Google Scholar
• V. Cortellessa and V. Grassi, “A modeling approach to analyze the impact of error propagation on reliability of component-based systems,” in International Symposium on Component-Based Software Engineering, pp. 140–156. Springer Berlin Heidelberg, 2007. doi:https://doi.org/10.1007/978-3-540-73551-9_10.
   Google Scholar