Towards Evidence-Based Architectural Design for Safety-Critical Software Applications.

Weihang Wu Tim Kelly

Published in: WADS (2006)

Keyphrases

safety critical
architectural design
software architecture
formal methods
fault tolerant
embedded systems
safety analysis
nuclear power plant
agent architecture
design decisions
software systems
support systems
low cost
software development
medical images
open source
software engineering