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

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

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.