The new generation of supervision systems in industry can achieve operation from display process variables to all automated control where the human is just the monitoring automaton. In the railway specific industry, supervision is organised in switching zones and aims to be centralised in an Integrated Control Centre. Such centres implement integrated and computer based systems that perform tra...

In this article we would like to present some recent applications of the B formal method to the development of safety critical systems, namely platform screen door controllers. These SIL3/SIL4 compliant systems have their functional specification based on a formal model. This model has been proved, guaranteeing a correct by construction behaviour of the system in absence of failure of its compo...

This paper deals with the design of timetables for complex railway systems. Rail transportation has become a rapid, clean and efficient way to transport passengers and freights. A good timetable design is crucial to ensure the quality of the services trying to improve the efficiency of the whole system. Only such a sustainable transportation system will be in accordance to the requirements of f...

The significant function of GIS technology in promoting the railway development in this information era is now attracting great attention from the Ministry of Railway and the State decision-making institutions of the P.R.China. However, until present, the GIS has not been economised on the Chinese Railway. Discussions have been made on the several critical issues in building up the railway GIS....

Developed an integrated intellectual computerized system of ecological-economic monitoring, modeling, and managing the life cycle of the products of technogenic enterprises of transport engineering, which is presented in the form of a 3-equation structure, functioning in conditions of instability. The proposed paradigm system life cycle management applicable to any other control system of large...