Skip to main content
Article thumbnail
Location of Repository

Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems

By Thomas Huining Feng, Edward A. Lee, Hiren D. Patel and Jia Zou


Abstract—Zhao, Liu, and Lee have proposed using a discreteevent (DE) model of computation as a programming model for distributed real-time embedded systems. The advantage of using DE is that it provides a semantic foundation that is simple, time-aware, deterministic and natural as a specification language for many applications. This programming model is based on a carefully chosen relationship between DE’s model time and real time (physical time). We define here a criterion that preserves conservative execution (thus not requiring backtracking) while allowing for concurrent and distributed execution. The classic Chandy and Misra technique is one execution policy that satisfies the criterion, but the criterion explicitly allows many other alternatives. We discuss alternatives that offer more concurrency than Chandy and Misra and that exploit time synchronization to eliminate the need for null messages. I

Year: 2009
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.