Mewes, Kirsten Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation

Das Buch 'Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation' von Kirsten Mewes beschäftigt sich mit der Entwicklung und Optimierung von Eisenbahnsteuerungssystemen durch den Einsatz domänenspezifischer Modellierungstechniken. Es bietet einen umfassenden Überblick über Methoden zur Modellierung, Verifikation und Validierung, die speziell auf die Anforderungen des Eisenbahnbereichs zugeschnitten sind. Der Fokus liegt darauf, wie diese Techniken dazu beitragen können, die Sicherheit und Zuverlässigkeit von Steuerungssystemen zu erhöhen. Das Buch kombiniert theoretische Ansätze mit praktischen Anwendungen und Fallstudien, um ein tiefes Verständnis für die Herausforderungen und Lösungen in diesem spezialisierten Bereich zu vermitteln.