Academic Journal
Προβολή σε EDS

Runtime instrumentation for reactive components (artifact)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Runtime instrumentation for reactive components (artifact)
Συγγραφείς: Aceto, Luca, Attard, Duncan Paul, Francalanza, Adrian, Ingólfsdóttir, Anna
Στοιχεία εκδότη: Dagstuhl Publishing
Έτος έκδοσης: 2024
Συλλογή: University of Malta: OAR@UM / L-Università ta' Malta
Θεματικοί όροι: Software engineering -- Testing, Computer programs -- Verification, ERLANG (Computer program language), Programming languages (Electronic computers), Parallel programming (Computer science)
Περιγραφή: Reactive software calls for instrumentation methods that uphold the reactive attributes of systems. Runtime verification sets another demand on the instrumentation, namely that the trace event sequences it reports to monitors are sound, i.e., they reflect actual executions of the system under scrutiny. Our companion paper, “Runtime Instrumentation for Reactive Components”, presents RIARC, a novel decentralised instrumentation algorithm for outline monitors that meets these two demands. RIARC uses a next-hop IP routing approach to rearrange and report events soundly to monitors despite the potential trace event loss or reordering stemming from the asynchrony of reactive systems. The companion paper shows our corresponding RIARC Erlang implementation to be correct through rigorous systematic testing. We also assess RIARC via extensive empirical experiments, subjecting it to large realistic workloads in order to ascertain its reactiveness. This artefact packages the RIARC Erlang implementation, systematic tests that demonstrate its correctness, data sets obtained from our original empirical experiments detailed in the companion paper, and the scripts to rerun and replicate these results under lower workloads. ; peer-reviewed
Τύπος εγγράφου: article in journal/newspaper
Γλώσσα: English
Relation: https://www.um.edu.mt/library/oar/handle/123456789/131245
DOI: 10.4230/DARTS.10.2.1
Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/131245
https://doi.org/10.4230/DARTS.10.2.1
Rights: info:eu-repo/semantics/openAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.
Αριθμός Καταχώρησης: edsbas.D13DB200
Βάση Δεδομένων: BASE
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://www.um.edu.mt/library/oar/handle/123456789/131245#
    Name: EDS - BASE (ns324271)
    Category: fullText
    Text: View record from BASE
Header DbId: edsbas
DbLabel: BASE
An: edsbas.D13DB200
RelevancyScore: 950
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 949.707946777344
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Runtime instrumentation for reactive components (artifact)
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Aceto%2C+Luca%22">Aceto, Luca</searchLink><br /><searchLink fieldCode="AR" term="%22Attard%2C+Duncan+Paul%22">Attard, Duncan Paul</searchLink><br /><searchLink fieldCode="AR" term="%22Francalanza%2C+Adrian%22">Francalanza, Adrian</searchLink><br /><searchLink fieldCode="AR" term="%22Ingólfsdóttir%2C+Anna%22">Ingólfsdóttir, Anna</searchLink>
– Name: Publisher
  Label: Publisher Information
  Group: PubInfo
  Data: Dagstuhl Publishing
– Name: DatePubCY
  Label: Publication Year
  Group: Date
  Data: 2024
– Name: Subset
  Label: Collection
  Group: HoldingsInfo
  Data: University of Malta: OAR@UM / L-Università ta' Malta
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Software+engineering+--+Testing%22">Software engineering -- Testing</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+programs+--+Verification%22">Computer programs -- Verification</searchLink><br /><searchLink fieldCode="DE" term="%22ERLANG+%28Computer+program+language%29%22">ERLANG (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages+%28Electronic+computers%29%22">Programming languages (Electronic computers)</searchLink><br /><searchLink fieldCode="DE" term="%22Parallel+programming+%28Computer+science%29%22">Parallel programming (Computer science)</searchLink>
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Reactive software calls for instrumentation methods that uphold the reactive attributes of systems. Runtime verification sets another demand on the instrumentation, namely that the trace event sequences it reports to monitors are sound, i.e., they reflect actual executions of the system under scrutiny. Our companion paper, “Runtime Instrumentation for Reactive Components”, presents RIARC, a novel decentralised instrumentation algorithm for outline monitors that meets these two demands. RIARC uses a next-hop IP routing approach to rearrange and report events soundly to monitors despite the potential trace event loss or reordering stemming from the asynchrony of reactive systems. The companion paper shows our corresponding RIARC Erlang implementation to be correct through rigorous systematic testing. We also assess RIARC via extensive empirical experiments, subjecting it to large realistic workloads in order to ascertain its reactiveness. This artefact packages the RIARC Erlang implementation, systematic tests that demonstrate its correctness, data sets obtained from our original empirical experiments detailed in the companion paper, and the scripts to rerun and replicate these results under lower workloads. ; peer-reviewed
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: article in journal/newspaper
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: https://www.um.edu.mt/library/oar/handle/123456789/131245
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.4230/DARTS.10.2.1
– Name: URL
  Label: Availability
  Group: URL
  Data: https://www.um.edu.mt/library/oar/handle/123456789/131245<br />https://doi.org/10.4230/DARTS.10.2.1
– Name: Copyright
  Label: Rights
  Group: Cpyrght
  Data: info:eu-repo/semantics/openAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.
– Name: AN
  Label: Accession Number
  Group: ID
  Data: edsbas.D13DB200
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.D13DB200
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.4230/DARTS.10.2.1
    Languages:
      – Text: English
    Subjects:
      – SubjectFull: Software engineering -- Testing
        Type: general
      – SubjectFull: Computer programs -- Verification
        Type: general
      – SubjectFull: ERLANG (Computer program language)
        Type: general
      – SubjectFull: Programming languages (Electronic computers)
        Type: general
      – SubjectFull: Parallel programming (Computer science)
        Type: general
    Titles:
      – TitleFull: Runtime instrumentation for reactive components (artifact)
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Aceto, Luca
      – PersonEntity:
          Name:
            NameFull: Attard, Duncan Paul
      – PersonEntity:
          Name:
            NameFull: Francalanza, Adrian
      – PersonEntity:
          Name:
            NameFull: Ingólfsdóttir, Anna
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2024
          Identifiers:
            – Type: issn-locals
              Value: edsbas
            – Type: issn-locals
              Value: edsbas.oa
ResultId 1