The experience of auditing software for safety critical railway signalling equipment.

Tapan Kumar Ghoshal S. Bhattacharya K. Datta

Published in: HASE (2000)

Keyphrases

safety critical
formal methods
embedded systems
fault tolerant
safety analysis
agent architecture
nuclear power plant
adaptive systems
support systems
regulatory requirements
low cost
software intensive systems
software systems
distributed systems
decision making
artificial intelligence
data mining