Affordable Access

Publisher Website

Using MODULA-2 for safety-critical control in an urban transportation system

Authors
Journal
Microprocessors and Microsystems
0141-9331
Publisher
Elsevier
Publication Date
Volume
14
Issue
3
Identifiers
DOI: 10.1016/0141-9331(90)90070-c
Keywords
  • Microsystems
  • Realtime Control
  • Modula-2
  • Protection Systems
  • 68000
Disciplines
  • Design

Abstract

Abstract A new generation of software-based protection systems for high-performance trains has been designed during the last 10 years. The first application is now in operation on the Paris heavy-rail RER, a line with a peak capacity of about 800 000 passengers per day. In this project, the new protection system performs a full overlay of all train protection functions, with the ability to reduce the headway between trains while permanently monitoring train speed. The software is wholly written in modula-2 and represents 20k source lines for the application. This software is safety critical and required (including the development of specific software tools) 1000 man-months for specification and implementation. The paper illustrates the use of modula-2 for the development of safety-critical applications.

There are no comments yet on this publication. Be the first to share your thoughts.