期刊名称：International Journal of Hybrid Information Technology
印刷版ISSN：1738-9968
出版年度：2013
卷号：6
期号：2
出版社：SERSC
摘要：Cyber physical systems(CPS) include a lot of high complexity computing such asphysical aspect modeling, dynamic analysis and verification of continuous dynamic property, analysis and verification of real-time property, analysis and verification of spatial property, scheduling and non-functional requirements. The correctness of computing results of cyber physical systems not only meets the time requirements, but also meets the spatial requirement, this make that it is impossible to solve the several difficult computing problems by traditional methods. In this paper, we describe some of the research directions that we are taking toward addressing some of the challenges involved in building cyber physical systems. The ultimate goal is to develop foundations and techniques for building safe and effective cyber physical systems
