Resource efficient dynamic agreement and replication

网络物理系统是一种持续发展的趋势，它提出了许多问题和关注，其中包括安全和安保问题。控制并发变化（CCC）的研究单元旨在回答这些开放问题的一个特定子集，即如何利用软件的灵活性及其重新配置和更新的机会，同时仍然保留关键任务的基本非功能属性。子项目A3“资源高效动态协议和复制”解决了为cc控制域的联合可靠重新配置提供基础的挑战，并为分散在多个cc域中的应用程序提供容错协调和复制支持。因此，故障并不局限于崩溃，而是取决于场景范围，从硬件引起的故障（例如位翻转）到极端的故意和协调的恶意行为。在技术层面上，A3子项目旨在为资源高效的拜占庭协议提供新的协议，这些协议是针对资源受限的嵌入式系统量身定制的。根据用例，无线和移动设置是有针对性的。虽然与协议协议的典型部署环境相比，第一种方法的可靠性较低，而且更受约束，但多归巢的智能使用可能会减轻这些影响。此外，移动设置通常需要解决频繁的成员变更，这对现有的拜占庭协议协议构成了挑战，迄今为止一直被忽视。作为CCC基础设施的核心部分之一，更新的在线验证需要在所有重要情况下进行资源密集型规划过程。天真地复制此功能以协调多个域的重新配置将浪费大量资源。因此，将为这一核心任务设计和评估量身定制的复制方案。后者将在模拟环境范围内与开发的协议支持以及由一组嵌入式系统组成的物理部署相结合。

There is an ongoing trend towards cyber-physical systems, which raises many questions and concerns prominently including safety and security matters. The research unit Controlling Concurrent Change (CCC) aims at answering a specific subset of these open issues, namely how the flexibility of software and its opportunity for reconfiguration and updates can be utilized, while still preserving essential mission-critical non-functional properties. The subproject A3 "Resource efficient dynamic agreement and replication" addresses the challenge to provide a basis for joint and reliable reconfiguration of CCC-controlled domains and offers applications that are dispersed over multiple CCC-domains support for fault-tolerant coordination and replication. Thereby, faults are not limited to crashes but depending on the scenario range from hardware induced malfunctioning (e.g. bit flips) up to the extreme of intentional and coordinated malicious behavior. At the technical level the A3 subproject aims at providing novel protocols for resource efficient Byzantine agreement that are tailored towards resource constrained embedded systems. Depending on the use case wireless and mobile settings are targeted. While the first poses the challenge of being less reliable and more constrained compared to the typical deployment environment of agreement protocols the intended smart use of multi-homing might mitigate these effects. Mobile settings furthermore typically demand to address frequent membership changes, which poses a challenge for existing Byzantine agreement protocols and so far has been neglected. As one of the core parts of the CCC infrastructure, the online validation of an update requires for all non-trivial cases a resource-intensive planning process. Naively replication of this functionality for coordinated reconfiguration of multiple domains would waste vast amounts of resources. Accordingly tailored replication schemes for this core task will be devised and evaluated. The latter will be performed in combination with the developed agreement support in scope of simulated environments as well as a physical deployment consisting of a set of embedded systems.