CPSDebug: Automatic failure explanation in CPS models
Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS models combine continuous and discrete dynamics—a 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 bef...
Uloženo v:
| Vydáno v: | International journal on software tools for technology transfer Ročník 23; číslo 5; s. 783 - 796 |
|---|---|
| Hlavní autoři: | , , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Berlin/Heidelberg
Springer Berlin Heidelberg
01.10.2021
Springer Nature B.V |
| Témata: | |
| ISSN: | 1433-2779, 1433-2787 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS models combine continuous and discrete dynamics—a 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. |
|---|---|
| AbstractList | Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS models combine continuous and discrete dynamics—a 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. |
| Author | Bartocci, Ezio Ničković, Dejan Manjunath, Niveditha Mariani, Leonardo Mateis, Cristinel |
| Author_xml | – sequence: 1 givenname: Ezio surname: Bartocci fullname: Bartocci, Ezio organization: TU Wien – sequence: 2 givenname: Niveditha surname: Manjunath fullname: Manjunath, Niveditha email: niveditha.manjunath@live.com organization: TU Wien, AIT Austrian Institute of Technology – sequence: 3 givenname: Leonardo surname: Mariani fullname: Mariani, Leonardo organization: University of Milano-Bicocca – sequence: 4 givenname: Cristinel surname: Mateis fullname: Mateis, Cristinel organization: AIT Austrian Institute of Technology – sequence: 5 givenname: Dejan surname: Ničković fullname: Ničković, Dejan organization: AIT Austrian Institute of Technology |
| BookMark | eNp9kE1LAzEQhoNUsK3-AU8LnqOTZDfZeCv1EwoK9h6S3WzZsk1qsgv6741dUfDQOcyEzPskM-8MTZx3FqFLAtcEQNzElEFioIABCilxfoKmJGcMU1GKye9ZyDM0i3ELQAQXcoqK5evbnTXD5jZbDL3f6b6tska33RBsZj_2nXbpyrusdVmSZjtf2y6eo9NGd9Fe_NQ5Wj_cr5dPePXy-LxcrHCVU9ljXRumy0JyCrUgUHJhiyKvm5SZEaahltmaCWMaIU0KXnNWcZaavNAlYXN0NT67D_59sLFXWz8El35UlAMteQ5SJFU5qqrgYwy2UVXbH4buQ1pEEVDfHqnRI5U8UgePVJ5Q-g_dh3anw-dxiI1QTGK3seFvqiPUF26eeek |
| CitedBy_id | crossref_primary_10_1109_ACCESS_2023_3246512 crossref_primary_10_1016_j_ic_2022_104957 crossref_primary_10_1007_s10664_024_10572_3 crossref_primary_10_1145_3609394 crossref_primary_10_1109_LRA_2025_3588389 crossref_primary_10_1109_TSE_2024_3428528 crossref_primary_10_1109_TASE_2023_3297984 crossref_primary_10_1007_s10009_021_00632_0 |
| Cites_doi | 10.1145/2735960.2735979 10.1016/j.scico.2007.01.015 10.1145/1572272.1572300 10.1109/ICCPS.2018.00029 10.1109/TAIC.PART.2007.13 10.1007/978-3-642-19835-9_21 10.1007/s10009-012-0247-9 10.1145/1755952.1755983 10.1109/TSE.2016.2521368 10.1007/978-3-319-75632-5_5 10.1109/ICST.2017.43 10.1145/3178126.3178131 10.1007/978-3-540-30206-3_12 10.1109/DSN.2013.6575304 10.1109/TC.1972.5009015 10.1007/978-3-030-30446-1_4 10.1109/ISORC.2008.25 10.1145/2185632.2185653 10.2514/6.2005-5886 10.1109/SANER.2017.7884636 10.1109/TSE.2010.93 10.1145/2610384.2610387 10.1007/978-3-319-24953-7_20 10.1109/SANER.2016.38 10.1007/978-0-387-84858-7 10.1002/stvr.1605 10.1109/ICDCSW.2013.45 10.1145/3055004.3055029 |
| ContentType | Journal Article |
| Copyright | The Author(s) 2020 The Author(s) 2020. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| Copyright_xml | – notice: The Author(s) 2020 – notice: The Author(s) 2020. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
| DBID | C6C AAYXX CITATION 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK 8G5 ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ GUQSH HCIFZ JQ2 K7- L6V L7M L~C L~D M0N M2O M7S MBDVC P5Z P62 PADUT PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U |
| DOI | 10.1007/s10009-020-00599-4 |
| DatabaseName | Springer Nature OA Free Journals CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) Research Library (Alumni) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials - QC ProQuest Central ProQuest Technology Collection ProQuest One ProQuest Central ProQuest Central Student ProQuest Research Library SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Research Library Engineering Database Research Library (Corporate) Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Research Library China ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic |
| DatabaseTitle | CrossRef Research Library Prep Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College Research Library (Alumni Edition) ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Research Library Research Library China ProQuest Central (New) Advanced Technologies Database with Aerospace Engineering Collection Advanced Technologies & Aerospace Collection ProQuest Computing Engineering Database ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni) |
| DatabaseTitleList | CrossRef Research Library Prep |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1433-2787 |
| EndPage | 796 |
| ExternalDocumentID | 10_1007_s10009_020_00599_4 |
| GrantInformation_xml | – fundername: TU Wien (TUW) |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 203 29J 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6NX 8AO 8FE 8FG 8FW 8G5 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS C6C CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EDO EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GUQSH GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV L6V LAS LLZTM M0N M2O M4Y M7S MA- MK~ ML~ N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PADUT PF0 PQQKQ PROAC PT4 PT5 PTHSS Q2X QOS R89 R9I RIG RNI ROL RPX RSV RZK S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7X Z7Z Z83 Z88 ZMTXR AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D MBDVC PKEHL PQEST PQUKI PRINS Q9U |
| ID | FETCH-LOGICAL-c429t-adb3a859620d710867e554dfe553b7bf2e3ed37bbf79bbbb6d63c6353b65a813 |
| IEDL.DBID | M7S |
| ISICitedReferencesCount | 20 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000606257800001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1433-2779 |
| IngestDate | Wed Nov 05 01:30:11 EST 2025 Sat Nov 29 03:07:48 EST 2025 Tue Nov 18 22:12:06 EST 2025 Fri Feb 21 02:47:39 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 5 |
| Keywords | Cyber-physical systems Failure explanation Model-based development Property mining Debugging Testing |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c429t-adb3a859620d710867e554dfe553b7bf2e3ed37bbf79bbbb6d63c6353b65a813 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| OpenAccessLink | https://link.springer.com/10.1007/s10009-020-00599-4 |
| PQID | 2602864097 |
| PQPubID | 46652 |
| PageCount | 14 |
| ParticipantIDs | proquest_journals_2602864097 crossref_citationtrail_10_1007_s10009_020_00599_4 crossref_primary_10_1007_s10009_020_00599_4 springer_journals_10_1007_s10009_020_00599_4 |
| PublicationCentury | 2000 |
| PublicationDate | 2021-10-01 |
| PublicationDateYYYYMMDD | 2021-10-01 |
| PublicationDate_xml | – month: 10 year: 2021 text: 2021-10-01 day: 01 |
| PublicationDecade | 2020 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg – name: Heidelberg |
| PublicationTitle | International journal on software tools for technology transfer |
| PublicationTitleAbbrev | Int J Softw Tools Technol Transfer |
| PublicationYear | 2021 |
| Publisher | Springer Berlin Heidelberg Springer Nature B.V |
| Publisher_xml | – name: Springer Berlin Heidelberg – name: Springer Nature B.V |
| References | 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–156. IEEE Computer Society (2016) ErnstMPerkinsJGuoPMcCamantSPachecoCTschantzMXiaoCThe Daikon system for dynamic detection of likely invariantsSci. Comput. Program.2007691–33545241257710.1016/j.scico.2007.01.015 Pastore, F., Mariani, L., Hyvärinen, 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–48 (2014) MarianiLPastoreFPezzèMDynamic analysis for diagnosing integration faultsIEEE Trans. Softw. Eng. (TSE)201137448650810.1109/TSE.2010.93 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–98. IEEE (2007) 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–86. Springer (2019) Maler, O., Ničković, 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–166. Springer (2004) 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–220 (2010) Ghidella, J., Mosterman, P.: Requirements-based testing in aircraft control design. In: AIAA Modeling and Simulation Technologies Conference and Exhibit, pp. 5886 (2005) LiuBNejatiSBriandLCBruckmannTSimulink fault localization: an iterative statistical debugging approachSoftw. Test. Verif. Reliab.201626643145910.1002/stvr.1605 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–308. IEEE Computer Society (2013) Ferrère, 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–258. Springer (2015) 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 34 of EPiC Series in Computing, pp. 25–30. EasyChair (2015) BefroueiMTWangCWeissenbacherGAbstraction and mining of traces to explain concurrency bugsFormal Methods Syst. Des.2016491–21321380.68107 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–370. IEEE Computer Society (2017) 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–231. IEEE Computer Society/ACM (2018) MalerONickovicDMonitoring properties of analog and mixed-signal circuitsSTTT201315324726810.1007/s10009-012-0247-9 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–217. ACM (2015) 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–369. IEEE Computer Society (2008) 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–248. ACM (2009) 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–119. ACM (2017) 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–411. IEEE Computer Society (2017) Bartocci, E., Ferrère, 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–206. ACM (2018) BiermannAWFeldmanJAOn the synthesis of finite-state machines from samples of their behaviorIEEE Trans. Comput.197221659259733457610.1109/TC.1972.5009015 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–257. Springer (2011) HastieTTibshiraniRFriedmanJHThe Elements of Statistical Learning: Data Mining, Inference, and Prediction20092BerlinSpringer10.1007/978-0-387-84858-7 WongWEGaoRLiYAbreuRWotawaFA survey on software fault localizationIEEE Trans. Software Eng.201642870774010.1109/TSE.2016.2521368 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–134. ACM (2012) Bartocci, E., Deshmukh, J.V., Donzé, 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—Introductory and Advanced Topics, volume 10457 of LNCS, pp. 135–175. Springer (2018) NguyenLVHoqueKABakSDragerSJohnsonTTCyber-physical specification mismatchesTCPS20182423:123:26 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–8. IEEE Computer Society (2013) 599_CR6 599_CR18 599_CR5 599_CR19 599_CR2 599_CR1 599_CR4 599_CR3 LV Nguyen (599_CR26) 2018; 2 T Hastie (599_CR15) 2009 599_CR20 M Ernst (599_CR12) 2007; 69 599_CR23 599_CR25 599_CR27 599_CR28 599_CR29 O Maler (599_CR22) 2013; 15 WE Wong (599_CR31) 2016; 42 B Liu (599_CR21) 2016; 26 L Mariani (599_CR24) 2011; 37 599_CR30 599_CR10 599_CR11 AW Biermann (599_CR8) 1972; 21 599_CR13 599_CR14 599_CR9 599_CR16 MT Befrouei (599_CR7) 2016; 49 599_CR17 |
| References_xml | – reference: 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–369. IEEE Computer Society (2008) – reference: MalerONickovicDMonitoring properties of analog and mixed-signal circuitsSTTT201315324726810.1007/s10009-012-0247-9 – reference: 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–370. IEEE Computer Society (2017) – reference: Bartocci, E., Deshmukh, J.V., Donzé, 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—Introductory and Advanced Topics, volume 10457 of LNCS, pp. 135–175. Springer (2018) – reference: 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–257. Springer (2011) – reference: 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–308. IEEE Computer Society (2013) – reference: 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–220 (2010) – reference: 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–8. IEEE Computer Society (2013) – reference: 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–248. ACM (2009) – reference: 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–119. ACM (2017) – reference: Bartocci, E., Ferrère, 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–206. ACM (2018) – reference: 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–134. ACM (2012) – reference: HastieTTibshiraniRFriedmanJHThe Elements of Statistical Learning: Data Mining, Inference, and Prediction20092BerlinSpringer10.1007/978-0-387-84858-7 – reference: Maler, O., Ničković, 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–166. Springer (2004) – reference: LiuBNejatiSBriandLCBruckmannTSimulink fault localization: an iterative statistical debugging approachSoftw. Test. Verif. Reliab.201626643145910.1002/stvr.1605 – reference: WongWEGaoRLiYAbreuRWotawaFA survey on software fault localizationIEEE Trans. Software Eng.201642870774010.1109/TSE.2016.2521368 – reference: BiermannAWFeldmanJAOn the synthesis of finite-state machines from samples of their behaviorIEEE Trans. Comput.197221659259733457610.1109/TC.1972.5009015 – reference: MarianiLPastoreFPezzèMDynamic analysis for diagnosing integration faultsIEEE Trans. Softw. Eng. (TSE)201137448650810.1109/TSE.2010.93 – reference: NguyenLVHoqueKABakSDragerSJohnsonTTCyber-physical specification mismatchesTCPS20182423:123:26 – reference: 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–411. IEEE Computer Society (2017) – reference: Pastore, F., Mariani, L., Hyvärinen, 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–48 (2014) – reference: 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–217. ACM (2015) – reference: 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–156. IEEE Computer Society (2016) – reference: Ghidella, J., Mosterman, P.: Requirements-based testing in aircraft control design. In: AIAA Modeling and Simulation Technologies Conference and Exhibit, pp. 5886 (2005) – reference: 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–98. IEEE (2007) – reference: 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–86. Springer (2019) – reference: ErnstMPerkinsJGuoPMcCamantSPachecoCTschantzMXiaoCThe Daikon system for dynamic detection of likely invariantsSci. Comput. Program.2007691–33545241257710.1016/j.scico.2007.01.015 – reference: BefroueiMTWangCWeissenbacherGAbstraction and mining of traces to explain concurrency bugsFormal Methods Syst. Des.2016491–21321380.68107 – reference: 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 34 of EPiC Series in Computing, pp. 25–30. EasyChair (2015) – reference: Ferrère, 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–258. Springer (2015) – reference: 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–231. IEEE Computer Society/ACM (2018) – ident: 599_CR17 doi: 10.1145/2735960.2735979 – volume: 69 start-page: 35 issue: 1–3 year: 2007 ident: 599_CR12 publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2007.01.015 – ident: 599_CR3 doi: 10.1145/1572272.1572300 – ident: 599_CR9 doi: 10.1109/ICCPS.2018.00029 – ident: 599_CR1 doi: 10.1109/TAIC.PART.2007.13 – ident: 599_CR2 doi: 10.1007/978-3-642-19835-9_21 – volume: 15 start-page: 247 issue: 3 year: 2013 ident: 599_CR22 publication-title: STTT doi: 10.1007/s10009-012-0247-9 – ident: 599_CR25 doi: 10.1145/1755952.1755983 – volume: 42 start-page: 707 issue: 8 year: 2016 ident: 599_CR31 publication-title: IEEE Trans. Software Eng. doi: 10.1109/TSE.2016.2521368 – ident: 599_CR4 doi: 10.1007/978-3-319-75632-5_5 – ident: 599_CR28 doi: 10.1109/ICST.2017.43 – ident: 599_CR5 doi: 10.1145/3178126.3178131 – ident: 599_CR23 doi: 10.1007/978-3-540-30206-3_12 – ident: 599_CR30 doi: 10.1109/DSN.2013.6575304 – volume: 21 start-page: 592 issue: 6 year: 1972 ident: 599_CR8 publication-title: IEEE Trans. Comput. doi: 10.1109/TC.1972.5009015 – ident: 599_CR6 doi: 10.1007/978-3-030-30446-1_4 – ident: 599_CR18 doi: 10.1109/ISORC.2008.25 – ident: 599_CR29 doi: 10.1145/2185632.2185653 – ident: 599_CR14 doi: 10.2514/6.2005-5886 – ident: 599_CR19 doi: 10.1109/SANER.2017.7884636 – volume: 49 start-page: 1 issue: 1–2 year: 2016 ident: 599_CR7 publication-title: Formal Methods Syst. Des. – ident: 599_CR16 – volume: 37 start-page: 486 issue: 4 year: 2011 ident: 599_CR24 publication-title: IEEE Trans. Softw. Eng. (TSE) doi: 10.1109/TSE.2010.93 – ident: 599_CR27 doi: 10.1145/2610384.2610387 – ident: 599_CR13 doi: 10.1007/978-3-319-24953-7_20 – ident: 599_CR20 doi: 10.1109/SANER.2016.38 – volume-title: The Elements of Statistical Learning: Data Mining, Inference, and Prediction year: 2009 ident: 599_CR15 doi: 10.1007/978-0-387-84858-7 – volume: 26 start-page: 431 issue: 6 year: 2016 ident: 599_CR21 publication-title: Softw. Test. Verif. Reliab. doi: 10.1002/stvr.1605 – ident: 599_CR10 doi: 10.1109/ICDCSW.2013.45 – ident: 599_CR11 doi: 10.1145/3055004.3055029 – volume: 2 start-page: 23:1 issue: 4 year: 2018 ident: 599_CR26 publication-title: TCPS |
| SSID | ssj0017679 |
| Score | 2.3732378 |
| Snippet | Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS models combine continuous and discrete dynamics—a fault in a physical... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 783 |
| SubjectTerms | Computer Science Continuity (mathematics) Cyber-physical systems Failure analysis Software Engineering Software Engineering/Programming and Operating Systems State machines Theory of Computation |
| SummonAdditionalLinks | – databaseName: SpringerLINK Contemporary 1997-Present dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEB60evBifWK1Sg7eNNAmu5usNykWT6XYIr0teUqhbEu3FX--Sbrbqqige9jLTsIyk2RmMo8P4NpwrVUrEpgKxXFkZYqlpgwrIrgivnhT8wA2wXo9Phql_bIorKiy3auQZDipPxS7hYt84iuh4zTF0TbsOHXHPWDD0-B5HTtgSeiw5wwBigljaVkq8_0cn9XRxsb8EhYN2qZb_99_HsB-aV2i-9VyOIQtkx9BvUJuQOVGPoa40x-4k2b5coful4tpaNuKrBj7HHVk3mYTsbokROMcOVIU8HKKExh2H4adR1wCKGDl1MwCCy2p4B5fp6WZh1RixlkP2ro3lUxaYqhxgpHSslS6J9EJVc4CoTKJBW_TU6jl09ycASIq1ql1AjTOI7SWSNoSifO1IqOllYY1oF2xMVNlc3GPcTHJNm2RPVsyx5YssCWLGnCzHjNbtdb4lbpZSScrt1mROWeM8MS37GrAbSWNzeefZzv_G_kF7BGfyxKS-JpQW8yX5hJ21etiXMyvwvJ7B85P0no priority: 102 providerName: Springer Nature |
| Title | CPSDebug: Automatic failure explanation in CPS models |
| URI | https://link.springer.com/article/10.1007/s10009-020-00599-4 https://www.proquest.com/docview/2602864097 |
| Volume | 23 |
| WOSCitedRecordID | wos000606257800001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1433-2787 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: P5Z dateStart: 20190101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1433-2787 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: K7- dateStart: 20190101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1433-2787 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: M7S dateStart: 20190101 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1433-2787 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: BENPR dateStart: 20190101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Research Library customDbUrl: eissn: 1433-2787 dateEnd: 20241209 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: M2O dateStart: 20190101 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1433-2787 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: RSV dateStart: 19971201 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1JSwMxFH64Hby4i3UpOXjTYJvMTGa8iIoiiLVYEfEyZJWCtNW24s_3Jc1YFPTiHN5lMmHIy_Lylu8D2Le5MbqRSMqlzmniVEGV4YJqJnPNfPGmyQPZhGi18sfHoh0dbsOYVlntiWGjNn3tfeRHaHezPPPoTCeDV-pZo3x0NVJozMK8R0lohtS9zlcUQWQBaw9NAk6ZEEUsmomlcyEswHxddVoUNPl-ME2tzR8B0nDuXC7_949XYClanOR0MkVWYcb21mC5YnMgcXGvQ3re7uDuM34-JqfjUT9AuRInuz5vndiPwYucOA5Jt0ewKQkcOsMNuL-8uD-_opFUgWo8ekZUGsVl7jl3GkZ4miVh0aIwDiVXQjlmuUVlKeVEofDJTMY1WiVcZanMm3wT5nr9nt0CwnRqCodKtXhLdI4p3pAZ3r8Sa5RTVtSgWQ1oqSPguOe9eCmnUMleCSUqoQxKKJMaHHx9M5jAbfzZerca-TIuvWE5HfYaHFa6m77-vbftv3vbgUXm81lCIt8uzI3exnYPFvT7qDt8q8P82UWrfVeH2WtBUd6w23qYjCjb6RPKu87DJ3wL4g4 |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LTxsxEB5RQCoXAn2I0AA-wKm1GuzN2ouEEOIhUCBCIgdulp9VJJQEkvD4UfzHjp1dolYqNw7dw17Wa632G8-MPY8PYNtL52wz05RrK2kWTEGN44JapqVlsXjTyUQ2ITodeXNTXM3BS1ULE9MqK52YFLUb2HhG_hP9bibz2J3pYHhHI2tUjK5WFBpTsWj750fcso32z48R3x3GTk-6R2e0ZBWgFnXvmGpnuJaRdKbpROQZEh5Nqgt450aYwDz3-LXGBFEYvHKXc4tmmZu8peUux2k_wELGpYjLqi3oa9BC5Km1H3ognDIhirJGp6zUS1EIFsu4W0VBsz_t4My5_Ssem8zcae0_-0ErsFz60-RwugBWYc73P0Gt4qogper6DK2jq2vUrZNfe-RwMh6kRrUk6F7Myif-aXirp8eipNcnOJQkhqDRF-i-x7d_hfn-oO_XgDDbckVAkfW4Bw6BGd7UOe4uM-9MMF7UYbfCT9mynXpk9bhVs0bQEXOFmKuEucrq8P31neG0mciboxsV0KpULCM1Q7kOPypRmT3-92zrb8-2BR_PupcX6uK80_4GSyxm7qSUxQbMj-8nfgMW7cO4N7rfTDJPQL2zCP0Gl145nA |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9tAEB7RUFW9EOhDDQ10D3BqV4Rd22sjIYQCUVFQFKk5oF5W-6wioSTkAfSn9d91dmMTtVJz41AffPF6tPKM57Hz-AAOXG6taSWKcmVymnhdUG25oIap3LDQvGnzCDYher385qbob8CvqhcmlFVWOjEqajs24Yz8CP1ulmdhOtORL8si-heds8kdDQhSIdNawWksRaTrfj5g-DY7vbpAXh8y1rkctL_SEmGAGtTDc6qs5ioPADQtKwLmkHBoXq3HO9dCe-a4w51r7UWh8cpsxg2aaK6zVOXHHMm-gE2BIWaoJuyn358SGCKLY_7QG-GUCVGU_Tpl117MSLDQ0p0WBU3-tIkrR_ev3Gw0eZ36f_yxtmGr9LPJ-fLH2IENN3oD9QrDgpQq7S2k7f431LmLHyfkfDEfxwG2xKthqNYn7nFyq5bHpWQ4IriUROSg2TsYPMfe30NtNB65D0CYSW3hUZQdxsbeM81bKsOoM3FWe-1EA44rXkpTjlkPaB-3cjUgOvBfIv9l5L9MGvD56Z3JcsjI2tXNiumyVDgzueJ4A75UYrN6_G9qu-upfYJXKDny-qrX_QivWSjoiZWMTajNpwu3By_N_Xw4m-5H8Scgn1mCfgMyD0LA |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=CPSDebug%3A+Automatic+failure+explanation+in+CPS+models&rft.jtitle=International+journal+on+software+tools+for+technology+transfer&rft.au=Bartocci+Ezio&rft.au=Manjunath+Niveditha&rft.au=Mariani+Leonardo&rft.au=Mateis+Cristinel&rft.date=2021-10-01&rft.pub=Springer+Nature+B.V&rft.issn=1433-2779&rft.eissn=1433-2787&rft.volume=23&rft.issue=5&rft.spage=783&rft.epage=796&rft_id=info:doi/10.1007%2Fs10009-020-00599-4&rft.externalDBID=HAS_PDF_LINK |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1433-2779&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1433-2779&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1433-2779&client=summon |