--- res: bibo_abstract: - We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that checks if the given short-term (e.g., single-period) reliability of a program variable update in an implementation is sufficient to meet the logical reliability requirement (of the program variable) in the long run. We then present a notion of design by refinement where a task can be refined by another task that writes to program variables with less logical reliability. The resulting analysis can be combined with an incremental schedulability analysis for interacting real-time tasks proposed earlier for the Hierarchical Timing Language (HTL), a coordination language for distributed real-time systems. We implemented a logical-reliability-enhanced prototype of the compiler and runtime infrastructure for HTL.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Krishnendu foaf_name: Krishnendu Chatterjee foaf_surname: Chatterjee foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-4561-241X - foaf_Person: foaf_givenName: Arkadeb foaf_name: Ghosal, Arkadeb foaf_surname: Ghosal - foaf_Person: foaf_givenName: Thomas A foaf_name: Thomas Henzinger foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000−0002−2985−7724 - foaf_Person: foaf_givenName: Daniel foaf_name: Iercan, Daniel foaf_surname: Iercan - foaf_Person: foaf_givenName: Christoph foaf_name: Kirsch, Christoph M foaf_surname: Kirsch - foaf_Person: foaf_givenName: Claudio foaf_name: Pinello, Claudio foaf_surname: Pinello - foaf_Person: foaf_givenName: Alberto foaf_name: Sangiovanni-Vincentelli, Alberto foaf_surname: Sangiovanni Vincentelli bibo_doi: 10.1145/1403375.1403595 dct_date: 2008^xs_gYear dct_publisher: IEEE@ dct_title: Logical reliability of interacting real-time tasks@ ...