关键词：网络物理系统（CPS）；控制工程师；嵌入式软件工程师
摘 要：Building Cyber-Physical Systems (CPS) involves several teams of engineers with different back- grounds. We focus on interactions between control engineers and embedded software engineers. Lack of rigorous methodologies for communication and interaction between the two groups has been recognized as an obstacle to the development of dependable and cost-effective CPS. We advocate the use of design contracts as a step towards bridging this gap. Design contracts act as a medium for communication and interaction between the control and computation/communication design problems in a CPS. The contracts provide a focal point for negotiation and for decision making.