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

fYear

2009

fDate

22-26 June 2009

Firstpage

57

Lastpage

64

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems Workshops, 2009. ICDCS Workshops '09. 29th IEEE International Conference on

Conference_Location

Montreal, QC

ISSN

1545-0678

Print_ISBN

978-0-7695-3660-6

Electronic_ISBN

1545-0678

Type

conf

DOI

10.1109/ICDCSW.2009.108

Filename

5158834