PALS: Physically Asynchronous Logically Synchronous Systems

Sha, Lui; Al-Nayeem, Abdullah; Sun, Mu; Meseguer, José; Olveczky, Peter C.

Permalink

https://hdl.handle.net/2142/11897 Copy

Description

Title

PALS: Physically Asynchronous Logically Synchronous Systems

Author(s)

• Sha, Lui
• Al-Nayeem, Abdullah
• Sun, Mu
• Meseguer, José
• Olveczky, Peter C.

Issue Date

2009-05-26

Keyword(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.

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/11897

Owning Collections