Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?

Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly rely on (system level) simulation-based testing. This technique is expensive because complex mathematical models are used to model the physi...

Full description

Saved in:
Bibliographic Details
Published in:2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) pp. 549 - 553
Main Authors: Valle, Pablo, Arrieta, Aitor
Format: Conference Proceeding
Language:English
Published: IEEE 01.03.2022
Subjects:
Adaptation models
Analytical models
Costs
Debugging
Location awareness
Simulink Models
Software algorithms
Software packages
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly rely on (system level) simulation-based testing. This technique is expensive because complex mathematical models are used to model the physical part of CPSs. On the other hand, test cases of CPSs are usually formed by long test inputs that aim at mimicking real-world scenarios. As a result, when a failure is exhibited, it is highly important to isolate the failure-inducing inputs to provide the developers with the minimal test input. This allows reducing debugging costs by (1) reproducing the failure in the minimal time and (2) reducing the test coverage of the system, making the fault localization easier. In this paper we adapt the well-known delta debugging algorithm to isolate the failure-inducing inputs of CPSs modeled in Simulink. By means of three Simulink models, we analyzed whether Delta Debugging is effective enough to isolate failure-inducing inputs in CPSs.
AbstractList Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly rely on (system level) simulation-based testing. This technique is expensive because complex mathematical models are used to model the physical part of CPSs. On the other hand, test cases of CPSs are usually formed by long test inputs that aim at mimicking real-world scenarios. As a result, when a failure is exhibited, it is highly important to isolate the failure-inducing inputs to provide the developers with the minimal test input. This allows reducing debugging costs by (1) reproducing the failure in the minimal time and (2) reducing the test coverage of the system, making the fault localization easier. In this paper we adapt the well-known delta debugging algorithm to isolate the failure-inducing inputs of CPSs modeled in Simulink. By means of three Simulink models, we analyzed whether Delta Debugging is effective enough to isolate failure-inducing inputs in CPSs.
Author Valle, Pablo
Arrieta, Aitor
Author_xml – sequence: 1
  givenname: Pablo
  surname: Valle
  fullname: Valle, Pablo
  email: pablo.valle@alumni.mondragon.edu
  organization: Mondragon University,Electronics and Computing Department,Mondragon,Spain
– sequence: 2
  givenname: Aitor
  surname: Arrieta
  fullname: Arrieta, Aitor
  email: aarrieta@mondragon.edu
  organization: Mondragon University,Electronics and Computing Department,Mondragon,Spain
BookMark eNotjNFKwzAUQCPog5t-gQj5gdbcpGlaX2TUTQtDxc3nkaS3baBLR9Mi_fsp-nLO0zkLcul7j4TcA4sBWP6wW72tP6VIBI854zxmjCl-QRaQpjIRKkvFNan3_bceqkDHFmkZ-k6Prve0r-lGu24aMCp9NVnnG1r60zQG6jwtZoND9NHOwVnd0d0cRjyGR-oCfcZu1D80U9P8RmvfT037dEOuat0FvP33knxt1vviNdq-v5TFahs5LtkYGbC1lgYEr7TQGUchhJImRYCMG2urSqHioLXNc2UlMmmNUlwYQAkJMLEkd39fh4iH0-COepgPecZlloA4A1zbVGU
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/SANER53432.2022.00072
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 1665437863
9781665437868
EndPage 553
ExternalDocumentID 9825841
Genre orig-research
GrantInformation_xml – fundername: BBVA Foundation
  funderid: 10.13039/100007406
GroupedDBID 6IE
6IL
CBEJK
RIE
RIL
ID FETCH-LOGICAL-i250t-b1cfa5b132da3a82e33375b6e1182bccdd7e721aac997c5e05cb7723b1e514103
IEDL.DBID RIE
ISICitedReferencesCount 3
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000855050800060&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Thu Jun 29 18:36:50 EDT 2023
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i250t-b1cfa5b132da3a82e33375b6e1182bccdd7e721aac997c5e05cb7723b1e514103
OpenAccessLink http://ebiltegia.mondragon.edu/xmlui/bitstream/20.500.11984/5848/1/TowardsTheIsolationOfFailureInducing.pdf
PageCount 5
ParticipantIDs ieee_primary_9825841
PublicationCentury 2000
PublicationDate 2022-March
PublicationDateYYYYMMDD 2022-03-01
PublicationDate_xml – month: 03
  year: 2022
  text: 2022-March
