Signal Modernization at Stockholm Metro Jesper Carlström, PhD VP Engineering Prover Technology Krukmakargatan 21 SE-118 51 Stockholm
[email protected] Number of words: 2118 ABSTRACT Stockholm Metro has a diverse and complex network with light rail, suburban rail and subway systems. Its signaling systems are a mix of computerized and relay-based interlockings, with modern, centralized traffic management systems. Maintaining and upgrading these systems to the standards of a modern mass transit facing ever increasing passenger numbers is challenging, from a cost and resource perspective as well as from a safety perspective. In order to address this, Stockholm Metro has deployed modern Signal Design Automation processes covering both safety verification and development of interlocking application software. In this paper we will take a closer look at two distinct projects of Stockholm Metro; the extension of one of the subway lines using legacy Union Switch & Signal relay-based interlocking and the capacity increase project on a suburban rail line utilizing modern computerized interlockings. The relay-based interlockings are designed using traditional methods but with automatic checks of schematics, and safety is verified with automated formal verification. The computerized interlockings are generated, tested and verified with a design automation process based on generic and formalized requirement specifications. INTRODUCTION Stockholm Metro (SL), or Stockholm Public Transport as they are officially called in English, has metro, suburban rail and light rail, as well as buses and a few boats. Being a relatively small player who wanted to cut costs by inviting signaling suppliers from the whole world, Stockholm Metro ended up with a mixture of signaling principles.