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

网络物理系统（CPS）是那些与物理世界紧密耦合的基于计算机的系统，其范围从纳米世界到系统的系统。 设想的CPS是由硬件组件和软件组件组成的复杂系统，并且必须与动态变化的环境交互。 许多CPS应用程序都是安全关键的，因此确保它们安全可靠地工作非常重要。基于可靠性的工程已被广泛接受为促进复杂系统设计的方法。 它是基于一个复杂的系统，可以通过分解成简单的组件，然后通过组成组件使用接口，抽象组件的complexity.Goals的建议的工作的前提是开发一个组成框架的组件，作为构建模块的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