Risky Module Estimation in Safety-Critical Software.

Young-Mi Kim Choong-Heui Jeong A-Rang Jeong Hyeon Soo Kim

Published in: ACIS-ICIS (2009)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
nuclear power plant
support systems
real time
knowledge base
software intensive systems
software development
software systems
regulatory requirements
load balancing
distributed systems
low cost
decision making