BOOL-CAD Software Design And Realization In Computer Based Interlocking Systems

This thesis proposes a software realization method of BOOL-CAD with White-boxapplication through analyzing and making research for the safety problems in the railwaysignaling controlling system as well as the safety related systems and its correspondingtechnology.This thesis has discussed on the definition of principle grammars, parameter namingrule, and the characterized parameter of the field base of the computer based interlockingsystem from switch operation, route setting, route locking, and signal opening to routereleasing. BOOL-CAD designed special ’knowledge base’ and ’designing language withWhite-box application ’ of the field in the railway interlocking automatic control systemsand adopt ’pairs of different software’ to generate Boolean equation and compare themautomatically.This thesis has given the engineering applications of BOOL-CAD. Meanwhile, theBOOL-CAD application effect has also been analyzed.The significance of this thesis are as follows: The BOOL-CAD uses design languagewith White-box application, which facilitates the application; The BOOL-CAD uses twodifferent sets of software which accords to the requirements of safety related systems andreduces the repetitiveness work, artificial mistakes, has speed up designing pace.