Automated Train Operation System For A Mine

Mining operations offer many opportunities for the use of IT and communication technologies to improve automation and thereby deliver higher levels of productivity, cost, quality and safety. In this paper, we discuss a particular application, namely, building a fully automated train control and operation system within a mining area. We first outline the basic architecture and functionality of such a system and then present a real-life case study where the railway system within a remote iron ore mine in Canada was converted to a fully automated train operation system. This hard real-time safety-critical system required the use of advanced technologies such as embedded systems (e.g., on-board train controller), radio communications, formal methods, optimal scheduling, and extensive simulations. We focus on the design aspects for maintaining the system in safe states.