GRK 1765: System Correctness under Adverse Conditions - SCARE

GRK 1765：不利条件下的系统正确性 - SCARE

• 批准号: 190214496
• 金额: --
• 依托单位: Carl von Ossietzky Universität Oldenburg
• 依托单位国家: 德国
• 项目类别: Research Training Groups
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2020-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/190214496?language=en
• 关键词: GRK; 1765; System; Correctness; under

The Research Training Group SCARE addresses computerised systems that are placed in an environment with which they cooperate, i.e., sense, control, and equip with unprecedented functionality. System correctness means that the cooperation between environment and system satisfies desired behavioural properties. This relationship depends on certain assumptions about the environment and the components of the system. The research training group systematically investigates the problem of system correctness under adverse, only partially predictable conditions which can influence the behaviour of the system, the system context, and the assumptions made for verifying correctness. SCARE will consider three aspects of adverse conditions, both individually and in their combination: A. Limited knowledge.B. Unpredictable behaviour.C. Changing structure of environment and system.These three aspects of adverse conditions are considered under the following research themes:1. Formal modeling techniques.2. Verification and analysis techniques.3. Constructive techniques.The main aim of the research training school SCARE is research into notions of system correctness that guarantee robustness of the system behaviour under such adverse conditions. In its second phase, SCARE will continue to pursue this general research agenda, but will extend the scope of both verification and construction techniques by two aspects crucial to recent cyber-physical applications: the handling of complex and possibly irregular search spaces for solutions and the possible loss of functional correctness due to security attacks. To this end, we additionally pursue the following: * Embedded Artificial Intelligence, in particular machine learning.* Security analysis within applications.Supervision in the research training school is based on the four elements of "Levelling", "Bonding", "Progress", and "Exchange". These elements support the doctorands in becoming independent researchers able to investigate complex problems driven by their own motivation and to interact autonomously with the international research community.

研究培训小组 SCARE 致力于将计算机化系统置于与其合作的环境中，即感知、控制并配备前所未有的功能。系统正确性意味着环境与系统之间的合作满足期望的行为属性。这种关系取决于有关环境和系统组件的某些假设。研究培训小组系统地研究了不利的、仅部分可预测的条件下的系统正确性问题，这些条件可能影响系统的行为、系统上下文以及为验证正确性而做出的假设。 SCARE 将单独或综合考虑不利条件的三个方面： A. 知识有限。不可预测的行为。C.环境和系统结构的变化。这三个方面的不利条件是在以下研究主题下考虑的： 1．形式化建模技术2．验证和分析技术3．建设性技术。研究培训学校 SCARE 的主要目标是研究系统正确性的概念，以保证系统行为在这种不利条件下的稳健性。在第二阶段，SCARE将继续追求这一总体研究议程，但将通过对最近网络物理应用至关重要的两个方面扩展验证和构建技术的范围：处理复杂且可能不规则的解决方案搜索空间以及由于安全攻击而可能丧失功能正确性。为此，我们还追求以下目标：*嵌入式人工智能，特别是机器学习。*应用程序内的安全分析。研究培训学校的监督基于“平衡”、“结合”、“进步”和“交流”四个要素。这些要素支持博士成为独立的研究人员，能够调查由自己的动机驱动的复杂问题，并与国际研究界自主互动。

项目成果

Predictive Uncertainty Estimation with Temporal Convolutional Networks for Dynamic Evolutionary Optimization

• DOI: 10.1007/978-3-030-30484-3_34
• 发表时间: 2019-09
• 作者: Almuth Meier;Oliver Kramer

From Hyperedge Replacement Grammars to Decidable Hyperedge Replacement Games

从超边替换语法到可判定超边替换博弈

• DOI: 10.1007/978-3-030-04771-9_33
• 发表时间: 2018
• 作者: Peuser

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems

自主动力系统可达集的安全过逼近和欠逼近

• DOI: 10.1007/978-3-030-00151-3_15
• 发表时间: 2018
• 作者: P. N. Mosaad;M. Fränzle;Z. She;B. Xue
• 通讯作者: B. Xue

Dynamic Conflict Resolution Using Justification Based Reasoning

使用基于理由的推理动态解决冲突

• DOI: 10.4204/eptcs.308.4
• 发表时间: 2019
• 作者: M. Fränzle;W. Hagemann;P. Kröger;A. Rakow
• 通讯作者: A. Rakow

Introducing Novel Crossover and Mutation Operators into Data Replication Strategies for Distributed Systems

将新颖的交叉和变异算子引入分布式系统的数据复制策略

• DOI: 10.1109/prdc50213.2020.00013
• 发表时间: 2020
• 期刊: 2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC)
• 作者: Bokhari;S. M. A;O. Theel
• 通讯作者: O. Theel