期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

信息物理系统实时任务WCET的研究 被引量：1

WCET Analysis on Real Task of Cyber Physical Systems
在线阅读 下载PDF
导出
摘要 信息物理系统(CPS)是最近几年才出现的一个新的交叉领域的研究概念,它被普遍认为是计算机信息处理技术史上的下一次革命,将会改变人与现实物理世界之间的交互方式,具有广泛的应用前景。简要介绍了CPS的概念、一些新的特性。研究了CPS实时性方面的最坏执行时间(WCET)分析的组成部分、获取方法和计算算法,并比较了几种算法的优劣,列举了这一领域一些研究进展,讨论了WCET分析这一领域中存在的问题,给出了将来的研究方向。 Cyber physical system（CPS） is a new concept of cross-over research fields in rencent years.It is commonly believed as the next revolution in information technology area.It will change the way of interaction between people and the physical world,and has a bright applied future.Introduce the concept and features of the CPS.Research the WCET analysis of real time task in CPS,compare the several computation means of the WCET,list some research in this field.Discuss the existed problems of WCET analysis,give the future work what is left to do.
作者 刘辉 张立臣 许阳
机构地区 广东工业大学计算机学院
出处 《计算机技术与发展》 2012年第4期126-129,共4页 Computer Technology and Development
基金 国家自然科学基金项目(60373000 60474072Z) 国家自然科学基金重大发展计划项目(90818008) 广东省自然科学基金项目(07001774 04009465)
关键词 信息物理系统 WCET分析 可调度分析 cyber physical systems WCET analysis schedulability analysis
分类号 TP302 [自动化与计算机技术—计算机系统结构] TP316 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献22

  • 1谭朋柳,舒坚,吴振华.一种信息-物理融合系统体系结构[J].计算机研究与发展,2010,47(S2):312-316. 被引量：38
  • 2Lee E A. Cyber-physical systems-are computing foundations adequate[A].Austin,TX:Cyber_Physical Systems Workshop,National Science Foundation,2006.
  • 3Tan Ying,Goddard S,Perez L C. A prototype architecture for cyber physical systems[J].ACM SIGBED Review,2008,(01):1-2.
  • 4Richard W,Gabriel P. A software architecture for nextgeneration cyber-physical systems[EB/OL].http://www.CS.bu.edu/～richwest/papers/weM-cps.pdf,2010.
  • 5Lee E A. Computing foundations and practice for cyberphysical systems:a preliminary report[R].Berkeley:University of California,2007.
  • 6Wegener J,Mueller F. A comparison of static analysis and evolutionary testing for the verification of timing constraints[J].Real-Time Systems,2001,(03):241-268.
  • 7Wang Hanbo,Zhou Xingshe,Dong Yunwei. Modeling timing behavior for cyber-physical systems[A].Piscataway,NJ:IEEE,2009.1-4.
  • 8Xia Feng. Cyber-physieal systems research group[EB/OL].http://www.cpschina.org/,2010.
  • 9Puschner P,Burns A. vip Editorial:A Review of WorstCase Execution-Time Analysis[J].Real-Time Systems,2000,(2-3):115-128.
  • 10Wegener J,Grochtmann M. Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing[J].Real-Time Systems,1998,(02):275-298.

二级参考文献24

  • 1Zhang Fumin,Szwaykowska K,Wolf W,et al.Task scheduling for control oriented requirements for cyber-physical systems. Proc of Real-Time Systems Symp . 2008
  • 2Xia Feng.Cyber-physical systems research group. http://cpschina.org/ . 2010
  • 3Tan Pengliu,Jin Hai,Zhang Minghu.A hybrid scheduling scheme for hard,soft and non-real-time tasks. Proc of the9th IEEE Int Symp on Object and Component-Oriented Real-Time Distributed Computing . 2006
  • 4Tan Y,Goddard S,Perez L C.A prototype architecture for cyber-physical systems. ACM SIGBED Review . 2008
  • 5Tan Y,Vuran M C,Goddard S.Spatio-temporal event Model for cyber-physical systems. Proc of the29th IEEE Int Conf on Distributed Computing Systems Workshops . 2009
  • 6Lee E A.Cyber physical systems:Design challenges. Proc of the11th IEEE Int Symp on Object Oriented Real-Time Distributed Computing . 2008
  • 7Sha Lui,Gopalakrishnan S,Liu Xue,et al.Cyber-physical systems:A new frontier. Proc of IEEE Int Conf on Sensor Networks,Ubiquitous and Trustworthy Computing . 2008
  • 8Bujorianu M C,Barringer H.An integrated specification logic for cyber-physical systems. Proc of the14th IEEE Int Conf on Engineering of Complex Computer Systems . 2009
  • 9Wang Hanbo,Zhou Xingshe,Dong Yunwei,et al.Modeling timing behavior for cyber-physical systems. Proc of Int Conf on Computational Intelligence and Software Engineering . 2009
  • 10Cardenas A A,Amin S,Sastry S.Secure control:Towards survivable cyber-physical systems. Proc of the28th Int Conf on Distributed Computing Systems Workshops . 2008

共引文献37

同被引文献1

引证文献1

计算机技术与发展
2012年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部