机构名称：
¥ 1.0
信息物理系统 (CPS) 是计算和物理过程的集成。嵌入式计算机和网络监视和控制物理过程，通常使用反馈回路，其中物理过程影响计算，反之亦然。此类系统的经济和社会潜力远远大于已实现的潜力，全球正在投入大量资金来开发该技术。存在相当大的挑战，特别是因为此类系统的物理组件引入了与通用计算在质量上不同的安全性和可靠性要求。此外，物理组件在质量上不同于面向对象的软件组件。基于方法调用和线程的标准抽象不起作用。本文探讨了设计此类系统所面临的挑战，并特别提出了当今的计算和网络技术是否为 CPS 提供了足够的基础的问题。本文得出的结论是，改进设计流程、提高抽象级别或验证（正式或以其他方式）基于当今抽象的设计是不够的。为了充分发挥 CPS 的潜力，我们必须重建计算和网络抽象。这些抽象必须以统一的方式包含物理动力学和计算。
网络物理系统：设计挑战
主要关键词
相关文件推荐
