CSR--CPS: Component-based Development of Cyber-Physical Systems

网络物理系统（CPS）是那些与物理世界（从纳米世界到系统系统）紧密耦合的基于计算机的系统。 设想的 CPS 是由硬件组件和软件组件组成的复杂系统，并且必须与动态变化的环境交互。 许多 CPS 应用对于安全至关重要，因此确保它们安全可靠地工作非常重要。基于组件的工程作为一种促进复杂系统设计的方法已被广泛接受。 它的前提是，可以通过将复杂系统分解为更简单的组件，然后使用抽象组件复杂性的接口来组合组件来设计复杂的系统。所提出的工作的目标是开发一个用作 CPS 构建块的组件组合框架。 该方法是定义组件的概念，包括物理组件（传感器和执行器）和映射到硬件平台的计算任务。 组件由资源接口抽象出来。 基于这一理念，该项目旨在开发基于并发系统组合分析和分层实时调度的CPS组合分析技术

Cyber-Physical Systems (CPS) are those computer-based systems that have an intimate coupling with the physical world, which range from the nano-world to systems of systems. Envisioned CPS are complex systems that are composed of hardware components and software components and that must interact with a dynamically changing environment. Many CPS applications are safety critical and thus it is important to ensure they work safely and reliably.Component-based engineering has been widely accepted as an approach to facilitate the design of complex systems. It is based on the premise that a complex system can be designed by decomposing it into simpler components and then by composing the components using interfaces that abstract component complexities.The goal of the proposed work is to develop a compositional framework of components that serve as building blocks of CPS. The approach is to define the notion of a component that includes physical components (sensors and actuators) and computation tasks mapped to hardware platforms. The component is abstracted by a resource interface. Based on this notion, the project aims at the development of compositional analysis techniques for CPS based on compositional analysis of concurrent systems and hierarchical real-time scheduling