IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

PALS: Physically Asynchronous Logically Synchronous Systems

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/11897

Files in this item

File Description Format
PDF palsRTSS09.pdf (376KB) PALS: Physically Asynchronous Logically Synchronous System PDF
Title: PALS: Physically Asynchronous Logically Synchronous Systems
Author(s): Sha, Lui; Al-Nayeem, Abdullah; Sun, Mu; Meseguer, Jose; Olveczky, Peter C.
Subject(s): Distributed synchronoization Complexity reduction Networked real-time systems
Abstract: In networked cyber physical systems real time global computations, e.g., the supervisory control of a ight control system, require consistent views, consistent actions and synchronized state transitions across net- work nodes in real time. This paper presents a real time logical synchrony protocol, Physically Asynchronous Logically Synchronous (PALS), to support real time global computation. Under the PALS protocol, engi- neers design and verify applications as if all the dis- tributed state machines were driven by a single global clock. The PALS protocol is optimal in the sense that 1) the bound on the periods of the real time global computation, such as the supervisory controller, is the shortest possible, and 2) the message overhead in achieving logical synchrony is minimal.
Issue Date: 2009-05-26
Genre: Technical ReportArticle
Type: Text
Language: English
URI: http://hdl.handle.net/2142/11897
Publication Status: published or submitted for publication
Date Available in IDEALS: 2009-05-26
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 736
  • Downloads this Month: 7
  • Downloads Today: 1

Browse

My Account

Information

Access Key