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

点击翻译按钮获取中文摘要

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.