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

计算机物理系统(CPS)是那些与物理世界紧密耦合的基于计算机的系统，范围从纳米世界到系统系统。设想的CP是由硬件组件和软件组件组成的复杂系统，必须与动态变化的环境交互。许多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