Integration von Methoden zur Spezifikation und Verifikation von Sicherungseinrichtungen im spurgeführten Verkehr

轨道交通安全装置规范和验证方法的集成

• 批准号: 5292084
• 负责人: Professor Dr. Friedrich W. von Henke
• 金额: --
• 依托单位: Institut für Künstliche Intelligenz (KI)
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1998
• 资助国家: 德国
• 起止时间: 1997-12-31 至 2002-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5292084?language=en
• 关键词: Integration; von; Methoden; zur; Spezifikation

Gegenstand des hier beantragten Forschungsvorhabens ist die Integration von ingenieurwissenschaftlichen Techniken und informellen, semiformalen und formalen Methoden aus der Informatik und Softwaretechnik mit dem Ziel, Softwaresysteme zu spezifizieren und den Nachweis sicherheitsrelevanter Eigenschaften führen zu können. Ihre Einsetzbarkeit wird anhand der Fallstudie aus der Verkehrsleittechnik erprobt, die auch als Grundlage für die Integration und Adaption von Spezifikationsmethoden dienen soll. Dazu werden verschiedene betriebliche Situationen modelliert. Die Arbeiten werden in enger Kooperation zwischen Informatikern und Ingenieuren aus den Bereichen Eisenbahnwesen und Verkehrssicherung sowie Automatisierungs- und Softwaretechnik durchgeführt.

从信息技术到软件技术的集成，从信息技术到软件技术，从软件系统到信息技术，从软件系统到软件系统，从信息技术到信息技术，从软件到信息技术，从软件系统到信息技术，从软件系统到软件系统，从信息技术到信息技术，从软件到信息技术，从软件系统到信息技术，从技术到信息，从软件到系统，从技术到信息，从软件系统到信息技术，从软件系统到信息技术，再到信息技术和信息技术，从软件系统到信息技术，从软件系统到信息技术，从软件到信息技术，从软件到这是一种技术错误，也是一种基本的集成和适应方法。大足是两国之间的一种新的模式。这些信息和知识在自动化和软件技术领域得到了广泛的应用。