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

Fault-tolerant functional reactive programming (extended version).

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Fault-tolerant functional reactive programming (extended version).
Συγγραφείς: PEREZ, IVAN, GOODLOE, ALWYN E.
Πηγή: Journal of Functional Programming; 2020, Vol. 30, p1-41, 41p
Θεματικοί όροι: Programming languages, Mathematical analysis, Numerical calculations, Algorithms, Data flow computing
Περίληψη: Highly critical application domains, like medicine and aerospace, require the use of strict design, implementation, and validation techniques. Functional languages have been used in these domains to develop synchronous dataflow programming languages for reactive systems. Causal stream functions and functional reactive programming (FRP) capture the essence of those languages in a way that is both elegant and robust. To guarantee that critical systems can operate under high stress over long periods of time, these applications require clear specifications of possible faults and hazards, and how they are being handled. Modeling failure is straightforward in functional languages, and many functional reactive abstractions incorporate support for failure or termination. However, handling unknown types of faults, and incorporating fault tolerance into FRP, requires a different construction and remains an open problem. This work demonstrates how to extend an existing functional reactive framework with fault tolerance features. At value level, we tag faulty signals with reliability and probability information and use random testing to inject faults and validate system properties encoded in temporal logic. At type level, we tag components with the kinds of faults they may exhibit and use type-level programming to obtain compile-time guarantees of key aspects of fault tolerance. Our approach is powerful enough to be used in systems with realistic complexity, and flexible enough to be used to guide system analysis and design, validate system properties in the presence of faults, perform runtime monitoring, and study the effects of different fault tolerance mechanisms. [ABSTRACT FROM AUTHOR]
Copyright of Journal of Functional Programming is the property of Cambridge University Press and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Βάση Δεδομένων: Complementary Index
FullText Links:
  – Type: other
Text:
  Availability: 0
Header DbId: edb
DbLabel: Complementary Index
An: 144805767
RelevancyScore: 886
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 885.81396484375
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Fault-tolerant functional reactive programming (extended version).
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22PEREZ%2C+IVAN%22">PEREZ, IVAN</searchLink><br /><searchLink fieldCode="AR" term="%22GOODLOE%2C+ALWYN+E%2E%22">GOODLOE, ALWYN E.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Journal of Functional Programming; 2020, Vol. 30, p1-41, 41p
– Name: Subject
  Label: Subject Terms
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+analysis%22">Mathematical analysis</searchLink><br /><searchLink fieldCode="DE" term="%22Numerical+calculations%22">Numerical calculations</searchLink><br /><searchLink fieldCode="DE" term="%22Algorithms%22">Algorithms</searchLink><br /><searchLink fieldCode="DE" term="%22Data+flow+computing%22">Data flow computing</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Highly critical application domains, like medicine and aerospace, require the use of strict design, implementation, and validation techniques. Functional languages have been used in these domains to develop synchronous dataflow programming languages for reactive systems. Causal stream functions and functional reactive programming (FRP) capture the essence of those languages in a way that is both elegant and robust. To guarantee that critical systems can operate under high stress over long periods of time, these applications require clear specifications of possible faults and hazards, and how they are being handled. Modeling failure is straightforward in functional languages, and many functional reactive abstractions incorporate support for failure or termination. However, handling unknown types of faults, and incorporating fault tolerance into FRP, requires a different construction and remains an open problem. This work demonstrates how to extend an existing functional reactive framework with fault tolerance features. At value level, we tag faulty signals with reliability and probability information and use random testing to inject faults and validate system properties encoded in temporal logic. At type level, we tag components with the kinds of faults they may exhibit and use type-level programming to obtain compile-time guarantees of key aspects of fault tolerance. Our approach is powerful enough to be used in systems with realistic complexity, and flexible enough to be used to guide system analysis and design, validate system properties in the presence of faults, perform runtime monitoring, and study the effects of different fault tolerance mechanisms. [ABSTRACT FROM AUTHOR]
– Name: Abstract
  Label:
  Group: Ab
  Data: <i>Copyright of Journal of Functional Programming is the property of Cambridge University Press and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=144805767
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1017/S0956796820000118
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 41
        StartPage: 1
    Subjects:
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Mathematical analysis
        Type: general
      – SubjectFull: Numerical calculations
        Type: general
      – SubjectFull: Algorithms
        Type: general
      – SubjectFull: Data flow computing
        Type: general
    Titles:
      – TitleFull: Fault-tolerant functional reactive programming (extended version).
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: PEREZ, IVAN
      – PersonEntity:
          Name:
            NameFull: GOODLOE, ALWYN E.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Text: 2020
              Type: published
              Y: 2020
          Identifiers:
            – Type: issn-print
              Value: 09567968
          Numbering:
            – Type: volume
              Value: 30
          Titles:
            – TitleFull: Journal of Functional Programming
              Type: main
ResultId 1