PublicationDecade 2020
PublicationTitle 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
PublicationTitleAbbrev SANER
PublicationYear 2022
Publisher IEEE
Publisher_xml – name: IEEE
Score 2.2162507
Snippet Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly...
SourceID ieee
SourceType Publisher
StartPage 549
SubjectTerms Adaptation models
Analytical models
Costs
Debugging
Location awareness
Simulink Models
Software algorithms
Software packages
Title Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?
URI https://ieeexplore.ieee.org/document/9825841
WOSCitedRecordID wos000855050800060&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
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFA5zePCksom_ycGjcWvTLI0XkdnhLmPohN1GfrxIQbqxtoL_vUlapgcvXkIJlMJ7CXlf-n3vQ-jGGGpZ4va3gwKKJFZxokYgCCiTxDbViWaN2QSfzdLlUsw76HanhQGAQD6DO_8Y_uWbta79VdlAODiTepX6Hue80Wq1opxoKAavj7PshXmhpIN9cejD6fv-_jJNCWfG5PB_XztC_R_xHZ7vjpVj1IGih-wi0FtL7Oo1PHXrJQQUry2eyNwzy4n34NDuBTwtNnVV4rzA4y8FWzJvM4Hb5uT3OC_xE3xU0o2q9jfO7zgrvFvPQx-9TbLF-Jm0Fgkkd7VLRVSkrWTKQUojqUxjoJRy5qLtcYPS2hgODuNJqYXgmsGQaeXqaaoiYJ7hSU9Qt1gXcIqwGkY2AWYZFywxDlfpETBIYxNbKoxhZ6jnY7TaNF0wVm14zv-evkAHPgkNW-sSdattDVdoX39Webm9Dqn7BqP3nYk
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwFA5jCnpS2cTf5uDRuLVJ1saLyNzYcJahE3YbTfIyCtKNtRX8703aMj148RJKoBTeS8j70u97H0I3WlPDmd3fFgpIwowMiOyBICA1802omOKV2UQQReF8LqYNdLvVwgBAST6DO_dY_svXK1W4q7KOsHAmdCr1Hc6Y71VqrVqW43VF5-0xGrxyJ5W0wM8vO3G6zr-_bFPKU2N48L_vHaL2j_wOT7cHyxFqQNpCZlYSXDNsKzY8tiumDCleGTyME8ctJ86FQ9kX8DhdF3mGkxT3vyRsyLTOBa7bk9_jJMNP8JHHdpSFu3Ne4kHq_Hoe2uh9OJj1R6Q2SSCJrV5yIj1lYi4tqNQxjUMfKKUBt_F2yEEqpXUAFuXFsRIiUBy6XElbUVPpAXccT3qMmukqhROEZdczDLjhgeBMW2SlesAh9LVvqNCan6KWi9FiXfXBWNThOft7-hrtjWYvk8VkHD2fo32XkIq7dYGa-aaAS7SrPvMk21yVafwGAxGg0A
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%3Abook&rft.genre=proceeding&rft.title=2022+IEEE+International+Conference+on+Software+Analysis%2C+Evolution+and+Reengineering+%28SANER%29&rft.atitle=Towards+the+Isolation+of+Failure-Inducing+Inputs+in+Cyber-Physical+Systems%3A+is+Delta+Debugging+Enough%3F&rft.au=Valle%2C+Pablo&rft.au=Arrieta%2C+Aitor&rft.date=2022-03-01&rft.pub=IEEE&rft.spage=549&rft.epage=553&rft_id=info:doi/10.1109%2FSANER53432.2022.00072&rft.externalDocID=9825841