A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems.

Rogério de Lemos Amer Saeed Tom Anderson

Published in: Comput. J. (1992)

Keyphrases

safety critical
fault tolerant
safety analysis
requirements analysis
management system
formal methods
embedded systems
case study
lessons learned
goal oriented
support systems
databases
software engineering
case based reasoning
cooperative
decision making
information systems