A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines.

Ibrahim Habli Tim Kelly

Published in: ISARCS (2010)

Keyphrases

safety critical
safety analysis
fault tolerant
nuclear power plant
formal methods
embedded systems
agent architecture
product lines
support systems
product line
adaptive systems
regulatory requirements
software product line
databases
real time
software systems
decision making