Introduction

The following report contains annotated references to such documents (incl. publications) which report on applications of formal techniques and tools to problems of railway systems.

Some references contain abstracts:

some contain keywords:

and, in synchrony with DB (IT/DTU) reviewing these references, many will contain annotations relevant, it is hoped to the endeavours of FMERail:

FMERail Annotations:

• Rail subject: Lists key terms of the railway domain, or of railway software (and/or hardware) requirements, and/or of software (and/or hardware) designs.
• Principles, techniques, tools: Lists key methodological principles, techniques and tools applied in order to deal with the rail subject.
• Notes: Ventures additional comments believed relevant in the FMERail context.
• Repository: Optional -- indicates whether a copy is kept at Lyngby.

This document constitutes one result of the IT/DTU FMERail work package.

For information on FMERail please refer to:

• http://www.ifad.dk/Projects/fmerail.htm