Title :
The Case for Timing-Centric Distributed Software Invited Paper
Author :
Lee, Edward A. ; Matic, Slobodan ; Seshia, Sanjit A. ; Zou, Jia
Author_Institution :
EECS Dept., Univ. of California, Berkeley, CA, USA
Abstract :
This paper makes the case that the time is right to introduce temporal semantics into programming models for cyber-physical systems. Specifically, we argue for a programming model called PTIDES that provides a coordination language rooted in discrete- event semantics, supported by a lightweight runtime framework and tools for verifying concurrent software components. PTIDES leverages recent innovations in network time synchronization to deliver distributed real-time systems with determinate concurrent semantics, decentralized and robust control, and the potential for rigorous schedulability analysis.
Keywords :
concurrency control; formal verification; scheduling; synchronisation; PTIDES; concurrent software components verification; cyber-physical systems; discrete event semantics; distributed real-time systems; network time synchronization; rigorous schedulability analysis; timing-centric distributed software; Actuators; Communication system traffic control; Computer networks; Distributed computing; Embedded software; Embedded system; Instruments; Physics computing; Programming profession; Technological innovation;
Conference_Titel :
Distributed Computing Systems Workshops, 2009. ICDCS Workshops '09. 29th IEEE International Conference on
Conference_Location :
Montreal, QC
Print_ISBN :
978-0-7695-3660-6
Electronic_ISBN :
1545-0678
DOI :
10.1109/ICDCSW.2009.108
