Distributed Real-Time Software for Cyber-Physical Systems

被引：104

作者：

Eidson, John C. ^{[1
]}

Lee, Edward A. ^{[1
]}

Matic, Slobodan ^{[1
]}

Seshia, Sanjit A. ^{[1
]}

Zou, Jia ^{[1
]}

机构：

[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA

来源：

PROCEEDINGS OF THE IEEE | 2012年 / 100卷 / 01期

基金：

美国国家科学基金会;

关键词：

Analysis and verification; cyber-physical systems; distributed systems and networking; embedded software; modeling; real-time systems; DESIGN;

D O I：

10.1109/JPROC.2011.2161237

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. This paper addresses this problem by presenting a programming model called programming temporally integrated distributed embedded systems (PTIDES) that serves as a coordination language for model-based design of distributed real-time embedded systems. Specifically, the paper describes the principles of PTIDES, which leverages network time synchronization to provide a determinate distributed real-time semantics. We show how PTIDES can function as a coordination language, orchestrating components that may be designed and specified using different formalisms. We show the use of this environment in the design of interesting and practical cyber-physical systems, such as a power plant control system.

引用

页码：45 / 59

页数：15

共 33 条

[1]

[Anonymous], 1588 IEEE INSTR MEAS

[2]

[Anonymous], P 3 INT WORKSH EQ BA

[3]

Berry Gerard., 2003, The effectiveness of synchronous languages for the development of safety-critical systems

[4]

Bliudze Simon., 2007, Proceedings of the 7th ACM/IEEE International Conference on Embedded Software, EMSOFT '07, P11

[5]

Cassandras Christos., 1993, Discrete Event Systems: Modeling and Performance Analysis

[6] DISTRIBUTED SIMULATION - CASE-STUDY IN DESIGN AND VERIFICATION OF DISTRIBUTED PROGRAMS [J].

CHANDY, KM ;

MISRA, J .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (05) :440-452

[7]

DERLER P, 2008, P IEEE INT S DISTR S, P330

[8]

Eidson J., 2006, MEASUREMENT CONTROL

[9] Taming heterogeneity the Ptolemy approach [J].

Eker, J ;

Janneck, JW ;

Lee, EA ;

Liu, J ;

Liu, XJ ;

Ludvig, J ;

Neuendorffer, S ;

Sachs, S ;

Xiong, YH .

PROCEEDINGS OF THE IEEE, 2003, 91 (01) :127-144

[10] STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS [J].

HAREL, D .

SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) :231-&

← 1 2 3 4 →