{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T01:23:17Z","timestamp":1767921797012,"version":"3.49.0"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T00:00:00Z","timestamp":1610064000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T00:00:00Z","timestamp":1610064000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"TU Wien"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2021,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS models combine continuous and discrete dynamics\u2014a fault in a physical component manifests itself in a very different way than a fault in a state machine. Furthermore, faults can propagate both in time and space before they can be detected at the observable interface of the model. As a consequence, explaining the reason of an observed failure is challenging and often requires domain-specific knowledge. In this paper, we propose approach, a novel CPSDebug that combines testing, specification mining, and failure analysis, to automatically explain failures in Simulink\/Stateflow models. In particular, we address the hybrid nature of CPS models by using different methods to infer properties from continuous and discrete state variables of the model. We evaluate CPSDebug on two case studies, involving two main scenarios and several classes of faults, demonstrating the potential value of our approach.<\/jats:p>","DOI":"10.1007\/s10009-020-00599-4","type":"journal-article","created":{"date-parts":[[2021,1,8]],"date-time":"2021-01-08T15:03:19Z","timestamp":1610118199000},"page":"783-796","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["CPSDebug: Automatic failure explanation in CPS models"],"prefix":"10.1007","volume":"23","author":[{"given":"Ezio","family":"Bartocci","sequence":"first","affiliation":[]},{"given":"Niveditha","family":"Manjunath","sequence":"additional","affiliation":[]},{"given":"Leonardo","family":"Mariani","sequence":"additional","affiliation":[]},{"given":"Cristinel","family":"Mateis","sequence":"additional","affiliation":[]},{"given":"Dejan","family":"Ni\u010dkovi\u0107","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,8]]},"reference":[{"key":"599_CR1","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: Testing: Academic and Industrial Conference Practice and Research Techniques, pp. 89\u201398. IEEE (2007)","DOI":"10.1109\/TAIC.PART.2007.13"},{"key":"599_CR2","doi-asserted-by":"crossref","unstructured":"Annapureddy, Y., Liu, C., Fainekos, G.E., Sankaranarayanan, S.: S-TaLiRo: A tool for temporal logic falsification for hybrid systems. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 6605 of LNCS, pp. 254\u2013257. Springer (2011)","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"599_CR3","doi-asserted-by":"crossref","unstructured":"Babenko, A., Mariani, L., Pastore, F.: AVA: Automated interpretation of dynamically detected anomalies. In: Proceedings of ISSTA 2009: International Symposium on Software Testing and Analysis, pp. 237\u2013248. ACM (2009)","DOI":"10.1145\/1572272.1572300"},{"key":"599_CR4","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Deshmukh, J.V., Donz\u00e9, A., Fainekos, G.E., Maler, O., Nickovic, D., Sankaranarayanan, S.: Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications. In: Lectures on Runtime Verification\u2014Introductory and Advanced Topics, volume 10457 of LNCS, pp. 135\u2013175. Springer (2018)","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"599_CR5","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Ferr\u00e8re, T., Manjunath, N., Nickovic, D.: Localizing faults in Simulink\/Stateflow models with STL. In: Proceedings of HSCC 2018: the 21st International Conference on Hybrid Systems: Computation and Control, pp. 197\u2013206. ACM (2018)","DOI":"10.1145\/3178126.3178131"},{"key":"599_CR6","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., Nickovic, D.: Automatic failure explanation in CPS models. In: Proceedings of SEFM 2019: the 17th International Conference on Software Engineering and Formal Methods, volume 11724 of LNCS, pp. 69\u201386. Springer (2019)","DOI":"10.1007\/978-3-030-30446-1_4"},{"issue":"1\u20132","key":"599_CR7","first-page":"1","volume":"49","author":"MT Befrouei","year":"2016","unstructured":"Befrouei, M.T., Wang, C., Weissenbacher, G.: Abstraction and mining of traces to explain concurrency bugs. Formal Methods Syst. Des. 49(1\u20132), 1\u201332 (2016)","journal-title":"Formal Methods Syst. Des."},{"issue":"6","key":"599_CR8","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TC.1972.5009015","volume":"21","author":"AW Biermann","year":"1972","unstructured":"Biermann, A.W., Feldman, J.A.: On the synthesis of finite-state machines from samples of their behavior. IEEE Trans. Comput. 21(6), 592\u2013597 (1972)","journal-title":"IEEE Trans. Comput."},{"key":"599_CR9","doi-asserted-by":"crossref","unstructured":"Deshmukh, J.V.., Jin, X., Majumdar, R., Prabhu, V.S.: Parameter optimization in control software using statistical fault localization techniques. In: Proceedings of ICCPS 2018: the 9th ACM\/IEEE International Conference on Cyber-Physical Systems, pp. 220\u2013231. IEEE Computer Society\/ACM (2018)","DOI":"10.1109\/ICCPS.2018.00029"},{"key":"599_CR10","doi-asserted-by":"crossref","unstructured":"Ding, M., Chen, H., Sharma, A., Yoshihira, K., Jiang, G.: A data analytic engine towards self-management of cyber-physical systems. In: Proceedings of the IEEE 33rd International Conference on Distributed Computing Workshop, pp. 303\u2013308. IEEE Computer Society (2013)","DOI":"10.1109\/ICDCSW.2013.45"},{"key":"599_CR11","doi-asserted-by":"crossref","unstructured":"Diwakaran, R.D., Sankaranarayanan, S., Trivedi, A.: Analyzing neighborhoods of falsifying traces in cyber-physical systems. In: Proceedings of ICCPS 2017: the 8th International Conference on Cyber-Physical Systems, pp. 109\u2013119. ACM (2017)","DOI":"10.1145\/3055004.3055029"},{"issue":"1\u20133","key":"599_CR12","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"M Ernst","year":"2007","unstructured":"Ernst, M., Perkins, J., Guo, P., McCamant, S., Pacheco, C., Tschantz, M., Xiao, C.: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1\u20133), 35\u201345 (2007)","journal-title":"Sci. Comput. Program."},{"key":"599_CR13","doi-asserted-by":"crossref","unstructured":"Ferr\u00e8re, T., Maler, O., Nickovic, D.: Trace diagnostics using temporal implicants. In: International Symposium on Automated Technology for Verification and Analysis, volume 9364 of LNCS, pp. 241\u2013258. Springer (2015)","DOI":"10.1007\/978-3-319-24953-7_20"},{"key":"599_CR14","doi-asserted-by":"crossref","unstructured":"Ghidella, J., Mosterman, P.: Requirements-based testing in aircraft control design. In: AIAA Modeling and Simulation Technologies Conference and Exhibit, pp. 5886 (2005)","DOI":"10.2514\/6.2005-5886"},{"key":"599_CR15","series-title":"Springer Series in Statistics","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-84858-7","volume-title":"The Elements of Statistical Learning: Data Mining, Inference, and Prediction","author":"T Hastie","year":"2009","unstructured":"Hastie, T., Tibshirani, R., Friedman, J.H.: The Elements of Statistical Learning: Data Mining, Inference, and Prediction. Springer Series in Statistics, 2nd edn. Springer, Berlin (2009)","edition":"2"},{"key":"599_CR16","unstructured":"Hoxha, B., Abbas, H., Fainekos, G.E.: Benchmarks for temporal logic requirements for automotive systems. In: International Workshop on Applied veRification for Continuous and Hybrid Systems, volume\u00a034 of EPiC Series in Computing, pp. 25\u201330. EasyChair (2015)"},{"key":"599_CR17","doi-asserted-by":"crossref","unstructured":"Johnson, T.T., Bak, S., Drager, S.: Cyber-physical specification mismatch identification with dynamic analysis. In: Proceedings of ICCPS 2015: the ACM\/IEEE Sixth International Conference on Cyber-Physical Systems, pp. 208\u2013217. ACM (2015)","DOI":"10.1145\/2735960.2735979"},{"key":"599_CR18","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: Proceedings of ISORC2008: the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 363\u2013369. IEEE Computer Society (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"599_CR19","doi-asserted-by":"crossref","unstructured":"Liu, B., Nejati, S., Briand, L.C.: Improving fault localization for Simulink models using search-based testing and prediction models. In: Proceedings of SANER 2017: the IEEE 24th International Conference on Software Analysis, Evolution and Reengineering, pp. 359\u2013370. IEEE Computer Society (2017)","DOI":"10.1109\/SANER.2017.7884636"},{"key":"599_CR20","doi-asserted-by":"crossref","unstructured":"Liu, B., Nejati, S., Briand, L.C., Bruckmann, T.: Localizing multiple faults in Simulink models. In: Proceedings of SANER 2016: the IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, pp. 146\u2013156. IEEE Computer Society (2016)","DOI":"10.1109\/SANER.2016.38"},{"issue":"6","key":"599_CR21","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1002\/stvr.1605","volume":"26","author":"B Liu","year":"2016","unstructured":"Liu, B., Nejati, S., Briand, L.C., Bruckmann, T.: Simulink fault localization: an iterative statistical debugging approach. Softw. Test. Verif. Reliab. 26(6), 431\u2013459 (2016)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"3","key":"599_CR22","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10009-012-0247-9","volume":"15","author":"O Maler","year":"2013","unstructured":"Maler, O., Nickovic, D.: Monitoring properties of analog and mixed-signal circuits. STTT 15(3), 247\u2013268 (2013)","journal-title":"STTT"},{"key":"599_CR23","doi-asserted-by":"crossref","unstructured":"Maler, O., Ni\u010dkovi\u0107, D.: Monitoring temporal properties of continuous signals. In: Joint International Conferences on Formal Modelling and Analysis of Timed Systems, and Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 3253 of LNCS, pp. 152\u2013166. Springer (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"issue":"4","key":"599_CR24","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1109\/TSE.2010.93","volume":"37","author":"L Mariani","year":"2011","unstructured":"Mariani, L., Pastore, F., Pezz\u00e8, M.: Dynamic analysis for diagnosing integration faults. IEEE Trans. Softw. Eng. (TSE) 37(4), 486\u2013508 (2011)","journal-title":"IEEE Trans. Softw. Eng. (TSE)"},{"key":"599_CR25","doi-asserted-by":"crossref","unstructured":"Nghiem, T., Sankaranarayanan, S., Fainekos, G.E., Ivancic, F., Gupta, A., Pappas, G.J.: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. In: Proceedings of HSCC 2010: the 13th International Conference on Hybrid Systems: Computation and Control, pp. 211\u2013220 (2010)","DOI":"10.1145\/1755952.1755983"},{"issue":"4","key":"599_CR26","first-page":"23:1","volume":"2","author":"LV Nguyen","year":"2018","unstructured":"Nguyen, L.V., Hoque, K.A., Bak, S., Drager, S., Johnson, T.T.: Cyber-physical specification mismatches. TCPS 2(4), 23:1\u201323:26 (2018)","journal-title":"TCPS"},{"key":"599_CR27","doi-asserted-by":"crossref","unstructured":"Pastore, F., Mariani, L., Hyv\u00e4rinen, A.E.J., Fedyukovich, G., Sharygina, N., Sehestedt, S., Muhammad, A.: Verification-aided regression testing. In: Proceedings of ISSTA 2014: International Symposium on Software Testing and Analysis, pp. 37\u201348 (2014)","DOI":"10.1145\/2610384.2610387"},{"key":"599_CR28","doi-asserted-by":"crossref","unstructured":"Pastore, F., Micucci, D., Mariani, L.: Timed k-Tail: Automatic inference of timed automata. In: Proceedings of ICST 2017: the International Conference on Software Testing, Verification and Validation, pp. 401\u2013411. IEEE Computer Society (2017)","DOI":"10.1109\/ICST.2017.43"},{"key":"599_CR29","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S., Fainekos, G.E.: Falsification of temporal properties of hybrid systems using the cross-entropy method. In: Proceedings of HSCC 2012: the 15th International Conference on Hybrid Systems: Computation and Control, pp. 125\u2013134. ACM (2012)","DOI":"10.1145\/2185632.2185653"},{"key":"599_CR30","doi-asserted-by":"crossref","unstructured":"Sharma, A.B., Chen, H., Ding, M., Yoshihira, K., Jiang, G.: Fault detection and localization in distributed systems using invariant relationships. In: Proceedings of DSN 2013: the 2013 43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, pp. 1\u20138. IEEE Computer Society (2013)","DOI":"10.1109\/DSN.2013.6575304"},{"issue":"8","key":"599_CR31","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1109\/TSE.2016.2521368","volume":"42","author":"WE Wong","year":"2016","unstructured":"Wong, W.E., Gao, R., Li, Y., Abreu, R., Wotawa, F.: A survey on software fault localization. IEEE Trans. Software Eng. 42(8), 707\u2013740 (2016)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00599-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-020-00599-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00599-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T12:06:09Z","timestamp":1637928369000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-020-00599-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,8]]},"references-count":31,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["599"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00599-4","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,8]]},"assertion":[{"value":"1 December 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 January 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}