A framework for software safety in safety-critical systems.

Ben Swarup Medikonda Seetha Ramaiah Panchumarthy

Published in: ACM SIGSOFT Softw. Eng. Notes (2009)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
embedded systems
nuclear power plant
agent architecture
support systems
software intensive systems
regulatory requirements
adaptive systems
knowledge acquisition
distributed systems
software agents
software systems
source code
information systems