Zentrale Fragestellung der vorliegenden Arbeit ist die effektive und vollständige Spezifikation und Verifikation komplexer Automatisierungssysteme. Es wird ein mentales Referenzmodell eingeführt, das auf kognitiven Strukturen und Fähigkeiten des Menschen basiert. Die Anwendung des Referenzmodells führt zu einer umfassenden und konsistenten Beschreibung sowohl der Anforderungs-, als auch der Systemspezifikation. Die Integration und Generierung von verschiedenen Aspekten oder Sichtweisen von Systemen und deren Schnittstellen wird ebenso unterstützt. Speziell wird die Anwendung zum Vergleich von Spezifikationssprachen und geführten Dialogen bei der Gewinnung von Anforderungen am Beispiel der Spezifikation des europäischen Zugbeeinflussungssystems 'ERTMS' diskutiert.
Antrohpozentrische Modellierung und Spezifikation komplexer Systeme am Beispiel von Eisenbahnleitsystemen
1998
183 Seiten, 77 Bilder, 5 Tabellen, 183 Quellen
Hochschulschrift
Deutsch
Simulation komplexer Systeme am Beispiel von Kraftfahrzeugen
Tema Archiv | 1997
|Analyse und Modellierung komplexer Systeme und Prozesse unter kognitiven Randbedingungen
British Library Conference Proceedings | 2006
|Simulation und Verifizierung komplexer Systeme am Beispiel der Magnetschwebebahn
Tema Archiv | 1978
|