Computer-supported requirements analysis for the design of safety-critical systems in railways

This paper describes a systematic approach to the requirements analysis for safety-critical systems in which the potential loss is very serious. Formal methods, which are considered promising tool for safety verification, may not be sufficient for ensuring safety of a system which is likely to undergo rapid changes in operating...