跳到主要导航 跳到搜索 跳到主要内容

Extending the four-variable model for cyber-physical systems

  • East China Normal University
  • Peking University

科研成果: 书/报告/会议事项章节会议稿件同行评审

摘要

As Cyber-physical System (CPS) is gaining more and more concerns recently, the requirements modeling becomes a critical issue in CPS. In this paper we propose a requirements model for CPS by extending the Four-Variable Model. Through extension, the requirements model deals with complex network environment that CPS are facing, and views timing and position requirements as functional requirements. Besides the framework of this model, we also give a guiding process on how to select corresponding environment variables in this model. An example on one-way traffic light is illustrated to show the effectiveness of our approach.

源语言英语
主期刊名Proceedings - 2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW 2012
31-36
页数6
DOI
出版状态已出版 - 2012

出版系列

姓名Proceedings - 2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW 2012

学术指纹

探究 'Extending the four-variable model for cyber-physical systems' 的科研主题。它们共同构成独一无二的学术指纹。

引用此