Languages for Safety-Critical Software: Issues and Assessment.

Benjamin M. Brosgol

Published in: ICSE Companion (2007)

Keyphrases

safety critical
formal methods
embedded systems
safety analysis
fault tolerant
nuclear power plant
agent architecture
support systems
regulatory requirements
real time
adaptive systems
information systems
data mining
model checking
monitoring system
software systems
databases
software intensive systems