Design of communicating real-time systems by combining specification techniques for process, data and time

通过结合过程、数据和时间的规范技术来设计通信实时系统

• 批准号: 5134944
• 负责人: Professor Dr. Ernst-Rüdiger Olderog
• 金额: --
• 依托单位: Abteilung Entwicklung korrekter Systeme
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 1999
• 资助国家: 德国
• 起止时间: 1998-12-31 至 2001-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5134944?language=en
• 关键词: Design; communicating; real; time; systems

Das Ziel des Projektes ist eine Methodik zur Entwicklung von kommunizierenden und zeitkritischen Systemen, die ausgehend von graphischen Beschreibungen der Anforderungen bis hin zur Erstellung von Design-Spezifikationen reicht. Das Hauptaugenmerk ist dabei, wie Systemanforderungen in semantisch korrekter Weise in prozessorientierte, datenorientierte und zeitkritische Aspekte dekomponiert werden können, so daß diese Aspekte unabhängig voneinander weiterentwickelt werden, um schließlich wieder kombiniert und eventuell umstrukturiert zu werden. Als Grundlage soll dazu ein gemeinsames semantisches Modell entwickelt werden, das wesentliche Elemente der Einzelmethoden CSP, Object-Z und Duration Calculus in konsistenter Weise kombiniert. Auf dieser Basis können dann korrekte Transformationen für die Dekomposition, Komposition und Umstrukturierung von Systemspezifikationen angegeben werden. Diese Transformationen werden an der Referenzfallstudie aus der Verkehrsleittechnik erprobt. Dazu soll eine in Teilen bereits vorhandene Werkzeugunterstützung eingesetzt und weiterentwickelt werden.

该项目的Ziel是一种方法，以开发kindizierenden和时代批评系统，该方法旨在提高设计的准确性。这是一个很大的问题，就像系统开发者在处理、数据处理和时代批评方面对韦尔登进行了改进一样，因此，这个建筑在韦尔登中是一个非常重要的工具，它可以在建筑韦尔登中发挥作用，并最终形成一个结构。Als Grundlage soll dazu ein gemeinsames semantisches Modell entwickelt韦尔登，das wesentliche Elemente der Einzelmethoden CSP，Object-Z和持续时间演算在consistenter Weise kombiniert中。Auf dieser Basis können dann korrekte Transformationen für die Dekomposition，Komposition und Umstrukturierung von Systemspezifikationen angegeben韦尔登.这种转换韦尔登是交通技术研究的一个参考。大足在Teilen有一个专门的工作室，专门从事韦尔登。