View in EDS

On Input Generators for Cyber-Physical Systems Falsification

Saved in:
Bibliographic Details
Title: On Input Generators for Cyber-Physical Systems Falsification
Authors: Ramezani, Zahra, 1988, Donzé, Alexandre, Fabian, Martin, 1960, Åkesson, Knut, 1972
Source: Systematisk testning av cyberfysiska system (SyTeC) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43(4):1274-1287
Subject Terms: Falsification, Simulation-based Optimization, Semantics, Delays, Optimization, Pulse generation, Benchmark testing, Input Generators, Generators, Cyber-Physical Systems, Testing
Description: This method generates input signals to a simulation of the system under test and uses quantitative semantics that plays the role of objective functions to minimize the distance to falsify a specification. This paper presents and evaluates differently structured parameterizations of input generators: pulse, sinusoidal, and piecewise with different interpolation signals. The input generators are compared based on their results on benchmark examples, as well as coverage measures in the space and time, and frequency domains. Input generators allow covering many different input signals in a single falsification problem, which is especially useful for industrial practitioners wanting to use falsification in their daily development work. Falsification is a testing method that aims to increase confidence in the correctness of cyber-physical systems by searching for counterexamples guided by an optimization algorithm. This method generates input signals for a simulation of the system under test and employs quantitative semantics, which serve as objective functions, to minimize the distance needed to falsify a specification. This paper introduces and evaluates various parameterizations of input generators, including pulse, sinusoidal, and piecewise signals with different interpolation techniques. The input generators are compared based on their performance on benchmark examples, as well as coverage measures in the space-time and frequency domains. Input generators enable the exploration of numerous different input signals within a single falsification problem, making them particularly valuable for industrial practitioners who wish to incorporate falsification into their daily development work.
File Description: electronic
Access URL: https://research.chalmers.se/publication/538672
https://research.chalmers.se/publication/538672/file/538672_Fulltext.pdf
Database: SwePub
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://research.chalmers.se/publication/538672#
    Name: EDS - SwePub (s4221598)
    Category: fullText
    Text: View record in SwePub
  – Url: https://resolver.ebscohost.com/openurl?sid=EBSCO:edsswe&genre=article&issn=19374151&ISBN=&volume=43&issue=4&date=20240101&spage=1274&pages=1274-1287&title=Systematisk testning av cyberfysiska system (SyTeC) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems&atitle=On%20Input%20Generators%20for%20Cyber-Physical%20Systems%20Falsification&aulast=Ramezani%2C%20Zahra&id=DOI:10.1109/TCAD.2023.3333758
    Name: Full Text Finder
    Category: fullText
    Text: Full Text Finder
    Icon: https://imageserver.ebscohost.com/branding/images/FTF.gif
    MouseOverText: Full Text Finder
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Ramezani%20Z
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edsswe
DbLabel: SwePub
An: edsswe.oai.research.chalmers.se.2abb2e2c.de13.4936.8eaa.885156e12f7a
RelevancyScore: 1064
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1064.41540527344
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: On Input Generators for Cyber-Physical Systems Falsification
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Ramezani%2C+Zahra%22">Ramezani, Zahra</searchLink>, 1988<br /><searchLink fieldCode="AR" term="%22Donzé%2C+Alexandre%22">Donzé, Alexandre</searchLink><br /><searchLink fieldCode="AR" term="%22Fabian%2C+Martin%22">Fabian, Martin</searchLink>, 1960<br /><searchLink fieldCode="AR" term="%22Åkesson%2C+Knut%22">Åkesson, Knut</searchLink>, 1972
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Systematisk testning av cyberfysiska system (SyTeC) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</i>. 43(4):1274-1287
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Falsification%22">Falsification</searchLink><br /><searchLink fieldCode="DE" term="%22Simulation-based+Optimization%22">Simulation-based Optimization</searchLink><br /><searchLink fieldCode="DE" term="%22Semantics%22">Semantics</searchLink><br /><searchLink fieldCode="DE" term="%22Delays%22">Delays</searchLink><br /><searchLink fieldCode="DE" term="%22Optimization%22">Optimization</searchLink><br /><searchLink fieldCode="DE" term="%22Pulse+generation%22">Pulse generation</searchLink><br /><searchLink fieldCode="DE" term="%22Benchmark+testing%22">Benchmark testing</searchLink><br /><searchLink fieldCode="DE" term="%22Input+Generators%22">Input Generators</searchLink><br /><searchLink fieldCode="DE" term="%22Generators%22">Generators</searchLink><br /><searchLink fieldCode="DE" term="%22Cyber-Physical+Systems%22">Cyber-Physical Systems</searchLink><br /><searchLink fieldCode="DE" term="%22Testing%22">Testing</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: This method generates input signals to a simulation of the system under test and uses quantitative semantics that plays the role of objective functions to minimize the distance to falsify a specification. This paper presents and evaluates differently structured parameterizations of input generators: pulse, sinusoidal, and piecewise with different interpolation signals. The input generators are compared based on their results on benchmark examples, as well as coverage measures in the space and time, and frequency domains. Input generators allow covering many different input signals in a single falsification problem, which is especially useful for industrial practitioners wanting to use falsification in their daily development work. Falsification is a testing method that aims to increase confidence in the correctness of cyber-physical systems by searching for counterexamples guided by an optimization algorithm. This method generates input signals for a simulation of the system under test and employs quantitative semantics, which serve as objective functions, to minimize the distance needed to falsify a specification. This paper introduces and evaluates various parameterizations of input generators, including pulse, sinusoidal, and piecewise signals with different interpolation techniques. The input generators are compared based on their performance on benchmark examples, as well as coverage measures in the space-time and frequency domains. Input generators enable the exploration of numerous different input signals within a single falsification problem, making them particularly valuable for industrial practitioners who wish to incorporate falsification into their daily development work.
– Name: Format
  Label: File Description
  Group: SrcInfo
  Data: electronic
