Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.

Xiaohong Chen Li Han Jing Liu Haiying Sun

Published in: RE Workshops (2016)

Keyphrases

computer systems
safety critical
management system
information systems
control system
distributed systems
intelligent systems
building blocks
learning systems
abstraction levels
traffic management