Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report.

Luciana Provenzano Kaj Hänninen

Published in: REFSQ (2017)

Keyphrases

safety critical
software requirements
formal methods
fault tolerant
safety analysis
nuclear power plant
management system
agent architecture
embedded systems
systems development
support systems
software systems
database
context aware
knowledge based systems
relational databases
databases