Issues for the Automatic Generation of Safety Critical Software.

Colin O'Halloran

Published in: ASE (2000)

Keyphrases

data model
safety critical
formal methods
fault tolerant
safety analysis
embedded systems
nuclear power plant
agent architecture
support systems
regulatory requirements
adaptive systems
real time
software intensive systems
model checking
software systems
knowledge based systems
low cost