Earticle

초록

영어

Cyber physical systems(CPS) include a lot of high complexity computing such as physical 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.

목차

Abstract
 1. Introduction
 2. Research Challenges of Cyber Physical Systems
  2.1 Physical aspect modeling in Cyber Physical Systems
  2.2 Space and Time
  2.3 Complex Continuous Dynamics
  2.4 Non-Functional Requirements
 3. Solutions to Cyber Physical Systems Research Challenges
 4. Conclusion
 Acknowledgments
 References

키워드

저자

• Lichen Zhang [ Shanghai Key Laboratory of Trustworthy Computing East China Normal University ] Corresponding Author
• Jifeng He [ Shanghai Key Laboratory of Trustworthy Computing East China Normal University ]
• Wensheng Yu [ Shanghai Key Laboratory of Trustworthy Computing East China Normal University ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Hybrid Information Technology

• 간기

  격월간

• pISSN

  1738-9968

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605