FOR 1085: OC-TRUST - Trustworthiness of Organic Computing Systems

有机计算系统不同于传统的软件系统，因为系统的拓扑结构和参与系统的组件不是预先定义的，并且在系统运行期间会发生不可预见的变化。因此，对这些系统的验证和确认以及系统组件之间的交互（当然还有用户界面）产生了全新的挑战。这些挑战可以归为“可信赖性”或“信任”。信任包括不同的方面，例如，安全、可靠性、可信性和可用性，对这些方面的调查需要针对每种情况采取适当的方法。该研究股的目的是发展在分析、设计和实施有机计算系统时考虑到信任的技术。除了有意识地产生可信度之外，评估和比较信任的不同方面或其指标也是这一努力的一部分。有机计算系统是高度动态的，由大量可变组件组成，并且处于不断变化的环境中。这些事实产生了许多非常理想的特性，例如自愈、自适应或自配置的能力。然而，传统的软件系统分析和设计技术已不再适用于这种复杂结构的系统。在其他系统中无法观察到的新方面，如涌现特性和oc系统的极端动力学，需要一种新的方式来思考这些系统以及新机制的发展。这些机制包括功能正确性、安全性和安全性的正式方法，以及描述和测量系统各部分之间可信交互的方法，运行时对预定义策略的观察，以及考虑自组织系统中信任方面的算法的开发。特别是，用户界面不能再以传统方式实现。处理自组织系统结构的图形表示、不同类型显示器上信息的自适应表示以及数据的隐私等问题必须进行研究。

Organic Computing systems differ from classical software systems as the topology of the system and the participating components of the system are not predefined and are subject to unforeseeable change during the system's runtime. Thus, completely new challenges to the verification and validation of such systems as well as for interactions between system components and, of course, the user interface arise. These challenges can be subsumed by the term trustworthiness or trust. Trust encompasses different aspects, as, for example, safety, reliability, credibility and usability, the investigation of which requires appropriate methods for each case. The aim of the Research Unit is to develop techniques that allow the consideration of trust during analysis, design and implementation of Organic Computing systems. Apart from the conscious generation of trustworthiness, evaluation and comparison of different facettes of trust or metrics thereof are parts of this endeavour. Organic Computing systems are highly dynamic, composed of a vast number of changeable components and are located in an ever changing environment. These facts yield a number of highly desirable properties, e.g. the ability to self-heal, to self-adapt or to self-configure. However, classical techniques for analysis and design of software systems are no longer suitable for systems of such complex structure. Novel aspects that could not be observed in other systems, such as emergent properties, and the extreme dynamics of OC-systems require a new way to think about such systems as well as the development of new mechanisms. These mechanisms include formal methods for functional correctness, safety and security as well as methods to describe and measure the trustworthy interaction of parts of the system, the observation of predefined policies at runtime, and the development of algorithms that take into account aspects of trust in self-organising systems. In particular, the user interface can no longer be implemented in a conventional fashion. Questions dealing with the graphical representation of self-organising system structures, the adaptive representation of information on different kinds of displays, and finally the privacy of data have to be investigated.