– Name: URL
  Label: Access URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="https://research.chalmers.se/publication/538672" linkWindow="_blank">https://research.chalmers.se/publication/538672</link><br /><link linkTarget="URL" linkTerm="https://research.chalmers.se/publication/538672/file/538672_Fulltext.pdf" linkWindow="_blank">https://research.chalmers.se/publication/538672/file/538672_Fulltext.pdf</link>
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsswe&AN=edsswe.oai.research.chalmers.se.2abb2e2c.de13.4936.8eaa.885156e12f7a
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/TCAD.2023.3333758
    Languages:
      – Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 14
        StartPage: 1274
    Subjects:
      – SubjectFull: Falsification
        Type: general
      – SubjectFull: Simulation-based Optimization
        Type: general
      – SubjectFull: Semantics
        Type: general
      – SubjectFull: Delays
        Type: general
      – SubjectFull: Optimization
        Type: general
      – SubjectFull: Pulse generation
        Type: general
      – SubjectFull: Benchmark testing
        Type: general
      – SubjectFull: Input Generators
        Type: general
      – SubjectFull: Generators
        Type: general
      – SubjectFull: Cyber-Physical Systems
        Type: general
      – SubjectFull: Testing
        Type: general
    Titles:
      – TitleFull: On Input Generators for Cyber-Physical Systems Falsification
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Ramezani, Zahra
      – PersonEntity:
          Name:
            NameFull: Donzé, Alexandre
      – PersonEntity:
          Name:
            NameFull: Fabian, Martin
      – PersonEntity:
          Name:
            NameFull: Åkesson, Knut
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2024
          Identifiers:
            – Type: issn-print
              Value: 19374151
            – Type: issn-print
              Value: 02780070
            – Type: issn-locals
              Value: SWEPUB_FREE
            – Type: issn-locals
              Value: CTH_SWEPUB
          Numbering:
            – Type: volume
              Value: 43
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: Systematisk testning av cyberfysiska system (SyTeC) IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
              Type: main
ResultId 1