Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE).

Published in: SIGAda (2009)

Keyphrases

safety critical
open source
control program
fault tolerant
formal methods
support systems
embedded systems
safety analysis
agent architecture
real time
source code
distributed systems
adaptive systems
knowledge based systems
decision support
software engineering
case study
data mining