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

基于UML-RT描述技术有条不紊地开发实时关键系统

• 批准号: 5236756
• 负责人: Professor Dr. Manfred Broy
• 金额: --
• 依托单位: Lehrstuhl IV: Software & Systems Engineering
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2003
• 资助国家: 德国
• 起止时间: 2002-12-31 至 2005-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5236756?language=en
• 关键词: Methodisch; fundierte; Entwicklung; echtzeitkritischer; Systeme

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.

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