A Framework for Software Safety in Safety-Critical Systems.

Ben Swarup Medikonda Seetha Ramaiah Panchumarthy

Published in: SoMeT (2008)

Keyphrases

safety critical
safety analysis
formal methods
embedded systems
fault tolerant
nuclear power plant
agent architecture
support systems
adaptive systems
regulatory requirements
medical images
software intensive systems
low cost
source code
management system
user interface
decision making
information systems
real time