Science of Design for Societal-Scale Cyber-Physical Systems

社会规模网络物理系统的设计科学

• 批准号: 392437295
• 负责人: Professor Dr. Werner Damm
• 金额: --
• 依托单位: Department of Electrical Engineering and Computer Sciences (EECS)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2018
• 资助国家: 德国
• 起止时间: 2017-12-31 至 2020-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/392437295?language=en
• 关键词: Science; Design; Societal; Scale; Cyber

The project constitutes a concerted effort with its American partner proposal aiming at methods for rigorously resolving causes of societal tensions developing around human-cyber-physical system (H-CPS). H-CPS are the natural evolution of cyber-physical systems into human-in-the-loop and socio-technical systems. Building on the rapidly growing number of networked sensors, actuators, and computers deployed into our physical environment, the tight integration of humans within such H-CPS provides new forms of autonomous systems, where division of control can be dynamically shifted between humans and machines. Due to the development of appropriate industrial platforms, like the Internet-of-Things, H-CPS are about to develop into societal-scale systems. The resultant societal worries about individual and societal controllability, safety, security, protection of privacy, and resilience against unforeseen situations call for appropriate design and analysis methods being able to guarantee these. As these worries and likewise the preferences and regulations concerning means of counteracting them obviously underlie both societal as well as situational variability, H-CPSs ought to be parameterized by and adaptive to their current societal and situational context. Fostering rigorous methods for the development and deployment of societal-scale H-CPS being able to accommodate to local policies and regional and possibly even temporary societal requests rather than imposing a uniform supplier-enforced strategy, the transatlantic partner projects address fundamental research in the areas of incentive engineering, policy-aware architecture synthesis, on-line conflict resolution, and auditing in H-CPS. Providing key ingredients of such an endeavor, the German project activities do specifically focus on (1) studies with humans in the loop of simulated societal-scale H-CPS aiming at first identifying cross-Atlantic differences, second understanding and modeling relevant cognitive processes, and third studying incentivization, (2) the establishment of formal models and requirement specification languages permitting the capture of contextually and situationally varying objectives and preferences in societal-scale H-CPS as well as algorithmic means for optimally resolving these, (3) run-time mechanisms enforcing accountability through trustworthy monitoring and logging based on rigorous assignment of causality, thereby fostering integrity and respecting legal implications. These provide crucial building blocks for a science of goal-directed design for societal-scale H-CPS to be promoted jointly by the two transatlantic partner projects.

该项目构成了其美国合作伙伴提案的一致努力，旨在旨在解决围绕人类 - 周期系统（H-CPS）的社会紧张局势的严格解决原因。 H-CP是网络物理系统对人类和社会技术系统的自然发展。建立在部署在我们物理环境中的网络传感器，执行器和计算机的迅速增长的基础上，人类在此类H-CPS中的紧密整合提供了新的自主系统形式，其中可以在人类和机器之间动态地移动控制的控制。由于开发了适当的工业平台，例如The-Things，因此H-CP即将发展为社会规模系统。由此产生的社会担心个人和社会可控性，安全性，安全性，对隐私的保护以及对不可预见情况的韧性要求适当的设计和分析方法能够保证这些方法。由于这些担忧以及有关抵制它们的偏好和法规，显然是社会和情境变异性的基础，因此H-CPS应该通过参数和适应其当前的社会和情境环境来参数。促进严格的方法来开发和部署社会规模的H-CPS能够适应当地政策，区域性，甚至可能是临时的社会请求，而不是强加统一的供应商增强的策略，该战略是跨大西洋合作伙伴项目解决该领域的基础研究激励工程，政策感知体系结构的综合，在线冲突解决和H-CPS中的审核。德国的项目活动提供了这种努​​力的关键要素，确实专门针对（1）在模拟社会规模的H-CP循环中与人类进行研究，目的是首先识别跨大西洋差异，第二个理解和建模相关的认知过程，以及相关的认知过程， （2）建立正式模型和需求规范语言，允许在社会规模的H-CP中捕获上下文和处境变化的目标和偏好以及算法手段，以最佳解决这些方法，（3）Run-（3）通过严格的因果关系分配来实施可信赖的监控和记录来执行问责制的时间机制，从而促进完整性并尊重法律含义。这些为社会规模的H-CP进行了目标定向设计的至关重要的构建基础，由两个跨大西洋合作伙伴项目共同推广。