A decision support system for the maintenance of lights of traffic regulation systems

Abstract

From October 1994 to June 1995 the authors executed a project, the so called 'Lampremplace' project, in cooperation with Nederland Haarlem, a Dutch constructor and supplier of traffic regulation systems.

'Lampremplace', as it is called in traffic jargon, is the maintenance of lights of traffic regulation systems.

The research issue here is to find a 'good' tradeoff between the reliability of the system, and the efficiency and economy of the maintenance operation. In the project a number of maintenance strategies were developed that can be optimised and are hopefully simple in daily use. Field test of the strategies was not carried out in this project.

This is the public version of the final report of the 'Lampremplace' project. In part I of the report one finds a theoretical development that leads towards two main maintenance strategies. First, the main research questions are formulated, the assumptions under which the research was carried out are listed, and relevant statistical and computer science notions are discussed. Next, two maintenance strategies are formulated and developed. Finally, optimisation algorithms for the parameters of the strategies are formulated. A prototype that was developed in Pascal is not discussed in this version of the report.

Part II presents a formal specification, in the specification language PSF (Process Specification Formalism [MV93]), of a decision support system for the maintenance of lights of traffic regulation systems.

Whereas the first part is focused on strategies and optimisation, the second part is focused on incorporating the strategies and optimisation algorithms in a complete system that can be used by parties that are responsible for the maintenance of road infrastructures.

Dit is de eindrapportage van het Lampremplaceproject dat in de periode october 1994-juni 1995 is uitgevoerd door de auteurs voor Nederland Haarlem. In dit stuk komen aan de orde: de probleemstelling, de centrale besliskunde- en informaticanoties, de gevolgde oplossingsmethoden, en een formele specificatie. van een beslissingsondersteunend systeem