Veröffentlichung

von Buxhoeveden, G.; Trog, C.:
INESS: Toolunterstützung bei der Erstellung des Sicherheitsnachweises.
Signal + Draht. (5), Mai 2012.

Kurzfassung:

The Europe-wide research project INESS (Integrated European Signalling System) aims at reducing the procurement costs of interlockings by introducing a set of clear, standardised specifications with cross-border validity. This article describes the results of the INESS-Workstream „Safety Case“, led by Funkwerk IT and TU Braunschweig. Within the workstream the safety case process was analysed, a tool support specified and a prototype implemented.