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.

研究培训小组的恐慌解决了将计算机系统放置在其合作环境中的计算机系统，即感官，控制并配备了前所未有的功能。系统正确性意味着环境与系统之间的合作满足所需的行为属性。这种关系取决于对环境和系统组成部分的某些假设。研究培训小组系统地研究了系统正确性的问题，只有部分可预测的条件可以影响系统的行为，系统环境以及用于验证正确性的假设。恐慌将在单独和组合中考虑不利条件的三个方面：A。有限的知识b。不可预测的行为。环境和系统的结构发生变化。在以下研究主题下考虑了这些不利条件的三个方面：1。正式建模技术2。验证和分析技术3。建设性的技术。研究培训学校恐慌的主要目的是研究系统正确性的概念，以确保在这种不利条件下系统行为的稳健性。在第二阶段，Scare将继续追求这一一般研究议程，但将扩大验证和施工技术的范围，这对最近的网络物理应用至关重要：处理解决方案的复杂和可能不规则的搜索空间以及由于安全攻击而导致的功能正确性。为此，我们还遵循以下内容： *嵌入式人工智能，尤其是机器学习。 *应用程序中的安全分析。研究培训学校中的Suupervision基于“级别”，“键合”，“进度”，“进度”和“交换”的四个要素。这些要素支持医生成为能够研究由自己的动机驱动并与国际研究界自主互动的复杂问题的独立研究人员。