.png){kind=icon}
返回
Distributed Real-Time Software for Cyber-Physical Systems
.png){kind=icon}
PRE
AI
DOI：10.1109/JPROC.2011.2161237.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
Analysis and verification
cyber-physical systems
distributed systems and networking
embedded software
modeling
real-time systems
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
25.9
论文数:
9.9K
被引数:
4.5W
机构
引用论文
Sesquiterpenes from Juniperus thurifera L. Stereochemistry in Unusual Cedrane and Duprezianane Series.png)
Tetrahedron
TetrahedronIF0
PREAI
分享收藏Extensive lithium disorder in Li1.5Fe0.5Ti1.5(PO4)3Nasicon by neutron diffraction, and the Li1+xFexTi2−x(PO4)3phase diagramLi1.5Fe0.5Ti1.5(PO4)3Nasicon中的广泛锂无序通过中子衍射，li 1 xFexTi 2-x (PO4)3 相图
PREAI
分享收藏Consensus and cooperation in networked multi-agent systems网络化多智能体系统的共识与合作PROCEEDINGS OF THE IEEE
PROCEEDINGS OF THE IEEEIF25.9
PREAI
分享收藏
查看更多内容