MP1: languages for safety-critical software: issues and assessment.

Benjamin M. Brosgol

Published in: SIGAda (2008)

Keyphrases

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