CPS: Large: Science of Integration for Cyber-Physical Systems

这项研究的目标是开发新的在不同系统中组合的基础，将这些基础应用于新一代系统集成工具，并使用汽车和航空电子系统实验平台来验证结果。方法是开发简化策略：开发理论、方法和工具，以帮助实现层间分离。该研究计划有三个重点领域：(1)异类系统的组合性理论，(2)用于系统集成的工具和工具体系结构，(3)系统/实验研究。该项目开发和部署了层间分离的理论和方法，以防止或减少系统范围内难以处理的相互依赖的形成，并在每一层保持对精心选择的基本系统属性的组合性。通过探索基于模型的设计的语义基础来寻求工具的组合性。系统/实验研究是与通用汽车全球研发(GM)合作进行的，重点是电动汽车平台。更广泛的影响。该项目正在为许多具有成本效益的开发和部署许多安全和安保关键的网络物理系统做出贡献，从医疗设备到运输，再到国防和航空电子设备。参与的机构寻求用一门承认计算为主要概念的课程来补充已有30年历史的系统科学传统课程。将通过讲习班和编写教科书的过程积极推动课程改革。

The objective of this research is to develop new foundations of composition in heterogeneous systems, to apply these foundations in a new generation of tools for system integration, and to validate the results in experiments using automotive and avionics System-of-Systems experimental platforms. The approach is to exploit simplification strategies: to develop theories, methods, and tools to assist in inter-layer decoupling.Intellectual merit. The research program has three focus areas: (1) theory of compositionality in heterogeneous systems, (2) tools and tool architectures for system integration, and (3) systems/experimental research. The project develops and deploys theories and methods for inter-layer decoupling that prevent or decrease the formation of intractable system-wide interdependences and maintain compositionality at each layer for carefully selected, essential system properties. Compositionality in tools is sought by exploring semantic foundations for model-based design. Systems/experimental research is conducted in collaboration with General Motors Global R&D (GM) and focuses on electric car platforms. Broader impact. The project is contributing to the cost effective development and deployment of many safety and security-critical cyber-physical systems, ranging from medical devices to transportation, to defense and avionics. The participating institutions seek to complement the 30-year-old conventional curriculum in systems science with one that admits computation as a primary concept. The curriculum changes will be aggressively promoted through a process of workshops and textbook preparation.