权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Combined Net-object-oriented-specification-technique for software of safety-relevant systems

安全相关系统软件的组合网络面向对象规范技术

基本信息

批准号：
5279066
负责人：
Professor Dr.-Ing. Eckehard Schnieder
金额：
--
依托单位：
Institut für Verkehrssicherheit und Automatisierungstechnik
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
2000
资助国家：
德国
起止时间：
1999-12-31 至 2003-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/5279066?language=en
关键词：
Combined Net object oriented specification

项目摘要

Im Projekt KNOSSOS werden die Spezifikationssprachen Petrinetze und Troll methodisch integriert. Dadurch wird eine durchgängig formale Technik von den betrieblichen Anforderungen bis zum Entwurf des Informationssystems einer ingenieurwissenschaftlichen Anwendung entwickelt. Petrinetze werden zu diesem Zweck zur Spezifikation des betrieblichen Verhaltens auf Systemebene, Troll zur komponentenbasierten Spezifikation des Informationssystems und seiner Umgebung verwendet. Die Verbindungen zwischen diesen Techniken müssen auf einer formal eindeutigen Basis stehen. Deshalb wird im Projekt KNOSSOS im Bereich Metamodelle untersucht, wie verschiedene formale Beschreibungstechniken über die Charakterisierung ihrer Verwendungsweisen in Abhängigkeit von einer bestimmten Anwendungsdomäne miteinander in Bezug gesetzt werden können. Die Ergebnisse der Arbeiten werden in der Bearbeitung der Fallstudie eines funkbasierten Bahnübergangs erprobt und erweitert. Die Betreuung dieser Referenzfallstudie Verkehrsleittechnik, die von sechs weiteren Projekten innerhalb des Schwerpunktprogramms bearbeitet wird, ist ebenfalls Teil des Projekt KNOSSOS. Im Rahmen dieser Betreuung wird ein physikalisches Modell in Form einer Modelleisenbahnanlage realisiert. Sie dient der Vorführung, Erprobung und Validierung von Steuerungsimplementierungen aus den einzelnen Projekten des Schwerpunktprogramms.

在KNOSSOS项目中，韦尔登将Petrinetze和Troll方法集成在一起。Dadhoud wird eine durchgängig formale Technik von den betrieblichen Anforderungen bis zum Entwurf des Informationssystems einer ingenieurwissenschaftlichen Anwendung entwickelt. Petrinetze韦尔登zu diesem Zweck zur Spezifikation des betrieblichen Verhaltens auf Systemebene，Troll zur komponentenbasierten Spezifikation des Informationsystems und seiner Umgebung verwendet. Die Verbindungen zwischen diesen Techniken müssen auf einer eindutigen Basis stehen.在Bereich Metamodelle中的KNOSSOS项目中，我们将使用形式化的Beschreibungtechniken über die Charakterisierung ihrer Verwendungsweisen in Abhängigkeit von einer bestimmten Anwendungsdomäne miteinander in Bezug gesetzt韦尔登können。劳动者韦尔登的劳动力在秋季学习中的作用是一种基于恐惧的交通工具。参考文献研究的成果，是KNOSSOS项目的一个重要部分。在此基础上，我们将建立一个物理模型，形成一个模型。Sie dient der Vorführung，Erprobung und Validierung von Steuerungsimplementierungen aus den einzelnen Projekten des Schwerpunktprogramms.