OPTICAL FIBRECOMMUNICATION SYSTEM

The study takes a pedagogical stance in demonstrating how results from theoretical Electrical Engineering may be applied to yield significant insight into the behavior of the devices Electrical Engineering pract ice seeks to put in place, and that this is immediately attainable with the present state of the art. The focus for this detailed study is provided by the type of solid state signaling and various communication systems currently being deployed throughout m ainline railways. Safety and system reliability concerns dominate in this domain. With such motivation, two issues are tackled: the special problem of software quality assurance in these data - driven control systems, and the broader problem of design depend ability. In the former case, the analysis is directed towards proving safety properties of the geographic data which encode the control logic for the railway interlocking; the latter examines the fidelity of the communication protocols upon which the distr ibuted control system depends .