Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT

本文介绍了一个基于分析、实现和验证的可持续发展研究项目，以及韦尔登研究的概念和语义。大足将为UML-RT提供一种知识和方法基础，即对模型的解释和对最后确定的解释的验证。从秋季开始，卫理公会的学生将展示他们的卓越和卓越。

Im beantragten Projekt soll den unterschiedlichen Anforderungen der einzelnen Entwicklungsschritte von der Analyse bis zur Implementierung und Verifikation an die Syntax und Semantik der Modellierungstechniken Rechnung getragen werden. Dazu wird eine wissenschaftliche und methodische Fundierung der UML-RT angestrebt, die sichtenspezifische Interpretationen von Modellen erlaubt und einen Verfeinerungsbegriff für den nachvollziehbaren Übergang zwischen den Sichten definiert. Anhand von Fallstudien wird die Methodik demonstriert, überprüft und bewertet.